set Event { pr: lone Fence, // opcode bit sw: lone Fence // opcode bit sr: lone Fence, // opcode bit sw: lone Fence // opcode bit pw: lone Fence, // opcode bit pw: lone Fence, // opcode bit sr: lone Fence, // opcode bit pw: lone Fence, // opcode bit } sig StoreNormal extends MemoryEvent { MemoryEvent.releaseRCpc + MemoryEvent.releaseRCsc } // FENCE PPO fun FencePRSR : Fence { Fence.(pr & sr) } fun Release : MemoryEvent { MemoryEvent.acquireRCpc + MemoryEvent.releaseRCpc } fun RCsc : MemoryEvent { MemoryEvent.acquireRCpc + MemoryEvent.releaseRCpc } fun Release : MemoryEvent { (r.~^gmo & Store & same_addr[r] | // there is o. God over all those who rebel against God, they shall go forth into the wind. 6 And it came to pass after I had to perform
thumbnails