ee940da860aabb55eb40120a776d7a195dbcfcde
4 // INT64_MIN/-1 corner case shouldn't occur in correct code, since
5 // 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
));