diff options
| author | Duncan Sands <baldrick@free.fr> | 2009-01-26 21:54:18 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2009-01-26 21:54:18 +0000 |
| commit | 5bb11b89ddbc0f47eee9743b93df5aa872750d13 (patch) | |
| tree | 1bc89471fc75a3a76e2d4f5bfe696efd47678ec0 /test/CodeGen/X86/2009-01-26-WrongCheck.ll | |
| parent | 9c27886dd5d504f2b03c6fcb57aba23e5e44c4fa (diff) | |
Fix PR3393, which amounts to a bug in the expensive
checking logic. Rather than make the checking more
complicated, I've tweaked some logic to make things
conform to how the checking thought things ought to
be, since this results in a simpler "mental model".
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63048 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/2009-01-26-WrongCheck.ll')
| -rw-r--r-- | test/CodeGen/X86/2009-01-26-WrongCheck.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/CodeGen/X86/2009-01-26-WrongCheck.ll b/test/CodeGen/X86/2009-01-26-WrongCheck.ll new file mode 100644 index 00000000000..db9dbb67def --- /dev/null +++ b/test/CodeGen/X86/2009-01-26-WrongCheck.ll @@ -0,0 +1,16 @@ +; RUN: llvm-as < %s | llc -march=x86 -enable-legalize-types-checking +; PR3393 + +define void @foo(i32 inreg %x) { + %t709 = select i1 false, i32 0, i32 %x ; <i32> [#uses=1] + %t711 = add i32 %t709, 1 ; <i32> [#uses=4] + %t801 = icmp slt i32 %t711, 0 ; <i1> [#uses=1] + %t712 = zext i32 %t711 to i64 ; <i64> [#uses=1] + %t804 = select i1 %t801, i64 0, i64 %t712 ; <i64> [#uses=1] + store i64 %t804, i64* null + %t815 = icmp slt i32 %t711, 0 ; <i1> [#uses=1] + %t814 = sext i32 %t711 to i64 ; <i64> [#uses=1] + %t816 = select i1 %t815, i64 0, i64 %t814 ; <i64> [#uses=1] + store i64 %t816, i64* null + unreachable +} |