784baa392aa9674bf865e15ea5a991d3a8e35072
2 // INT64_MIN/-1 corner case shouldn't occur in correct code, since
3 // INT64_MIN is not a proper 32-bit signed value
6 else if(sreg_t(RS1
) == INT64_MIN
&& sreg_t(RS2
) == -1)
9 RD
= sext32(sreg_t(RS1
) % sreg_t(RS2
));