1  /* { dg-do compile } */
       2  /* { dg-options "-mprefetchi" } */
       3  
       4  int
       5  foo (int a)
       6  {
       7    return a + 1;
       8  }
       9  
      10  void
      11  bad (int *p)
      12  {
      13    __builtin_ia32_prefetch (p, 0, 4, 0);   /* { dg-warning "invalid third argument to '__builtin_ia32_prefetch'; using zero" } */
      14    __builtin_ia32_prefetch (foo, 0, 4, 1);   /* { dg-error "invalid third argument" } */
      15  }