On Thu, 26 Jan 2017, Richard Biener wrote:
I also notice we dont' handle 1 - A CMP A anywhere.
Hmm, what are we supposed to transform that into? For ==, that would be false (parity), but for < it is false for 0, true for 1, false for 2, then true again after MAX/2... Nothing obvious.
-- Marc Glisse