merge two cmov tests into one.
authorChris Lattner <sabre@nondot.org>
Tue, 15 Sep 2009 02:22:47 +0000 (02:22 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 15 Sep 2009 02:22:47 +0000 (02:22 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81822 91177308-0d34-0410-b5e6-96231b3b80d8

test/CodeGen/X86/cmov-zext.ll [deleted file]
test/CodeGen/X86/cmov.ll [new file with mode: 0644]
test/CodeGen/X86/commute-cmov.ll [deleted file]

diff --git a/test/CodeGen/X86/cmov-zext.ll b/test/CodeGen/X86/cmov-zext.ll
deleted file mode 100644 (file)
index 8df228a..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-; RUN: llc < %s -march=x86-64 | FileCheck %s
-
-; x86's 32-bit cmov doesn't clobber the high 32 bits of the destination
-; if the condition is false. An explicit zero-extend (movl) is needed
-; after the cmov.
-
-; CHECK:      cmovne  %edi, %esi
-; CHECK-NEXT: movl    %esi, %edi
-
-declare void @bar(i64) nounwind
-
-define void @foo(i64 %a, i64 %b, i1 %p) nounwind {
-  %c = trunc i64 %a to i32
-  %d = trunc i64 %b to i32
-  %e = select i1 %p, i32 %c, i32 %d
-  %f = zext i32 %e to i64
-  call void @bar(i64 %f)
-  ret void
-}
diff --git a/test/CodeGen/X86/cmov.ll b/test/CodeGen/X86/cmov.ll
new file mode 100644 (file)
index 0000000..ee1999d
--- /dev/null
@@ -0,0 +1,48 @@
+; RUN: llc < %s -march=x86-64 | FileCheck %s
+
+define i32 @test1(i32 %x, i32 %n, i32 %w, i32* %vp) nounwind readnone {
+entry:
+; CHECK: test1:
+; CHECK: btl
+; CHECK-NEXT: movl     $12, %eax
+; CHECK-NEXT: cmovae   (%rcx), %eax
+; CHECK-NEXT: ret
+
+       %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
+       %1 = and i32 %0, 1              ; <i32> [#uses=1]
+       %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
+        %v = load i32* %vp
+       %.0 = select i1 %toBool, i32 %v, i32 12         ; <i32> [#uses=1]
+       ret i32 %.0
+}
+define i32 @test2(i32 %x, i32 %n, i32 %w, i32* %vp) nounwind readnone {
+entry:
+; CHECK: test2:
+; CHECK: btl
+; CHECK-NEXT: movl     $12, %eax
+; CHECK-NEXT: cmovb    (%rcx), %eax
+; CHECK-NEXT: ret
+
+       %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
+       %1 = and i32 %0, 1              ; <i32> [#uses=1]
+       %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
+        %v = load i32* %vp
+       %.0 = select i1 %toBool, i32 12, i32 %v         ; <i32> [#uses=1]
+       ret i32 %.0
+}
+
+
+declare void @bar(i64) nounwind
+
+define void @test3(i64 %a, i64 %b, i1 %p) nounwind {
+; CHECK: test3:
+; CHECK:      cmovne  %edi, %esi
+; CHECK-NEXT: movl    %esi, %edi
+
+  %c = trunc i64 %a to i32
+  %d = trunc i64 %b to i32
+  %e = select i1 %p, i32 %c, i32 %d
+  %f = zext i32 %e to i64
+  call void @bar(i64 %f)
+  ret void
+}
diff --git a/test/CodeGen/X86/commute-cmov.ll b/test/CodeGen/X86/commute-cmov.ll
deleted file mode 100644 (file)
index 63be154..0000000
+++ /dev/null
@@ -1,30 +0,0 @@
-; RUN: llc < %s -march=x86 | FileCheck %s
-
-define i32 @test1(i32 %x, i32 %n, i32 %w, i32 %v) nounwind readnone {
-entry:
-; CHECK: test1:
-; CHECK: btl
-; CHECK-NEXT: movl     $12, %eax
-; CHECK-NEXT: cmovae   16(%esp), %eax
-; CHECK-NEXT: ret
-
-       %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
-       %1 = and i32 %0, 1              ; <i32> [#uses=1]
-       %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
-       %.0 = select i1 %toBool, i32 %v, i32 12         ; <i32> [#uses=1]
-       ret i32 %.0
-}
-define i32 @test2(i32 %x, i32 %n, i32 %w, i32 %v) nounwind readnone {
-entry:
-; CHECK: test2:
-; CHECK: btl
-; CHECK-NEXT: movl     $12, %eax
-; CHECK-NEXT: cmovb    16(%esp), %eax
-; CHECK-NEXT: ret
-
-       %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
-       %1 = and i32 %0, 1              ; <i32> [#uses=1]
-       %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
-       %.0 = select i1 %toBool, i32 12, i32 %v         ; <i32> [#uses=1]
-       ret i32 %.0
-}