Re: [PATCH] Fix reassoc var_bound optimization (PR tree-optimization/85529)

2018-04-27 Thread Richard Biener
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

[PATCH] Fix reassoc var_bound optimization (PR tree-optimization/85529)

2018-04-26 Thread Jakub Jelinek
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