diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-09-23 22:41:57 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-09-23 22:41:57 +0000 |
| commit | bde81d5be9bdc3837c77f8f3c63c013b6e4bbc8d (patch) | |
| tree | 2e46aa8f116ccb1cf681d64f572e7dc1c539968f /test | |
| parent | 4d2a00147d19b17d382644de0d6a1f0d3230e0e4 (diff) | |
| download | llvm-bde81d5be9bdc3837c77f8f3c63c013b6e4bbc8d.tar.gz llvm-bde81d5be9bdc3837c77f8f3c63c013b6e4bbc8d.tar.bz2 llvm-bde81d5be9bdc3837c77f8f3c63c013b6e4bbc8d.tar.xz | |
PR10998: It is not legal to sink an instruction past the terminator of a block; make sure we don't do that.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@140428 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/twoaddr-sink-terminator.ll | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/CodeGen/X86/twoaddr-sink-terminator.ll b/test/CodeGen/X86/twoaddr-sink-terminator.ll new file mode 100644 index 0000000000..209d474a07 --- /dev/null +++ b/test/CodeGen/X86/twoaddr-sink-terminator.ll @@ -0,0 +1,43 @@ +; RUN: llc < %s -verify-coalescing +; PR10998 + +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32" +target triple = "i386-unknown-freebsd8.2" + +define void @test(i32 %arg1) nounwind align 2 { +bb11: + %tmp13 = and i32 %arg1, 7 + %tmp14 = add i32 %tmp13, -5 + switch i32 %tmp13, label %bb18 [ + i32 0, label %bb21 + i32 4, label %bb22 + i32 3, label %bb21 + i32 2, label %bb19 + ] + +bb18: + %tmp202 = call i32 @f() nounwind + unreachable + +bb19: + %tmp20 = call i32 @f() nounwind + br label %bb24 + +bb21: + %tmp203 = call i32 @f() nounwind + br label %bb24 + +bb22: + %tmp23 = call i32 @f() nounwind + br label %bb24 + +bb24: + %tmp15 = icmp ult i32 %tmp14, 2 + %tmp55 = select i1 %tmp15, i32 45, i32 44 + %tmp56 = call i32 @f2(i32 %tmp55) + unreachable +} + +declare i32 @f() + +declare i32 @f2(i32) |