riscv/insns/rem.h

   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));