From 0b101b03999b25d17c40daae2b6b4df3ee51d1fb Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Tue, 5 Aug 2008 22:23:59 +0000 Subject: Testcase for PR2629. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54377 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/2008-08-05-And.ll | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 test/Transforms/InstCombine/2008-08-05-And.ll (limited to 'test/Transforms/InstCombine/2008-08-05-And.ll') 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 0000000000..2b99ea5d6a --- /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 +} -- cgit v1.2.3