/* { dg-do compile target { { rv64-*-*}}} */
/* { dg-options "-march=rv64gc_zicbop_zihintntl -mabi=lp64" } */

void foo (char *p)
{
  __builtin_prefetch (p, 0, 0);
  __builtin_prefetch (p, 0, 1);
  __builtin_prefetch (p, 0, 2);
  __builtin_prefetch (p, 0, 3);
  __builtin_prefetch (p, 1, 0);
  __builtin_prefetch (p, 1, 1);
  __builtin_prefetch (p, 1, 2);
  __builtin_prefetch (p, 1, 3);
}

/* { dg-final { scan-assembler-times "ntl.all" 2 } } */
/* { dg-final { scan-assembler-times "ntl.pall" 2 } } */
/* { dg-final { scan-assembler-times "ntl.p1" 2 } } */
/* { dg-final { scan-assembler-times "prefetch.r" 4 } } */
/* { dg-final { scan-assembler-times "prefetch.w" 4 } } */