[PATCH] D47143: [InstrSimplify, NewGVN] Add option to ignore metadata when simplifying.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Is this supposed to apply specifically to metadata, or just anything that NewGVN doesn't consider while numbering?  Some InstSimplify transforms check, for example, nsw.

You need to make sure you don't call into other places that might query metadata.  It looks like you caught isKnownNonEqual/isKnownNonZero, but there's also computeKnownBits and isKnownToBeAPowerOfTwo.


https://reviews.llvm.org/D47143