[llvm-commits] [llvm] r81822 - in /llvm/trunk/test/CodeGen/X86: cmov-zext.ll cmov.ll commute-cmov.ll

[Chris Lattner]

Author: lattner
Date: Mon Sep 14 21:22:47 2009
New Revision: 81822

URL: http://llvm.org/viewvc/llvm-project?rev=81822&view=rev
Log:
merge two cmov tests into one.

Added:
    llvm/trunk/test/CodeGen/X86/cmov.ll
      - copied, changed from r81821, llvm/trunk/test/CodeGen/X86/commute-cmov.ll
Removed:
    llvm/trunk/test/CodeGen/X86/cmov-zext.ll
    llvm/trunk/test/CodeGen/X86/commute-cmov.ll

Removed: llvm/trunk/test/CodeGen/X86/cmov-zext.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/cmov-zext.ll?rev=81821&view=auto

==============================================================================
--- llvm/trunk/test/CodeGen/X86/cmov-zext.ll (original)
+++ llvm/trunk/test/CodeGen/X86/cmov-zext.ll (removed)
@@ -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
-}

Copied: llvm/trunk/test/CodeGen/X86/cmov.ll (from r81821, llvm/trunk/test/CodeGen/X86/commute-cmov.ll)
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/cmov.ll?p2=llvm/trunk/test/CodeGen/X86/cmov.ll&p1=llvm/trunk/test/CodeGen/X86/commute-cmov.ll&r1=81821&r2=81822&rev=81822&view=diff

==============================================================================
--- llvm/trunk/test/CodeGen/X86/commute-cmov.ll (original)
+++ llvm/trunk/test/CodeGen/X86/cmov.ll Mon Sep 14 21:22:47 2009
@@ -1,30 +1,48 @@
-; RUN: llc < %s -march=x86 | FileCheck %s
+; RUN: llc < %s -march=x86-64 | FileCheck %s
 
-define i32 @test1(i32 %x, i32 %n, i32 %w, i32 %v) nounwind readnone {
+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	16(%esp), %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 %v) nounwind readnone {
+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	16(%esp), %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
+}

Removed: llvm/trunk/test/CodeGen/X86/commute-cmov.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/commute-cmov.ll?rev=81821&view=auto

==============================================================================
--- llvm/trunk/test/CodeGen/X86/commute-cmov.ll (original)
+++ llvm/trunk/test/CodeGen/X86/commute-cmov.ll (removed)
@@ -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
-}