forked from OSchip/llvm-project
update test to use FileCheck for tighter checking
llvm-svn: 269123
This commit is contained in:
parent
f68a8c4779
commit
12de4aeeb3
|
@ -1,15 +1,121 @@
|
|||
; RUN: llc < %s -march=x86-64 | grep div | count 8
|
||||
; RUN: llc < %s -march=x86-64 | grep fmodf | count 4
|
||||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
|
||||
|
||||
define <4 x i32> @foo(<4 x i32> %t, <4 x i32> %u) {
|
||||
%m = srem <4 x i32> %t, %u
|
||||
ret <4 x i32> %m
|
||||
; CHECK-LABEL: foo:
|
||||
; CHECK: # BB#0:
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm2 = xmm0[3,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm2, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm2 = xmm1[3,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm2, %ecx
|
||||
; CHECK-NEXT: cltd
|
||||
; CHECK-NEXT: idivl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm2
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm3 = xmm0[1,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm3, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm3 = xmm1[1,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm3, %ecx
|
||||
; CHECK-NEXT: cltd
|
||||
; CHECK-NEXT: idivl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm3
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
|
||||
; CHECK-NEXT: movd %xmm0, %eax
|
||||
; CHECK-NEXT: movd %xmm1, %ecx
|
||||
; CHECK-NEXT: cltd
|
||||
; CHECK-NEXT: idivl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm2
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
|
||||
; CHECK-NEXT: movd %xmm0, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
|
||||
; CHECK-NEXT: movd %xmm0, %ecx
|
||||
; CHECK-NEXT: cltd
|
||||
; CHECK-NEXT: idivl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm0
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[1],xmm3[1]
|
||||
; CHECK-NEXT: movdqa %xmm2, %xmm0
|
||||
; CHECK-NEXT: retq
|
||||
;
|
||||
%m = srem <4 x i32> %t, %u
|
||||
ret <4 x i32> %m
|
||||
}
|
||||
|
||||
define <4 x i32> @bar(<4 x i32> %t, <4 x i32> %u) {
|
||||
%m = urem <4 x i32> %t, %u
|
||||
ret <4 x i32> %m
|
||||
; CHECK-LABEL: bar:
|
||||
; CHECK: # BB#0:
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm2 = xmm0[3,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm2, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm2 = xmm1[3,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm2, %ecx
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm2
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm3 = xmm0[1,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm3, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm3 = xmm1[1,1,2,3]
|
||||
; CHECK-NEXT: movd %xmm3, %ecx
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm3
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm2[0],xmm3[1],xmm2[1]
|
||||
; CHECK-NEXT: movd %xmm0, %eax
|
||||
; CHECK-NEXT: movd %xmm1, %ecx
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm2
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
|
||||
; CHECK-NEXT: movd %xmm0, %eax
|
||||
; CHECK-NEXT: pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
|
||||
; CHECK-NEXT: movd %xmm0, %ecx
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movd %edx, %xmm0
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]
|
||||
; CHECK-NEXT: punpckldq {{.*#+}} xmm2 = xmm2[0],xmm3[0],xmm2[1],xmm3[1]
|
||||
; CHECK-NEXT: movdqa %xmm2, %xmm0
|
||||
; CHECK-NEXT: retq
|
||||
;
|
||||
%m = urem <4 x i32> %t, %u
|
||||
ret <4 x i32> %m
|
||||
}
|
||||
|
||||
define <4 x float> @qux(<4 x float> %t, <4 x float> %u) {
|
||||
%m = frem <4 x float> %t, %u
|
||||
ret <4 x float> %m
|
||||
; CHECK-LABEL: qux:
|
||||
; CHECK: # BB#0:
|
||||
; CHECK-NEXT: subq $72, %rsp
|
||||
; CHECK-NEXT: .Ltmp0:
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 80
|
||||
; CHECK-NEXT: movaps %xmm1, {{[0-9]+}}(%rsp) # 16-byte Spill
|
||||
; CHECK-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp) # 16-byte Spill
|
||||
; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[3,1,2,3]
|
||||
; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,1,2,3]
|
||||
; CHECK-NEXT: callq fmodf
|
||||
; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill
|
||||
; CHECK-NEXT: movaps {{[0-9]+}}(%rsp), %xmm0 # 16-byte Reload
|
||||
; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,2,3]
|
||||
; CHECK-NEXT: movaps {{[0-9]+}}(%rsp), %xmm1 # 16-byte Reload
|
||||
; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[1,1,2,3]
|
||||
; CHECK-NEXT: callq fmodf
|
||||
; CHECK-NEXT: unpcklps (%rsp), %xmm0 # 16-byte Folded Reload
|
||||
; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
|
||||
; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill
|
||||
; CHECK-NEXT: movaps {{[0-9]+}}(%rsp), %xmm0 # 16-byte Reload
|
||||
; CHECK-NEXT: movaps {{[0-9]+}}(%rsp), %xmm1 # 16-byte Reload
|
||||
; CHECK-NEXT: callq fmodf
|
||||
; CHECK-NEXT: movaps %xmm0, {{[0-9]+}}(%rsp) # 16-byte Spill
|
||||
; CHECK-NEXT: movapd {{[0-9]+}}(%rsp), %xmm0 # 16-byte Reload
|
||||
; CHECK-NEXT: shufpd {{.*#+}} xmm0 = xmm0[1,0]
|
||||
; CHECK-NEXT: movapd {{[0-9]+}}(%rsp), %xmm1 # 16-byte Reload
|
||||
; CHECK-NEXT: shufpd {{.*#+}} xmm1 = xmm1[1,0]
|
||||
; CHECK-NEXT: callq fmodf
|
||||
; CHECK-NEXT: movaps {{[0-9]+}}(%rsp), %xmm1 # 16-byte Reload
|
||||
; CHECK-NEXT: unpcklps {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
|
||||
; CHECK-NEXT: unpcklps (%rsp), %xmm1 # 16-byte Folded Reload
|
||||
; CHECK-NEXT: # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
|
||||
; CHECK-NEXT: movaps %xmm1, %xmm0
|
||||
; CHECK-NEXT: addq $72, %rsp
|
||||
; CHECK-NEXT: retq
|
||||
;
|
||||
%m = frem <4 x float> %t, %u
|
||||
ret <4 x float> %m
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue