On 11/18/2015 11:44 PM, Jakub Jelinek wrote:
noce_try_abs optimizes these cases normal abs, which doesn't really care if the original condition is x < 0 ? -x : x or x <= 0 ? -x : x, but also the x < 0 ? ~x : x case. But in this case it is significant whether for x == 0 ~x or x applies; the following patch limits the one_cmpl optimization to those cases where the optimized expression computes the same value.
Ok. Bernd