/* { dg-do compile { target { ia32 } } } */
/* { dg-options "-O0 -march=pentiumpro" } */

#include "prefetchi-4.c"