On Aug 25, 2012, at 12:09 PM, Chris Lattner <[email protected]> wrote:
>> Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch. > > Why not teach the general front-end constant folding logic (in > lib/AST/ExprConstant.cpp) to handle this identity, and then just use it? I may have misunderstood the point of ExprConstant, but I thought it's semantics are tied to restrictions on what we can consider an integer constant expression. Is that not the case?
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
