sem [ casa casxa ] { address = Rx(rs1)?cvt(ulong); val xx = ms(address); if(rsrc(rs2,srcQ)?ext(64) == xx) md(address,rsrc(rd,destQ)); rdest(rd,xx); schedule(store); } where rsrc in [R4 Rx], rdest in [R4 Rx], ms in [M4 M8], md in [M4 M8];