MIPSFences
(* Fences *)
let
sync =
try
fencerel(SYNC)
with
0
show
sync
(* Dependencies *)
show
data,addr,ctrl