[llvm] r283674 - [X86][SSE] Regenerate select tests
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Sat Oct 8 14:17:44 PDT 2016
Author: rksimon
Date: Sat Oct 8 16:17:44 2016
New Revision: 283674
URL: http://llvm.org/viewvc/llvm-project?rev=283674&view=rev
Log:
[X86][SSE] Regenerate select tests
Modified:
llvm/trunk/test/CodeGen/X86/select.ll
Modified: llvm/trunk/test/CodeGen/X86/select.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/select.ll?rev=283674&r1=283673&r2=283674&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/select.ll (original)
+++ llvm/trunk/test/CodeGen/X86/select.ll Sat Oct 8 16:17:44 2016
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -mcpu=generic | FileCheck %s --check-prefix=CHECK --check-prefix=GENERIC
; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -mcpu=atom | FileCheck %s --check-prefix=CHECK --check-prefix=ATOM
@@ -14,7 +14,6 @@ define i32 @test1(%0* %p, %0* %q, i1 %r)
; CHECK-NEXT: cmovneq %rdi, %rsi
; CHECK-NEXT: movl (%rsi), %eax
; CHECK-NEXT: retq
-;
%t0 = load %0, %0* %p
%t1 = load %0, %0* %q
%t4 = select i1 %r, %0 %t0, %0 %t1
@@ -41,7 +40,6 @@ define i32 @test2() nounwind {
; CHECK-NEXT: popq %rcx
; CHECK-NEXT: retq
; CHECK-NEXT: LBB1_1: ## %bb90
-;
entry:
%tmp73 = tail call i1 @return_false()
%g.0 = select i1 %tmp73, i16 0, i16 -480
@@ -67,7 +65,6 @@ define float @test3(i32 %x) nounwind rea
; CHECK-NEXT: leaq {{.*}}(%rip), %rcx
; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
; CHECK-NEXT: retq
-;
entry:
%0 = icmp eq i32 %x, 0
%iftmp.0.0 = select i1 %0, float 4.200000e+01, float 2.300000e+01
@@ -83,7 +80,6 @@ define signext i8 @test4(i8* nocapture %
; CHECK-NEXT: seta %al
; CHECK-NEXT: movsbl (%rdi,%rax,4), %eax
; CHECK-NEXT: retq
-;
entry:
%0 = fcmp olt double %F, 4.200000e+01
%iftmp.0.0 = select i1 %0, i32 4, i32 0
@@ -104,7 +100,6 @@ define void @test5(i1 %c, <2 x i16> %a,
; CHECK-NEXT: pshuflw {{.*#+}} xmm0 = xmm0[0,2,2,3,4,5,6,7]
; CHECK-NEXT: movd %xmm0, (%rsi)
; CHECK-NEXT: retq
-;
%x = select i1 %c, <2 x i16> %a, <2 x i16> %b
store <2 x i16> %x, <2 x i16>* %p
ret void
@@ -125,7 +120,6 @@ define void @test6(i32 %C, <4 x float>*
; CHECK-NEXT: mulps %xmm0, %xmm0
; CHECK-NEXT: movaps %xmm0, (%rsi)
; CHECK-NEXT: retq
-;
%tmp = load <4 x float>, <4 x float>* %A
%tmp3 = load <4 x float>, <4 x float>* %B
%tmp9 = fmul <4 x float> %tmp3, %tmp3
@@ -146,7 +140,6 @@ define x86_fp80 @test7(i32 %tmp8) nounwi
; CHECK-NEXT: leaq {{.*}}(%rip), %rcx
; CHECK-NEXT: fldt (%rax,%rcx)
; CHECK-NEXT: retq
-;
%tmp9 = icmp sgt i32 %tmp8, -1
%retval = select i1 %tmp9, x86_fp80 0xK4005B400000000000000, x86_fp80 0xK40078700000000000000
ret x86_fp80 %retval
@@ -154,42 +147,77 @@ define x86_fp80 @test7(i32 %tmp8) nounwi
; widening select v6i32 and then a sub
define void @test8(i1 %c, <6 x i32>* %dst.addr, <6 x i32> %src1,<6 x i32> %src2) nounwind {
-; CHECK-LABEL: test8:
-; CHECK: ## BB#0:
-; CHECK-NEXT: andb $1, %dil
-; CHECK-NEXT: jne LBB7_1
-; CHECK-NEXT: ## BB#2:
-; CHECK-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
-; CHECK-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
-; CHECK-NEXT: jmp LBB7_3
-; CHECK-NEXT: LBB7_1:
-; CHECK-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
-; CHECK-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
-; CHECK-NEXT: LBB7_3:
-; CHECK-NEXT: punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
-; CHECK-NEXT: testb %dil, %dil
-; CHECK-NEXT: jne LBB7_4
-; CHECK-NEXT: ## BB#5:
-; CHECK-NEXT: movd {{.*#+}} xmm2 = mem[0],zero,zero,zero
-; CHECK-NEXT: movd {{.*#+}} xmm3 = mem[0],zero,zero,zero
-; CHECK-NEXT: movd {{.*#+}} xmm4 = mem[0],zero,zero,zero
-; CHECK-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
-; CHECK-NEXT: jmp LBB7_6
-; CHECK-NEXT: LBB7_4:
-; CHECK-NEXT: movd %r9d, %xmm2
-; CHECK-NEXT: movd %ecx, %xmm3
-; CHECK-NEXT: movd %r8d, %xmm4
-; CHECK-NEXT: movd %edx, %xmm1
-; CHECK-NEXT: LBB7_6:
-; CHECK-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
-; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm4[0],xmm1[1],xmm4[1]
-; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm3[0],xmm1[1],xmm3[1]
-; CHECK-NEXT: psubd {{.*}}(%rip), %xmm
-; CHECK-NEXT: psubd {{.*}}(%rip), %xmm
-; CHECK-NEXT: movq %xmm0, 16(%rsi)
-; CHECK-NEXT: movdqa %xmm1, (%rsi)
-; CHECK-NEXT: retq
+; GENERIC-LABEL: test8:
+; GENERIC: ## BB#0:
+; GENERIC-NEXT: andb $1, %dil
+; GENERIC-NEXT: jne LBB7_1
+; GENERIC-NEXT: ## BB#2:
+; GENERIC-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; GENERIC-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; GENERIC-NEXT: jmp LBB7_3
+; GENERIC-NEXT: LBB7_1:
+; GENERIC-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; GENERIC-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; GENERIC-NEXT: LBB7_3:
+; GENERIC-NEXT: punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
+; GENERIC-NEXT: testb %dil, %dil
+; GENERIC-NEXT: jne LBB7_4
+; GENERIC-NEXT: ## BB#5:
+; GENERIC-NEXT: movd {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; GENERIC-NEXT: movd {{.*#+}} xmm3 = mem[0],zero,zero,zero
+; GENERIC-NEXT: movd {{.*#+}} xmm4 = mem[0],zero,zero,zero
+; GENERIC-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; GENERIC-NEXT: jmp LBB7_6
+; GENERIC-NEXT: LBB7_4:
+; GENERIC-NEXT: movd %r9d, %xmm2
+; GENERIC-NEXT: movd %ecx, %xmm3
+; GENERIC-NEXT: movd %r8d, %xmm4
+; GENERIC-NEXT: movd %edx, %xmm1
+; GENERIC-NEXT: LBB7_6:
+; GENERIC-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
+; GENERIC-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm4[0],xmm1[1],xmm4[1]
+; GENERIC-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm3[0],xmm1[1],xmm3[1]
+; GENERIC-NEXT: psubd {{.*}}(%rip), %xmm1
+; GENERIC-NEXT: psubd {{.*}}(%rip), %xmm0
+; GENERIC-NEXT: movq %xmm0, 16(%rsi)
+; GENERIC-NEXT: movdqa %xmm1, (%rsi)
+; GENERIC-NEXT: retq
;
+; ATOM-LABEL: test8:
+; ATOM: ## BB#0:
+; ATOM-NEXT: andb $1, %dil
+; ATOM-NEXT: jne LBB7_1
+; ATOM-NEXT: ## BB#2:
+; ATOM-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; ATOM-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; ATOM-NEXT: jmp LBB7_3
+; ATOM-NEXT: LBB7_1:
+; ATOM-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; ATOM-NEXT: movd {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; ATOM-NEXT: LBB7_3:
+; ATOM-NEXT: punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
+; ATOM-NEXT: testb %dil, %dil
+; ATOM-NEXT: jne LBB7_4
+; ATOM-NEXT: ## BB#5:
+; ATOM-NEXT: movd {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; ATOM-NEXT: movd {{.*#+}} xmm3 = mem[0],zero,zero,zero
+; ATOM-NEXT: movd {{.*#+}} xmm4 = mem[0],zero,zero,zero
+; ATOM-NEXT: movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; ATOM-NEXT: jmp LBB7_6
+; ATOM-NEXT: LBB7_4:
+; ATOM-NEXT: movd %r9d, %xmm2
+; ATOM-NEXT: movd %ecx, %xmm3
+; ATOM-NEXT: movd %r8d, %xmm4
+; ATOM-NEXT: movd %edx, %xmm1
+; ATOM-NEXT: LBB7_6:
+; ATOM-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
+; ATOM-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm4[0],xmm1[1],xmm4[1]
+; ATOM-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm3[0],xmm1[1],xmm3[1]
+; ATOM-NEXT: psubd {{.*}}(%rip), %xmm0
+; ATOM-NEXT: psubd {{.*}}(%rip), %xmm1
+; ATOM-NEXT: movq %xmm0, 16(%rsi)
+; ATOM-NEXT: movdqa %xmm1, (%rsi)
+; ATOM-NEXT: retq
%x = select i1 %c, <6 x i32> %src1, <6 x i32> %src2
%val = sub <6 x i32> %x, < i32 1, i32 1, i32 1, i32 1, i32 1, i32 1 >
store <6 x i32> %val, <6 x i32>* %dst.addr
@@ -215,7 +243,6 @@ define i64 @test9(i64 %x, i64 %y) nounwi
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%cmp = icmp ne i64 %x, 0
%cond = select i1 %cmp, i64 %y, i64 -1
ret i64 %cond
@@ -238,7 +265,6 @@ define i64 @test9a(i64 %x, i64 %y) nounw
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%cmp = icmp eq i64 %x, 0
%cond = select i1 %cmp, i64 -1, i64 %y
ret i64 %cond
@@ -260,7 +286,6 @@ define i64 @test9b(i64 %x, i64 %y) nounw
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%cmp = icmp eq i64 %x, 0
%A = sext i1 %cmp to i64
%cond = or i64 %y, %A
@@ -284,7 +309,6 @@ define i64 @test10(i64 %x, i64 %y) nounw
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%cmp = icmp eq i64 %x, 0
%cond = select i1 %cmp, i64 -1, i64 1
ret i64 %cond
@@ -298,7 +322,6 @@ define i64 @test11(i64 %x, i64 %y) nounw
; CHECK-NEXT: notq %rax
; CHECK-NEXT: orq %rsi, %rax
; CHECK-NEXT: retq
-;
%cmp = icmp eq i64 %x, 0
%cond = select i1 %cmp, i64 %y, i64 -1
ret i64 %cond
@@ -312,7 +335,6 @@ define i64 @test11a(i64 %x, i64 %y) noun
; CHECK-NEXT: notq %rax
; CHECK-NEXT: orq %rsi, %rax
; CHECK-NEXT: retq
-;
%cmp = icmp ne i64 %x, 0
%cond = select i1 %cmp, i64 -1, i64 %y
ret i64 %cond
@@ -339,7 +361,6 @@ define noalias i8* @test12(i64 %count) n
; ATOM-NEXT: movq $-1, %rdi
; ATOM-NEXT: cmovnoq %rax, %rdi
; ATOM-NEXT: jmp __Znam ## TAILCALL
-;
entry:
%A = tail call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %count, i64 4)
%B = extractvalue { i64, i1 } %A, 1
@@ -367,7 +388,6 @@ define i32 @test13(i32 %a, i32 %b) nounw
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%c = icmp ult i32 %a, %b
%d = sext i1 %c to i32
ret i32 %d
@@ -389,7 +409,6 @@ define i32 @test14(i32 %a, i32 %b) nounw
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%c = icmp uge i32 %a, %b
%d = sext i1 %c to i32
ret i32 %d
@@ -412,7 +431,6 @@ define i32 @test15(i32 %x) nounwind {
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
entry:
%cmp = icmp ne i32 %x, 0
%sub = sext i1 %cmp to i32
@@ -435,7 +453,6 @@ define i64 @test16(i64 %x) nounwind uwta
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
entry:
%cmp = icmp ne i64 %x, 0
%conv1 = sext i1 %cmp to i64
@@ -458,7 +475,6 @@ define i16 @test17(i16 %x) nounwind {
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
entry:
%cmp = icmp ne i16 %x, 0
%sub = sext i1 %cmp to i16
@@ -481,7 +497,6 @@ define i8 @test18(i32 %x, i8 zeroext %a,
; ATOM-NEXT: nop
; ATOM-NEXT: nop
; ATOM-NEXT: retq
-;
%cmp = icmp slt i32 %x, 15
%sel = select i1 %cmp, i8 %a, i8 %b
ret i8 %sel
@@ -495,7 +510,6 @@ define i32 @trunc_select_miscompile(i32
; CHECK-NEXT: shll %cl, %edi
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: retq
-;
%tmp1 = select i1 %cc, i32 3, i32 2
%tmp2 = shl i32 %a, %tmp1
ret i32 %tmp2
@@ -514,21 +528,20 @@ define void @test19() {
; CHECK-NEXT: movb $1, %cl
; CHECK-NEXT: .p2align 4, 0x90
; CHECK-NEXT: LBB22_1: ## %CF
-; CHECK-NEXT: ##
+; CHECK-NEXT: ## =>This Inner Loop Header: Depth=1
; CHECK-NEXT: testb %cl, %cl
; CHECK-NEXT: jne LBB22_1
; CHECK-NEXT: ## BB#2: ## %CF250
-; CHECK-NEXT: ##
+; CHECK-NEXT: ## in Loop: Header=BB22_1 Depth=1
; CHECK-NEXT: jne LBB22_1
; CHECK-NEXT: .p2align 4, 0x90
; CHECK-NEXT: LBB22_3: ## %CF242
-; CHECK-NEXT: ##
+; CHECK-NEXT: ## =>This Inner Loop Header: Depth=1
; CHECK-NEXT: cmpl %eax, %eax
; CHECK-NEXT: ucomiss %xmm0, %xmm0
; CHECK-NEXT: jp LBB22_3
-; CHECK-NEXT: ## BB#4:
+; CHECK-NEXT: ## BB#4: ## %CF244
; CHECK-NEXT: retq
-;
BB:
br label %CF
More information about the llvm-commits
mailing list