riscv/insns/remw.h

   1 require_xpr64;
   2 if(RS2 == 0)
   3   RD = RS1;
   4 else if(int32_t(RS1) == INT32_MIN && int32_t(RS2) == -1)
   5   RD = 0;
   6 else
   7   RD = sext32(int32_t(RS1) % int32_t(RS2));