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

hfinkel@anl.gov via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 23 13:25:04 PDT 2015

hfinkel added a subscriber: hfinkel.

Comment at: lib/Analysis/InstructionSimplify.cpp:2216
@@ -2174,3 +2215,3 @@
     case ICmpInst::ICMP_UGE:
       // X >=u 1 -> X
reames wrote:
> 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.  
FWIW, yes, i1 signed values are interpreted as 0 and -1.


More information about the llvm-commits mailing list