On 04/27/2012 03:01 AM, Paolo Bonzini wrote:
This patch teaches phiopt to look at phis whose arguments are -1 and 0, and produce negated setcc statements.
Is this really a win over a COND_EXPR, i.e. (a < b ? -1 : 0)? There is quite a bit of logic inside the rtl and backend expansion of cmove that would seem to be being bypassed by committing to this form. r~
