2011/5/11 Eric Botcazou <ebotca...@adacore.com>: >> this patch converts TRUTH_AND_EXPR, TRUTH_OR_EXPR, and TRUTH_XOR_EXPR >> expressions on gimplification to their binary form. > > What is it for? This will redirect the compilation stream from proven paths > to > others so there must be a good reason to do it. What's the effect on the > code? > > -- > Eric Botcazou
Well, it would have some effects. First we don't need to handle TRUTH and BINARY variants of AND, OR, XOR any longer special. Second cause is that on BINARY trees the reassociation pass can operate, which leads to better optimized boolean logic. Regards, Kai
