Test ISA17

RISCV ISA17
"Fence.w.wdWW Rfe DpCtrldR Fre"
Generator=diyone7 (version 7.47+3)
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Rf Fr
Orig=Fence.w.wdWW Rfe DpCtrldR Fre
{
0:x6=x; 0:x8=y;
1:x6=y; 1:x8=x;
}
 P0          | P1             ;
 ori x5,x0,1 | lw x5,0(x6)    ;
 sw x5,0(x6) | bne x5,x0,LC00 ;
 fence w,w   | LC00:          ;
 ori x7,x0,1 | fence.i        ;
 sw x7,0(x8) | lw x7,0(x8)    ;

~exists (1:x5=1 /\ 1:x7=0)