OSDN Git Service

new testcase for x86 backend miscompilation
authorChris Lattner <sabre@nondot.org>
Sun, 4 Feb 2007 20:15:15 +0000 (20:15 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 4 Feb 2007 20:15:15 +0000 (20:15 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33883 91177308-0d34-0410-b5e6-96231b3b80d8

test/CodeGen/X86/2007-02-04-OrAddrMode.ll [new file with mode: 0644]

diff --git a/test/CodeGen/X86/2007-02-04-OrAddrMode.ll b/test/CodeGen/X86/2007-02-04-OrAddrMode.ll
new file mode 100644 (file)
index 0000000..b6311d1
--- /dev/null
@@ -0,0 +1,21 @@
+; RUN: llvm-as < %s | llc -march=x86 | grep 'orl $1, %eax' &&
+; RUN: llvm-as < %s | llc -march=x86 | grep 'leal 3(,%eax,8)'
+
+;; This example can't fold the or into an LEA.
+define i32 @test(float ** %tmp2, i32 %tmp12) {
+       %tmp3 = load float** %tmp2
+       %tmp132 = shl i32 %tmp12, 2             ; <i32> [#uses=1]
+       %tmp3 = bitcast float* %tmp3 to i8*             ; <i8*> [#uses=1]
+       %ctg2 = getelementptr i8* %tmp3, i32 %tmp132            ; <i8*> [#uses=1]
+       %tmp6 = ptrtoint i8* %ctg2 to i32               ; <i32> [#uses=1]
+       %tmp14 = or i32 %tmp6, 1                ; <i32> [#uses=1]
+       ret i32 %tmp14
+}
+
+
+;; This can!
+define i32 @test2(i32 %a, i32 %b) {
+       %c = shl i32 %a, 3
+       %d = or i32 %c, 3
+       ret i32 %d
+}