From: Bill Wendling Date: Tue, 5 Aug 2008 22:23:59 +0000 (+0000) Subject: Testcase for PR2629. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0b101b03999b25d17c40daae2b6b4df3ee51d1fb;p=oota-llvm.git Testcase for PR2629. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54377 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Transforms/InstCombine/2008-08-05-And.ll b/test/Transforms/InstCombine/2008-08-05-And.ll new file mode 100644 index 00000000000..2b99ea5d6ab --- /dev/null +++ b/test/Transforms/InstCombine/2008-08-05-And.ll @@ -0,0 +1,23 @@ +; RUN: llvm-as < %s | opt -instcombine | llc -disable-fp-elim | not grep orb +; PR2629 + +define void @f(i8* %x) nounwind { +entry: + br label %bb + +bb: + %g1 = getelementptr i8* %x, i32 0 + %l1 = load i8* %g1, align 1 + %s1 = sub i8 %l1, 6 + %c1 = icmp ugt i8 %s1, 2 + %s2 = sub i8 %l1, 10 + %c2 = icmp ugt i8 %s2, 2 + %a1 = and i1 %c1, %c2 + br i1 %a1, label %incompatible, label %okay + +okay: + ret void + +incompatible: + ret void +}