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