Test C-bigdetour-failure

C C-bigdetour-failure
"PodWW Rfe DpAddrdR FrLeave Rfe PodRW RfBack DpAddrdR Fre"
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T,3:z=F,3:a=W
Com=Rf Fr Rf Rf
Orig=PodWW Rfe DpAddrdR FrLeave Rfe PodRW RfBack DpAddrdR Fre

{}

P0 (int* y, int* x) {
  WRITE_ONCE(*x,1);
  smp_store_release(y,1);
}

P1 (int* z, int* y, int* x, int* a) {
  int r0 = READ_ONCE(*y);
  smp_read_barrier_depends();
  int r1 = READ_ONCE(*(z + (r0 & 8)));
  int r2 = READ_ONCE(*a);
  smp_read_barrier_depends();
  int r3 = READ_ONCE(*(x + (r2 & 8)));
}

P2 (int* z) {
  WRITE_ONCE(*z,1);
}

P3 (int* z, int* a) {
  int r0 = READ_ONCE(*z);
  smp_store_release(a,1);
}

Observed
    3:r0=1; 1:r3=0; 1:r2=1; 1:r1=1; 1:r0=1;
and 3:r0=0; 1:r3=0; 1:r2=1; 1:r1=1; 1:r0=1;
and 3:r0=1; 1:r3=0; 1:r2=0; 1:r1=1; 1:r0=1;
and 3:r0=0; 1:r3=0; 1:r2=0; 1:r1=1; 1:r0=1;
and 3:r0=0; 1:r3=0; 1:r2=1; 1:r1=0; 1:r0=1;
and 3:r0=1; 1:r3=0; 1:r2=0; 1:r1=0; 1:r0=1;
and 3:r0=0; 1:r3=0; 1:r2=0; 1:r1=0; 1:r0=1;