Test ISA-S-DEP-ADDR-SUCCESS

RISCV ISA-S-DEP-ADDR-SUCCESS

(* Addr+Success dependency on P1, on an idea by D. Lustig,
   Notice that the test is forbidden by Add+Success and by
  r14 (addr;po) in ppo *)
{
int z;
int x; int y; int *p = &z; int *1:a0;
1:s0=p; 1:s1=y; 0:s2=x;
0:s0=p; 0:s1=y;
}

 P0          | P1                ;
 li t1,2     | ld a0,0(s0)       ;
 sw t1,0(s1) | lr.w a1,0(a0)     ;
 fence w,w   | li t1,1           ;
 sd s2,0(s0) | sc.w a2,t1,0(a0)  ;
             | sw a2,0(s1)       ;

locations [1:a0;y;]
exists 1:a0=x /\ y=2