450c450
< Rd = Rs1_uw >> SHAMT5;
---
> Rd_sd = (int32_t)(Rs1_uw >> SHAMT5);
762c762
< Rd_uw = Rs1_uw >> Rs2<4:0>;
---
> Rd_sd = (int32_t)(Rs1_uw >> Rs2<4:0>);