1075,1077c1075,1077
< 0x3C: Cas::casa({{
< uint64_t val = Mem.uw;
< if(Rs2.uw == val)
---
> 0x3C: Cas::casa(
> {{uReg0 = Mem.uw;}},
> {{if(Rs2.uw == uReg0)
1079,1080c1079,1081
< Rd.uw = val;
< }});
---
> else
> storeCond = false;
> Rd.uw = uReg0;}});
1082,1084c1083,1085
< 0x3E: Cas::casxa({{
< uint64_t val = Mem.udw;
< if(Rs2 == val)
---
> 0x3E: Cas::casxa(
> {{uReg0 = Mem.udw;}},
> {{if(Rs2 == uReg0)
1086,1087c1087,1089
< Rd = val;
< }});
---
> else
> storeCond = false;
> Rd = uReg0;}});