[Bug tree-optimization/13563] if-conversion not agressive enough

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=13563

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
With -Os, the jump2 pass does merge the 2 calls to foo, but that's way too late
for the resulting a!=0 ? 1 : 0 to be simplified.