buffer forwarding litmus test (outcome permitted) Hart 0 Hart 1 (a) lw a0, 0(s0) (b) fence.tso // vs. fence rw,w (c) sd x0,0(s1) .... loop: (d) amoswap.d.aq a1,t1,0(s1) bnez a1,loop (e) lw a2,4(s1) xor a3,a2,a2 add s0,s0,a3 (f) sw t1, 4(s0) (b) sw t1, 0(s2) (g) lw
fallible