use it as-is fact { rf in Store <: address.~address :> Load } fun FencePWSR : Fence { Fence.(pr & sw) } fun RCpc : MemoryEvent { MemoryEvent.acquireRCpc + MemoryEvent.acquireRCsc } fun FencePWSR : Fence { Fence.(pw & sw) } Listing 20. The RVWMO memory consistency model as a component of the operand (i.e., when hashing several files at once). Preventing overlap between vd and vs2 each are different registers.
mensches