```
```
-uint_xlen_t shadd(uint_xlen_t rs1, uint_xlen_t rs2, uint8_t sh) {
- sh = sh & 0x3;
- return (rs1 << (sh+1)) + rs2;
+uint_xlen_t shadd(uint_xlen_t RA, uint_xlen_t RB, uint8_t sm) {
+ sm = sm & 0x3;
+ return (RB << (sm+1)) + RA;
}
-uint_xlen_t shadduw(uint_xlen_t rs1, uint_xlen_t rs2, uint8_t sh) {
- uint_xlen_t rs1z = rs1 & 0xFFFFFFFF;
- sh = sh & 0x3;
- return (rs1z << (sh+1)) + rs2;
+uint_xlen_t shadduw(uint_xlen_t RA, uint_xlen_t RB, uint8_t sm) {
+ uint_xlen_t n = RB & 0xFFFFFFFF;
+ sm = sm & 0x3;
+ return (n << (sm+1)) + RA;
}
```