[PATCH] D18841: [InstCombine] Canonicalize icmp instructions based on dominating conditions.

Balaram Makam via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 26 12:51:21 PDT 2016


bmakam marked an inline comment as done.

================
Comment at: lib/Transforms/InstCombine/InstCombineCompares.cpp:3307
@@ +3306,3 @@
+      if (Difference.isEmptySet())
+        return replaceInstUsesWith(I, Builder->getTrue());
+      if (!isBranchOnSignBitCheck(I, isSignBit) && !I.isEquality()) {
----------------
if Difference is empty then the inner condition is always true.


http://reviews.llvm.org/D18841





More information about the llvm-commits mailing list