[PING] RE: RFR(S): 8210152: Optimize integer divisible by power-of-2 check

[Roland Westrelin]

> The only comment I have is to add check for SubI on other branch (not
> only on True branch). Negation may occur on either branch since you
> accept all conditions for negation.

Can't we make this more general and support a phi with any number of
inputs (not only 2 data inputs) as long as it's a mix of X and -X?

Roland.