From 319c09477158687c9b2b4a0c4db22632aaf542a6 Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Sat, 8 Oct 2016 21:17:44 +0000 Subject: [PATCH] [X86][SSE] Regenerate select tests llvm-svn: 283674 --- llvm/test/CodeGen/X86/select.ll | 137 ++++++++++++++++++++++------------------ 1 file changed, 75 insertions(+), 62 deletions(-) diff --git a/llvm/test/CodeGen/X86/select.ll b/llvm/test/CodeGen/X86/select.ll index e04b2f4..1b39bcf 100644 --- a/llvm/test/CodeGen/X86/select.ll +++ b/llvm/test/CodeGen/X86/select.ll @@ -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) nounwind { ; 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 readnone { ; 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 %P, double %F) nounwind readonly { ; 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, <2 x i16> %b, <2 x i16>* %p) nounwind { ; 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>* %A, <4 x float>* %B) nounwind { ; 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) nounwind { ; 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) nounwind { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind readnone ssp noredzone { ; 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) nounwind ssp noredzone { ; 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) nounwind { ; 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) nounwind { ; 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 uwtable readnone ssp { ; 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, i8 zeroext %b) nounwind { ; 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 %a, i1 zeroext %cc) { ; 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 -- 2.7.4