On Thu, 26 Apr 2018, Jakub Jelinek wrote:
> Hi!
>
> As explained in the comment below, when doing the inter-bb range test
> optimization and are trying to optimize the
> a >= 0 && a < b
> where b is known to be >= 0 into
> (unsigned) a < (unsigned) b, we need to be careful if the a >= 0 condition
Hi!
As explained in the comment below, when doing the inter-bb range test
optimization and are trying to optimize the
a >= 0 && a < b
where b is known to be >= 0 into
(unsigned) a < (unsigned) b, we need to be careful if the a >= 0 condition
is in a different bb from the a < b one and the a >= 0 b