diff options
Diffstat (limited to 'test/CodeGen/X86/vec_floor.ll')
-rw-r--r-- | test/CodeGen/X86/vec_floor.ll | 361 |
1 files changed, 267 insertions, 94 deletions
diff --git a/test/CodeGen/X86/vec_floor.ll b/test/CodeGen/X86/vec_floor.ll index f35c4ab4a76e..4fa79bc7fa8b 100644 --- a/test/CodeGen/X86/vec_floor.ll +++ b/test/CodeGen/X86/vec_floor.ll @@ -1,181 +1,312 @@ -; RUN: llc < %s -mtriple=x86_64-apple-darwin -march=x86 -mcpu=corei7-avx | FileCheck %s +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=x86_64-apple-darwin -mattr=+sse4.1 | FileCheck %s --check-prefix=SSE41 +; RUN: llc < %s -mtriple=x86_64-apple-darwin -mattr=+avx | FileCheck %s --check-prefix=AVX - -define <2 x double> @floor_v2f64(<2 x double> %p) -{ - ; CHECK: floor_v2f64 - ; CHECK: vroundpd +define <2 x double> @floor_v2f64(<2 x double> %p) { +; SSE41-LABEL: floor_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $9, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: floor_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $9, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <2 x double> @llvm.floor.v2f64(<2 x double> %p) ret <2 x double> %t } declare <2 x double> @llvm.floor.v2f64(<2 x double> %p) -define <4 x float> @floor_v4f32(<4 x float> %p) -{ - ; CHECK: floor_v4f32 - ; CHECK: vroundps +define <4 x float> @floor_v4f32(<4 x float> %p) { +; SSE41-LABEL: floor_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $9, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: floor_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $9, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <4 x float> @llvm.floor.v4f32(<4 x float> %p) ret <4 x float> %t } declare <4 x float> @llvm.floor.v4f32(<4 x float> %p) -define <4 x double> @floor_v4f64(<4 x double> %p) -{ - ; CHECK: floor_v4f64 - ; CHECK: vroundpd +define <4 x double> @floor_v4f64(<4 x double> %p){ +; SSE41-LABEL: floor_v4f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $9, %xmm0, %xmm0 +; SSE41-NEXT: roundpd $9, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: floor_v4f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $9, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <4 x double> @llvm.floor.v4f64(<4 x double> %p) ret <4 x double> %t } declare <4 x double> @llvm.floor.v4f64(<4 x double> %p) -define <8 x float> @floor_v8f32(<8 x float> %p) -{ - ; CHECK: floor_v8f32 - ; CHECK: vroundps +define <8 x float> @floor_v8f32(<8 x float> %p) { +; SSE41-LABEL: floor_v8f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $9, %xmm0, %xmm0 +; SSE41-NEXT: roundps $9, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: floor_v8f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $9, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <8 x float> @llvm.floor.v8f32(<8 x float> %p) ret <8 x float> %t } declare <8 x float> @llvm.floor.v8f32(<8 x float> %p) -define <2 x double> @ceil_v2f64(<2 x double> %p) -{ - ; CHECK: ceil_v2f64 - ; CHECK: vroundpd +define <2 x double> @ceil_v2f64(<2 x double> %p) { +; SSE41-LABEL: ceil_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $10, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: ceil_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $10, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <2 x double> @llvm.ceil.v2f64(<2 x double> %p) ret <2 x double> %t } declare <2 x double> @llvm.ceil.v2f64(<2 x double> %p) -define <4 x float> @ceil_v4f32(<4 x float> %p) -{ - ; CHECK: ceil_v4f32 - ; CHECK: vroundps +define <4 x float> @ceil_v4f32(<4 x float> %p) { +; SSE41-LABEL: ceil_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $10, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: ceil_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $10, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <4 x float> @llvm.ceil.v4f32(<4 x float> %p) ret <4 x float> %t } declare <4 x float> @llvm.ceil.v4f32(<4 x float> %p) -define <4 x double> @ceil_v4f64(<4 x double> %p) -{ - ; CHECK: ceil_v4f64 - ; CHECK: vroundpd +define <4 x double> @ceil_v4f64(<4 x double> %p) { +; SSE41-LABEL: ceil_v4f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $10, %xmm0, %xmm0 +; SSE41-NEXT: roundpd $10, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: ceil_v4f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $10, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <4 x double> @llvm.ceil.v4f64(<4 x double> %p) ret <4 x double> %t } declare <4 x double> @llvm.ceil.v4f64(<4 x double> %p) -define <8 x float> @ceil_v8f32(<8 x float> %p) -{ - ; CHECK: ceil_v8f32 - ; CHECK: vroundps +define <8 x float> @ceil_v8f32(<8 x float> %p) { +; SSE41-LABEL: ceil_v8f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $10, %xmm0, %xmm0 +; SSE41-NEXT: roundps $10, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: ceil_v8f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $10, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <8 x float> @llvm.ceil.v8f32(<8 x float> %p) ret <8 x float> %t } declare <8 x float> @llvm.ceil.v8f32(<8 x float> %p) -define <2 x double> @trunc_v2f64(<2 x double> %p) -{ - ; CHECK: trunc_v2f64 - ; CHECK: vroundpd +define <2 x double> @trunc_v2f64(<2 x double> %p) { +; SSE41-LABEL: trunc_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $11, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: trunc_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $11, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <2 x double> @llvm.trunc.v2f64(<2 x double> %p) ret <2 x double> %t } declare <2 x double> @llvm.trunc.v2f64(<2 x double> %p) -define <4 x float> @trunc_v4f32(<4 x float> %p) -{ - ; CHECK: trunc_v4f32 - ; CHECK: vroundps +define <4 x float> @trunc_v4f32(<4 x float> %p) { +; SSE41-LABEL: trunc_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $11, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: trunc_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $11, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <4 x float> @llvm.trunc.v4f32(<4 x float> %p) ret <4 x float> %t } declare <4 x float> @llvm.trunc.v4f32(<4 x float> %p) -define <4 x double> @trunc_v4f64(<4 x double> %p) -{ - ; CHECK: trunc_v4f64 - ; CHECK: vroundpd +define <4 x double> @trunc_v4f64(<4 x double> %p) { +; SSE41-LABEL: trunc_v4f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $11, %xmm0, %xmm0 +; SSE41-NEXT: roundpd $11, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: trunc_v4f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $11, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <4 x double> @llvm.trunc.v4f64(<4 x double> %p) ret <4 x double> %t } declare <4 x double> @llvm.trunc.v4f64(<4 x double> %p) -define <8 x float> @trunc_v8f32(<8 x float> %p) -{ - ; CHECK: trunc_v8f32 - ; CHECK: vroundps +define <8 x float> @trunc_v8f32(<8 x float> %p) { +; SSE41-LABEL: trunc_v8f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $11, %xmm0, %xmm0 +; SSE41-NEXT: roundps $11, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: trunc_v8f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $11, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <8 x float> @llvm.trunc.v8f32(<8 x float> %p) ret <8 x float> %t } declare <8 x float> @llvm.trunc.v8f32(<8 x float> %p) -define <2 x double> @rint_v2f64(<2 x double> %p) -{ - ; CHECK: rint_v2f64 - ; CHECK: vroundpd +define <2 x double> @rint_v2f64(<2 x double> %p) { +; SSE41-LABEL: rint_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $4, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: rint_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $4, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <2 x double> @llvm.rint.v2f64(<2 x double> %p) ret <2 x double> %t } declare <2 x double> @llvm.rint.v2f64(<2 x double> %p) -define <4 x float> @rint_v4f32(<4 x float> %p) -{ - ; CHECK: rint_v4f32 - ; CHECK: vroundps +define <4 x float> @rint_v4f32(<4 x float> %p) { +; SSE41-LABEL: rint_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $4, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: rint_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $4, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <4 x float> @llvm.rint.v4f32(<4 x float> %p) ret <4 x float> %t } declare <4 x float> @llvm.rint.v4f32(<4 x float> %p) -define <4 x double> @rint_v4f64(<4 x double> %p) -{ - ; CHECK: rint_v4f64 - ; CHECK: vroundpd +define <4 x double> @rint_v4f64(<4 x double> %p) { +; SSE41-LABEL: rint_v4f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $4, %xmm0, %xmm0 +; SSE41-NEXT: roundpd $4, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: rint_v4f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $4, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <4 x double> @llvm.rint.v4f64(<4 x double> %p) ret <4 x double> %t } declare <4 x double> @llvm.rint.v4f64(<4 x double> %p) -define <8 x float> @rint_v8f32(<8 x float> %p) -{ - ; CHECK: rint_v8f32 - ; CHECK: vroundps +define <8 x float> @rint_v8f32(<8 x float> %p) { +; SSE41-LABEL: rint_v8f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $4, %xmm0, %xmm0 +; SSE41-NEXT: roundps $4, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: rint_v8f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $4, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <8 x float> @llvm.rint.v8f32(<8 x float> %p) ret <8 x float> %t } declare <8 x float> @llvm.rint.v8f32(<8 x float> %p) -define <2 x double> @nearbyint_v2f64(<2 x double> %p) -{ - ; CHECK: nearbyint_v2f64 - ; CHECK: vroundpd +define <2 x double> @nearbyint_v2f64(<2 x double> %p) { +; SSE41-LABEL: nearbyint_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $12, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: nearbyint_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $12, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <2 x double> @llvm.nearbyint.v2f64(<2 x double> %p) ret <2 x double> %t } declare <2 x double> @llvm.nearbyint.v2f64(<2 x double> %p) -define <4 x float> @nearbyint_v4f32(<4 x float> %p) -{ - ; CHECK: nearbyint_v4f32 - ; CHECK: vroundps +define <4 x float> @nearbyint_v4f32(<4 x float> %p) { +; SSE41-LABEL: nearbyint_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $12, %xmm0, %xmm0 +; SSE41-NEXT: retq +; +; AVX-LABEL: nearbyint_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $12, %xmm0, %xmm0 +; AVX-NEXT: retq %t = call <4 x float> @llvm.nearbyint.v4f32(<4 x float> %p) ret <4 x float> %t } declare <4 x float> @llvm.nearbyint.v4f32(<4 x float> %p) -define <4 x double> @nearbyint_v4f64(<4 x double> %p) -{ - ; CHECK: nearbyint_v4f64 - ; CHECK: vroundpd +define <4 x double> @nearbyint_v4f64(<4 x double> %p) { +; SSE41-LABEL: nearbyint_v4f64: +; SSE41: ## BB#0: +; SSE41-NEXT: roundpd $12, %xmm0, %xmm0 +; SSE41-NEXT: roundpd $12, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: nearbyint_v4f64: +; AVX: ## BB#0: +; AVX-NEXT: vroundpd $12, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <4 x double> @llvm.nearbyint.v4f64(<4 x double> %p) ret <4 x double> %t } declare <4 x double> @llvm.nearbyint.v4f64(<4 x double> %p) -define <8 x float> @nearbyint_v8f32(<8 x float> %p) -{ - ; CHECK: nearbyint_v8f32 - ; CHECK: vroundps +define <8 x float> @nearbyint_v8f32(<8 x float> %p) { +; SSE41-LABEL: nearbyint_v8f32: +; SSE41: ## BB#0: +; SSE41-NEXT: roundps $12, %xmm0, %xmm0 +; SSE41-NEXT: roundps $12, %xmm1, %xmm1 +; SSE41-NEXT: retq +; +; AVX-LABEL: nearbyint_v8f32: +; AVX: ## BB#0: +; AVX-NEXT: vroundps $12, %ymm0, %ymm0 +; AVX-NEXT: retq %t = call <8 x float> @llvm.nearbyint.v8f32(<8 x float> %p) ret <8 x float> %t } @@ -186,43 +317,85 @@ declare <8 x float> @llvm.nearbyint.v8f32(<8 x float> %p) ; define <2 x double> @const_floor_v2f64() { - ; CHECK: const_floor_v2f64 - ; CHECK: movaps {{.*#+}} xmm0 = [-2.000000e+00,2.000000e+00] +; SSE41-LABEL: const_floor_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-2.000000e+00,2.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_floor_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-2.000000e+00,2.000000e+00] +; AVX-NEXT: retq %t = call <2 x double> @llvm.floor.v2f64(<2 x double> <double -1.5, double 2.5>) ret <2 x double> %t } define <4 x float> @const_floor_v4f32() { - ; CHECK: const_floor_v4f32 - ; CHECK: movaps {{.*#+}} xmm0 = [-4.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; SSE41-LABEL: const_floor_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-4.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_floor_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-4.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; AVX-NEXT: retq %t = call <4 x float> @llvm.floor.v4f32(<4 x float> <float -3.5, float 6.0, float -9.0, float 2.5>) ret <4 x float> %t } define <2 x double> @const_ceil_v2f64() { - ; CHECK: const_ceil_v2f64 - ; CHECK: movaps {{.*#+}} xmm0 = [-1.000000e+00,3.000000e+00] +; SSE41-LABEL: const_ceil_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-1.000000e+00,3.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_ceil_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-1.000000e+00,3.000000e+00] +; AVX-NEXT: retq %t = call <2 x double> @llvm.ceil.v2f64(<2 x double> <double -1.5, double 2.5>) ret <2 x double> %t } define <4 x float> @const_ceil_v4f32() { - ; CHECK: const_ceil_v4f32 - ; CHECK: movaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,3.000000e+00] +; SSE41-LABEL: const_ceil_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,3.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_ceil_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,3.000000e+00] +; AVX-NEXT: retq %t = call <4 x float> @llvm.ceil.v4f32(<4 x float> <float -3.5, float 6.0, float -9.0, float 2.5>) ret <4 x float> %t } define <2 x double> @const_trunc_v2f64() { - ; CHECK: const_trunc_v2f64 - ; CHECK: movaps {{.*#+}} xmm0 = [-1.000000e+00,2.000000e+00] +; SSE41-LABEL: const_trunc_v2f64: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-1.000000e+00,2.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_trunc_v2f64: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-1.000000e+00,2.000000e+00] +; AVX-NEXT: retq %t = call <2 x double> @llvm.trunc.v2f64(<2 x double> <double -1.5, double 2.5>) ret <2 x double> %t } define <4 x float> @const_trunc_v4f32() { - ; CHECK: const_trunc_v4f32 - ; CHECK: movaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; SSE41-LABEL: const_trunc_v4f32: +; SSE41: ## BB#0: +; SSE41-NEXT: movaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; SSE41-NEXT: retq +; +; AVX-LABEL: const_trunc_v4f32: +; AVX: ## BB#0: +; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [-3.000000e+00,6.000000e+00,-9.000000e+00,2.000000e+00] +; AVX-NEXT: retq %t = call <4 x float> @llvm.trunc.v4f32(<4 x float> <float -3.5, float 6.0, float -9.0, float 2.5>) ret <4 x float> %t } |