1  /* PR target/79568 */
       2  /* { dg-do compile { target lp64 } } */
       3  /* { dg-options "-mno-lwp" } */
       4  
       5  #pragma GCC push_options
       6  #pragma GCC target ("lwp")
       7  void
       8  foo (unsigned long x, unsigned int y)
       9  {
      10    __builtin_ia32_lwpval64 (x, y, 1);
      11  }
      12  #pragma GCC pop_options
      13  
      14  void
      15  bar (unsigned long x, unsigned int y)
      16  {
      17    __builtin_ia32_lwpval64 (x, y, 1);	 /* { dg-error "needs isa option" } */
      18  }