On 06/29/2018 02:10 AM, Peter Maydell wrote: > Suggested revised comment text: > > /* We must avoid the C undefined behaviour cases: division by > * zero and signed division of INT_MIN by -1. Both of these > * have architecturally defined required results for Arm. > * We special case all signed divisions by -1 to avoid having > * to deduce the minimum integer for the type involved. > */ > > ?
I'm happy with that. r~