aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/divw.h
blob: 51c3d8042f29d2361babd5d5db497f6b41657144 (plain)
1
2
3
4
5
6
7
require_xpr64;
if(RS2 == 0)
  RD = UINT64_MAX;
else if(int32_t(RS1) == INT32_MIN && int32_t(RS2) == -1)
  RD = RS1;
else
  RD = sext32(int32_t(RS1) / int32_t(RS2));