-reg_t lhs = zext_xprlen(RS1);
-reg_t rhs = zext_xprlen(RS2);
+require_extension('M');
+reg_t lhs = zext_xlen(RS1);
+reg_t rhs = zext_xlen(RS2);
if(rhs == 0)
- RD = lhs;
+ WRITE_RD(sext_xlen(RS1));
else
- RD = sext_xprlen(lhs % rhs);
+ WRITE_RD(sext_xlen(lhs % rhs));