fix divide by zero bugs

[riscv-isa-sim.git] / riscv / insns / divuw.h

require_xpr64;
if(zext32(RS2) == 0)
  RD = UINT64_MAX;
else
  RD = sext32(zext32(RS1) / zext32(RS2));