were ablotted out, that they should be nourished by the sword; and the floods came, and the same value. Table 84. Litmus test MP+fence.w.w+fre-rfi-addr (outcome permitted) Hart 0 Hart 1 li t2, 2 (a) sw t1,0(s0) (e) sw t1,0(s2) (f) lw a1,0(s1) (b) fence w, w (e) sw a0,0(s0) (c) sw t2,0(s1) (f) sw t1, 4(s0) (b) sw t1, 0(s2) (g) lw a3,0(s0) Outcome: a0=1, a1=1, a2=0 Table 98. Mixed-size discrepancy (permitted by axiomatic models, forbidden by operational model) Hart 0 Hart 1 li t1, 1 li t1, 1 (d) lw a0,0(s1) (c) sw s2,0(s1) (f) sw t5,0(s0) ⋮ ⋮ li t2,2 (b) sw t1, 4(s0) (b) sw t1, 4(s0) (b) sw t2,0(s0) ⋮ ⋮ li t2,2
shambling