1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-mprefetchi -O2" } */
       3  /* { dg-final { scan-assembler-times "\[ \\t\]+prefetchit0\[ \\t\]+" 2 } } */
       4  /* { dg-final { scan-assembler-times "\[ \\t\]+prefetchit1\[ \\t\]+" 2 } } */
       5  
       6  #include <x86intrin.h>
       7  
       8  int
       9  bar (int a)
      10  {
      11    return a + 1;
      12  }
      13  
      14  int
      15  foo1 (int b)
      16  {
      17    _mm_prefetch (bar, _MM_HINT_IT0);
      18    return bar (b) + 1;
      19  }
      20  
      21  int
      22  foo2 (int b)
      23  {
      24    _mm_prefetch (bar, _MM_HINT_IT1);
      25    return bar (b) + 1;
      26  }
      27  
      28  int
      29  foo3 (int b)
      30  {
      31    _m_prefetchit0 (bar);
      32    return bar (b) + 1;
      33  }
      34  
      35  int
      36  foo4 (int b)
      37  {
      38    _m_prefetchit1 (bar);
      39    return bar (b) + 1;
      40  }