diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-04-27 01:34:27 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-04-27 01:34:27 +0000 |
| commit | 0eea0293d91904d6ffd699c3f7f5a681ac3e5d7a (patch) | |
| tree | 7c005eb654c439c479f6c1fbfeb169a5d8475adc /llvm/test/CodeGen/X86/fast-isel-i1.ll | |
| parent | 759ba0802de4c7afd3dcdc1f15943fbb84ece743 (diff) | |
| download | bcm5719-llvm-0eea0293d91904d6ffd699c3f7f5a681ac3e5d7a.tar.gz bcm5719-llvm-0eea0293d91904d6ffd699c3f7f5a681ac3e5d7a.zip | |
Fix an edge case involving branches in fast-isel on x86.
rdar://problem/9303306 .
llvm-svn: 130272
Diffstat (limited to 'llvm/test/CodeGen/X86/fast-isel-i1.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/fast-isel-i1.ll | 39 |
1 files changed, 30 insertions, 9 deletions
diff --git a/llvm/test/CodeGen/X86/fast-isel-i1.ll b/llvm/test/CodeGen/X86/fast-isel-i1.ll index d0665783ce6..5d572c1de50 100644 --- a/llvm/test/CodeGen/X86/fast-isel-i1.ll +++ b/llvm/test/CodeGen/X86/fast-isel-i1.ll @@ -1,19 +1,40 @@ -; RUN: llc < %s -march=x86 -fast-isel | grep {andb \$1, %} +; RUN: llc < %s -march=x86 -fast-isel | FileCheck %s -declare i64 @bar(i64) +declare i64 @test1a(i64) -define i32 @foo(i64 %x) nounwind { - %y = add i64 %x, -3 ; <i64> [#uses=1] - %t = call i64 @bar(i64 %y) ; <i64> [#uses=1] - %s = mul i64 %t, 77 ; <i64> [#uses=1] - %z = trunc i64 %s to i1 ; <i1> [#uses=1] +define i32 @test1(i64 %x) nounwind { +; CHECK: test1: +; CHECK: andb $1, % + %y = add i64 %x, -3 + %t = call i64 @test1a(i64 %y) + %s = mul i64 %t, 77 + %z = trunc i64 %s to i1 br label %next next: ; preds = %0 - %u = zext i1 %z to i32 ; <i32> [#uses=1] - %v = add i32 %u, 1999 ; <i32> [#uses=1] + %u = zext i1 %z to i32 + %v = add i32 %u, 1999 br label %exit exit: ; preds = %next ret i32 %v } + +define void @test2(i8* %a) nounwind { +entry: +; CHECK: test2: +; CHECK: movb {{.*}} %al +; CHECK-NEXT: xorb $1, %al +; CHECK-NEXT: testb $1 + %tmp = load i8* %a, align 1 + %tobool = trunc i8 %tmp to i1 + %tobool2 = xor i1 %tobool, true + br i1 %tobool2, label %if.then, label %if.end + +if.then: + call void @test2(i8* null) + br label %if.end + +if.end: + ret void +} |
