1/* PR target/70858 */
2/* { dg-do compile } */
3/* { dg-options "-O2 -mlwp -mbmi -mtbm -mbmi2 -std=gnu11" } */
4
5void
6f1 (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
11char
12f2 (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
17unsigned long long
18f3 (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
23unsigned long long
24f4 (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
29unsigned long long
30f5 (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
35unsigned long long
36f6 (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
41unsigned long long
42f7 (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}
46