1 require_extension('M');
2 sreg_t lhs = sext_xlen(RS1);
3 sreg_t rhs = sext_xlen(RS2);
4 if(rhs == 0)
5   WRITE_RD(lhs);
6 else if(lhs == INT64_MIN && rhs == -1)
7   WRITE_RD(0);
8 else
9   WRITE_RD(sext_xlen(lhs % rhs));
10