[PATCH] D33136: [ValueTracking] Don't let isAddOfNonZero look at adds with a PHI node as input

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

Can we add a mode (e.g. some extra boolean parameter) to ValueTracking to enable this kind of restriction? We could then enable this mode when in BasicAA. I don't want to, in general, disable things here to work around the fact that BasicAA is doing some unsound.


https://reviews.llvm.org/D33136