1  /* { dg-do compile } */
       2  /* { dg-options "-mprefetchi -O2" } */
       3  /* { dg-final { scan-assembler-not "prefetchit0" } } */
       4  /* { dg-final { scan-assembler-not "prefetchit1" } } */
       5  
       6  #include <x86intrin.h>
       7  
       8  void* p;
       9  
      10  void extern
      11  prefetchi_test1 (void)
      12  {
      13    __builtin_ia32_prefetchi (p, 2); /* { dg-warning "instruction prefetch applies when in 64-bit mode with RIP-relative addressing and option '-mprefetchi'; they stay NOPs otherwise" } */
      14  }
      15  
      16  void extern
      17  prefetchi_test2 (void)
      18  {
      19    __builtin_ia32_prefetch (p, 0, 3, 1); /* { dg-warning "instruction prefetch applies when in 64-bit mode with RIP-relative addressing and option '-mprefetchi'; they stay NOPs otherwise" } */
      20  }