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

[Balaram Makam via llvm-commits]

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