[PATCH] D85765: [InstSimplify] Remove select ?, undef, X -> X and select ?, X, undef -> X transforms

[Craig Topper via Phabricator via llvm-commits]

craig.topper added inline comments.


================
Comment at: llvm/lib/IR/ConstantFold.cpp:804
+  if (isa<UndefValue>(V1) && NotPoison(V2)) return V2;
+  if (isa<UndefValue>(V2) && NotPoison(V1)) return V1;
+
----------------
nikic wrote:
> Why does this not use isGuaranteedNotToBeUndefOrPoison?
I don't think IR library can depend on the Analysis library.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D85765/new/

https://reviews.llvm.org/D85765