diff --git a/test/CodeGen/X86/cmov-zext.ll b/test/CodeGen/X86/cmov-zext.ll deleted file mode 100644 index 8df228a00aa..00000000000 --- a/test/CodeGen/X86/cmov-zext.ll +++ /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 index 00000000000..ee1999d168a --- /dev/null +++ b/test/CodeGen/X86/cmov.ll @@ -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 ; [#uses=1] + %1 = and i32 %0, 1 ; [#uses=1] + %toBool = icmp eq i32 %1, 0 ; [#uses=1] + %v = load i32* %vp + %.0 = select i1 %toBool, i32 %v, i32 12 ; [#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 ; [#uses=1] + %1 = and i32 %0, 1 ; [#uses=1] + %toBool = icmp eq i32 %1, 0 ; [#uses=1] + %v = load i32* %vp + %.0 = select i1 %toBool, i32 12, i32 %v ; [#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 index 63be1541657..00000000000 --- a/test/CodeGen/X86/commute-cmov.ll +++ /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 ; [#uses=1] - %1 = and i32 %0, 1 ; [#uses=1] - %toBool = icmp eq i32 %1, 0 ; [#uses=1] - %.0 = select i1 %toBool, i32 %v, i32 12 ; [#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 ; [#uses=1] - %1 = and i32 %0, 1 ; [#uses=1] - %toBool = icmp eq i32 %1, 0 ; [#uses=1] - %.0 = select i1 %toBool, i32 12, i32 %v ; [#uses=1] - ret i32 %.0 -}