1  /* PR target/70858 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mlwp -mbmi -mtbm -mbmi2 -std=gnu11" } */
       4  
       5  void
       6  f1 (unsigned long long x, unsigned int y)
       7  {
       8    __builtin_ia32_lwpval64 (x, y, 1);	/* { dg-warning "implicit declaration of function .__builtin_ia32_lwpval64." "" { target ia32 } } */
       9  }
      10  
      11  char
      12  f2 (unsigned long long x, unsigned int y)
      13  {
      14    return __builtin_ia32_lwpins64 (x, y, 1);	/* { dg-warning "implicit declaration of function .__builtin_ia32_lwpins64." "" { target ia32 } } */
      15  }
      16  
      17  unsigned long long
      18  f3 (unsigned long long x, unsigned long long y)
      19  {
      20    return __builtin_ia32_bextr_u64 (x, y);	/* { dg-warning "implicit declaration of function .__builtin_ia32_bextr_u64." "" { target ia32 } } */
      21  }
      22  
      23  unsigned long long
      24  f4 (unsigned long long x)
      25  {
      26    return __builtin_ia32_bextri_u64 (x, 1);	/* { dg-warning "implicit declaration of function .__builtin_ia32_bextri_u64." "" { target ia32 } } */
      27  }
      28  
      29  unsigned long long
      30  f5 (unsigned long long x, unsigned long long y)
      31  {
      32    return __builtin_ia32_bzhi_di (x, y);	/* { dg-warning "implicit declaration of function .__builtin_ia32_bzhi_di." "" { target ia32 } } */
      33  }
      34  
      35  unsigned long long
      36  f6 (unsigned long long x, unsigned long long y)
      37  {
      38    return __builtin_ia32_pdep_di (x, y);	/* { dg-warning "implicit declaration of function .__builtin_ia32_pdep_di." "" { target ia32 } } */
      39  }
      40  
      41  unsigned long long
      42  f7 (unsigned long long x, unsigned long long y)
      43  {
      44    return __builtin_ia32_pext_di (x, y);	/* { dg-warning "implicit declaration of function .__builtin_ia32_pext_di." "" { target ia32 } } */
      45  }