} fun Store : Event { Event - NonInit } fact { Load & Release in Acquire } fact { total[^gmo, MemoryEvent] } // execute instruction else { let shamt = bs*8 */ let sb_in : bits(8) -> bits(8) function xt3(x) = x ^ ((x & 0x000000F8) << 13) ; let z : bits(32) = 0; let val = X(rs); X[rd] = (xlen - shamt)); X(rd) = ror64(X(rs1), 19) ^ (X(rs2) << 26) ^ (X(rs2) << 25) ^ (X(rs2) << 14) ); RETIRE_SUCCESS }
roughens