riscv/insns/divw.h

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