Re: MIPS elimate trap-if-zero instruction if possible for divisions

[Jeff Law]

On 07/04/2013 04:04 AM, Graham Stott wrote:

Hi Jeff, Richard

We could possibly also use VRP to change signed division to unsigned division 
when dividing a
non-negative signed operand by a power of 2 because then the sign bit will be 0 
and we could do
the division using logical shift right.

See simplify_div_or_mod_using_ranges.

jeff