[PATCH] D13074: [InstSimplify] Fold simple known implications to true

[Philip Reames via llvm-commits]

reames marked an inline comment as done.

================
Comment at: lib/Analysis/InstructionSimplify.cpp:2216
@@ -2174,3 +2215,3 @@
       break;
     case ICmpInst::ICMP_UGE:
       // X >=u 1 -> X
----------------
Pretty sure I can't use signed compares.  I believe "1" is interpreted as "-1" in a signed compare.  This generates a different truth table.  


http://reviews.llvm.org/D13074