arch = "RISCV"
name = "SB"
hash = "1be21f7e9dba92a472a306f5f690a1f6"
cycle = "Fre PodWR Fre PodWR"
relax = ""
safe = "Fre PodWR"
generator = "diy7 (version 7.51+4(dev))"
prefetch = "0:x=F,0:y=T,1:y=F,1:x=T"
com = "Fr Fr"
orig = "PodWR Fre PodWR Fre"
symbolic = ["x", "y"]
[thread.0]
init = { x8 = "y", x6 = "x", x5 = "1" }
code = """
sw x5,0(x6)
lw x7,0(x8)
"""
[thread.1]
init = { x8 = "x", x6 = "y", x5 = "1" }
code = """
sw x5,0(x6)
lw x7,0(x8)
"""
[final]
expect = "sat"
assertion = "0:x7 = 0 & 1:x7 = 0"