aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/divw.h
blob: 24f22fdbebf191badc79f77af853414dd7f2e3bf (plain)
1
2
3
4
5
6
7
require_xpr64;
sreg_t lhs = sext32(RS1);
sreg_t rhs = sext32(RS2);
if(rhs == 0)
  WRITE_RD(UINT64_MAX);
else
  WRITE_RD(sext32(lhs / rhs));