189c189
< Rd.sdw = sext<32>(Rs1.sdw) * sext<32>(Rs2_or_imm13);
---
> Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
249,250c249
< {{(Rs1<63:1> + val2<63:1> +
< ((Rs1 & val2) | (carryin & (Rs1 | val2)))<0:>)<63:>}},
---
> {{((Rs1 & val2) | (~resTemp & (Rs1 | val2)))<63:>}},
260c259
< Rd = resTemp = sext<32>(Rs1.sdw) * sext<32>(Rs2_or_imm13);
---
> Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
267c266
< {{(~((Rs1<31:0> + (~(val2 + carryin))<31:0> + 1))<32:>)}},
---
> {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<31:>}},
269c268
< {{(~((Rs1<63:1> + (~(val2 + carryin))<63:1>) + (Rs1<0:> + (~(val2+carryin))<0:> + 1)<63:1>))<63:>}},
---
> {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<63:>}},
667c666
< 0x03: Trap::fmovq({{fault = new FpDisabled;}});
---
> 0x03: Trap::fmovq({{fault = new FpExceptionOther;}});
694,695c693,694
< 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
< 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
---
> 0x29: fsqrts({{Frds.sf = sqrt(Frs2s.sf);}});
> 0x2A: fsqrtd({{Frd.df = sqrt(Frs2.df);}});
863c862
< 0x75: BasicOperate::fsrc1s({{Frd.uw = Frs1.uw;}});
---
> 0x75: BasicOperate::fsrc1s({{Frds.uw = Frs1s.uw;}});
867c866
< 0x79: BasicOperate::fsrc2s({{Frd.uw = Frs2.uw;}});
---
> 0x79: BasicOperate::fsrc2s({{Frds.uw = Frs2s.uw;}});
1133c1132
< 0x20: Load::ldf({{Frd.uw = Mem.uw;}});
---
> 0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1140c1139
< 0x24: Store::stf({{Mem.uw = Frd.uw;}});
---
> 0x24: Store::stf({{Mem.uw = Frds.uw;}});
1148c1147
< 0x30: LoadAlt::ldfa({{Frd.uw = Mem.uw;}}, {{EXT_ASI}});
---
> 0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1231c1230
< 0x34: Store::stfa({{Mem.uw = Frd.uw;}});
---
> 0x34: Store::stfa({{Mem.uw = Frds.uw;}});