1  /* { dg-do compile } */
       2  /* { dg-options "-O0" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  void* p;
       7  
       8  void extern
       9  prefetch_test (void)
      10  {
      11    __builtin_ia32_prefetch (p, 0, 3, 0);
      12    __builtin_ia32_prefetch (p, 0, 2, 0);
      13    __builtin_ia32_prefetch (p, 0, 1, 0);
      14    __builtin_ia32_prefetch (p, 0, 0, 0);
      15    __builtin_ia32_prefetch (p, 1, 3, 0);
      16    __builtin_ia32_prefetch (p, 1, 2, 0);
      17    __builtin_ia32_prefetch (p, 1, 1, 0);
      18    __builtin_ia32_prefetch (p, 1, 0, 0);
      19  }