Test ISA14+NEW

Dependence (here data) followed by rfi creates order. More precisely the tested ppo is data-rfi-add, Forbid.

RISCV ISA14+NEW
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Rf Fr
Orig=Fence.w.wdWW Rfe DpDatadW Rfi DpAddrdR  Fre
(* MP+fence+data-rfi-addr, real data dependence *)
{
0:x6=x; 0:x8=y;
1:x6=y; 1:x8=z; 1:x1=x;
}
 P0          | P1             ;
 ori x5,x0,1 | lw x5,0(x6)    ;
 sw x5,0(x6) | sw x5,0(x8)    ;
 fence w,w   | lw x9,0(x8)    ; 
 ori x7,x0,1 | andi x2,x9,4   ;
 sw x7,0(x8) | add x1,x1,x2   ;
             | lw x3,0(x1)    ;
~exists
(1:x5=1 /\ 1:x9=1 /\ 1:x3=0)