diff options
author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-05-23 12:39:06 +0000 |
---|---|---|
committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-05-23 12:39:06 +0000 |
commit | 55494e1f78c557c20a374ce1105a0679d2d61bb5 (patch) | |
tree | c83176613f7f47417429e8525a7c3520b43adda4 /test/CodeGen/X86 | |
parent | a466b7ce58c770935bf497a5bbd1d0633b304786 (diff) |
[X86][AVX] Regenerated avx upgraded intrinsics tests
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@270422 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86')
-rw-r--r-- | test/CodeGen/X86/avx-intrinsics-x86-upgrade.ll | 118 |
1 files changed, 77 insertions, 41 deletions
diff --git a/test/CodeGen/X86/avx-intrinsics-x86-upgrade.ll b/test/CodeGen/X86/avx-intrinsics-x86-upgrade.ll index 4867869863e..05442b7b747 100644 --- a/test/CodeGen/X86/avx-intrinsics-x86-upgrade.ll +++ b/test/CodeGen/X86/avx-intrinsics-x86-upgrade.ll @@ -1,26 +1,33 @@ -; RUN: llc < %s -mtriple=x86_64-apple-darwin -march=x86 -mcpu=corei7-avx | FileCheck %s +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: llc < %s -mtriple=i686-apple-darwin -mattr=avx | FileCheck %s -; We don't check any vinsertf128 variant with immediate 0 because that's just a blend. +; We don't check any vinsertf128 variant with immediate 0 because that's just a blend. define <4 x double> @test_x86_avx_vinsertf128_pd_256_1(<4 x double> %a0, <2 x double> %a1) { -; CHECK-LABEL: test_x86_avx_vinsertf128_pd_256_1: -; CHECK: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-LABEL: test_x86_avx_vinsertf128_pd_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-NEXT: retl %res = call <4 x double> @llvm.x86.avx.vinsertf128.pd.256(<4 x double> %a0, <2 x double> %a1, i8 1) ret <4 x double> %res } declare <4 x double> @llvm.x86.avx.vinsertf128.pd.256(<4 x double>, <2 x double>, i8) nounwind readnone define <8 x float> @test_x86_avx_vinsertf128_ps_256_1(<8 x float> %a0, <4 x float> %a1) { -; CHECK-LABEL: test_x86_avx_vinsertf128_ps_256_1: -; CHECK: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-LABEL: test_x86_avx_vinsertf128_ps_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-NEXT: retl %res = call <8 x float> @llvm.x86.avx.vinsertf128.ps.256(<8 x float> %a0, <4 x float> %a1, i8 1) ret <8 x float> %res } declare <8 x float> @llvm.x86.avx.vinsertf128.ps.256(<8 x float>, <4 x float>, i8) nounwind readnone define <8 x i32> @test_x86_avx_vinsertf128_si_256_1(<8 x i32> %a0, <4 x i32> %a1) { -; CHECK-LABEL: test_x86_avx_vinsertf128_si_256_1: -; CHECK: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-LABEL: test_x86_avx_vinsertf128_si_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-NEXT: retl %res = call <8 x i32> @llvm.x86.avx.vinsertf128.si.256(<8 x i32> %a0, <4 x i32> %a1, i8 1) ret <8 x i32> %res } @@ -29,34 +36,45 @@ define <8 x i32> @test_x86_avx_vinsertf128_si_256_1(<8 x i32> %a0, <4 x i32> %a1 ; of a vinsertf128 $0 which should be optimized into a blend, so just check that it's ; not a vinsertf128 $1. define <8 x i32> @test_x86_avx_vinsertf128_si_256_2(<8 x i32> %a0, <4 x i32> %a1) { -; CHECK-LABEL: test_x86_avx_vinsertf128_si_256_2: -; CHECK-NOT: vinsertf128 $1, %xmm1, %ymm0, %ymm0 +; CHECK-LABEL: test_x86_avx_vinsertf128_si_256_2: +; CHECK: ## BB#0: +; CHECK-NEXT: vblendpd {{.*#+}} ymm0 = ymm1[0,1],ymm0[2,3] +; CHECK-NEXT: retl %res = call <8 x i32> @llvm.x86.avx.vinsertf128.si.256(<8 x i32> %a0, <4 x i32> %a1, i8 2) ret <8 x i32> %res } declare <8 x i32> @llvm.x86.avx.vinsertf128.si.256(<8 x i32>, <4 x i32>, i8) nounwind readnone -; We don't check any vextractf128 variant with immediate 0 because that's just a move. +; We don't check any vextractf128 variant with immediate 0 because that's just a move. define <2 x double> @test_x86_avx_vextractf128_pd_256_1(<4 x double> %a0) { -; CHECK-LABEL: test_x86_avx_vextractf128_pd_256_1: -; CHECK: vextractf128 $1, %ymm0, %xmm0 +; CHECK-LABEL: test_x86_avx_vextractf128_pd_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vextractf128 $1, %ymm0, %xmm0 +; CHECK-NEXT: vzeroupper +; CHECK-NEXT: retl %res = call <2 x double> @llvm.x86.avx.vextractf128.pd.256(<4 x double> %a0, i8 1) ret <2 x double> %res } declare <2 x double> @llvm.x86.avx.vextractf128.pd.256(<4 x double>, i8) nounwind readnone define <4 x float> @test_x86_avx_vextractf128_ps_256_1(<8 x float> %a0) { -; CHECK-LABEL: test_x86_avx_vextractf128_ps_256_1: -; CHECK: vextractf128 $1, %ymm0, %xmm0 +; CHECK-LABEL: test_x86_avx_vextractf128_ps_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vextractf128 $1, %ymm0, %xmm0 +; CHECK-NEXT: vzeroupper +; CHECK-NEXT: retl %res = call <4 x float> @llvm.x86.avx.vextractf128.ps.256(<8 x float> %a0, i8 1) ret <4 x float> %res } declare <4 x float> @llvm.x86.avx.vextractf128.ps.256(<8 x float>, i8) nounwind readnone define <4 x i32> @test_x86_avx_vextractf128_si_256_1(<8 x i32> %a0) { -; CHECK-LABEL: test_x86_avx_vextractf128_si_256_1: -; CHECK: vextractf128 $1, %ymm0, %xmm0 +; CHECK-LABEL: test_x86_avx_vextractf128_si_256_1: +; CHECK: ## BB#0: +; CHECK-NEXT: vextractf128 $1, %ymm0, %xmm0 +; CHECK-NEXT: vzeroupper +; CHECK-NEXT: retl %res = call <4 x i32> @llvm.x86.avx.vextractf128.si.256(<8 x i32> %a0, i8 1) ret <4 x i32> %res } @@ -66,16 +84,20 @@ declare <4 x i32> @llvm.x86.avx.vextractf128.si.256(<8 x i32>, i8) nounwind read ; of a vextractf128 $0 which should be optimized away, so just check that it's ; not a vextractf128 of any kind. define <2 x double> @test_x86_avx_extractf128_pd_256_2(<4 x double> %a0) { -; CHECK-LABEL: test_x86_avx_extractf128_pd_256_2: -; CHECK-NOT: vextractf128 +; CHECK-LABEL: test_x86_avx_extractf128_pd_256_2: +; CHECK: ## BB#0: +; CHECK-NEXT: vzeroupper +; CHECK-NEXT: retl %res = call <2 x double> @llvm.x86.avx.vextractf128.pd.256(<4 x double> %a0, i8 2) ret <2 x double> %res } define <4 x double> @test_x86_avx_blend_pd_256(<4 x double> %a0, <4 x double> %a1) { -; CHECK-LABEL: test_x86_avx_blend_pd_256: -; CHECK: vblendpd +; CHECK-LABEL: test_x86_avx_blend_pd_256: +; CHECK: ## BB#0: +; CHECK-NEXT: vblendpd {{.*#+}} ymm0 = ymm1[0,1,2],ymm0[3] +; CHECK-NEXT: retl %res = call <4 x double> @llvm.x86.avx.blend.pd.256(<4 x double> %a0, <4 x double> %a1, i32 7) ; <<4 x double>> [#uses=1] ret <4 x double> %res } @@ -83,8 +105,10 @@ declare <4 x double> @llvm.x86.avx.blend.pd.256(<4 x double>, <4 x double>, i32) define <8 x float> @test_x86_avx_blend_ps_256(<8 x float> %a0, <8 x float> %a1) { -; CHECK-LABEL: test_x86_avx_blend_ps_256: -; CHECK: vblendps +; CHECK-LABEL: test_x86_avx_blend_ps_256: +; CHECK: ## BB#0: +; CHECK-NEXT: vblendps {{.*#+}} ymm0 = ymm1[0,1,2],ymm0[3,4,5,6,7] +; CHECK-NEXT: retl %res = call <8 x float> @llvm.x86.avx.blend.ps.256(<8 x float> %a0, <8 x float> %a1, i32 7) ; <<8 x float>> [#uses=1] ret <8 x float> %res } @@ -92,8 +116,10 @@ declare <8 x float> @llvm.x86.avx.blend.ps.256(<8 x float>, <8 x float>, i32) no define <8 x float> @test_x86_avx_dp_ps_256(<8 x float> %a0, <8 x float> %a1) { -; CHECK-LABEL: test_x86_avx_dp_ps_256: -; CHECK: vdpps +; CHECK-LABEL: test_x86_avx_dp_ps_256: +; CHECK: ## BB#0: +; CHECK-NEXT: vdpps $7, %ymm1, %ymm0, %ymm0 +; CHECK-NEXT: retl %res = call <8 x float> @llvm.x86.avx.dp.ps.256(<8 x float> %a0, <8 x float> %a1, i32 7) ; <<8 x float>> [#uses=1] ret <8 x float> %res } @@ -101,8 +127,10 @@ declare <8 x float> @llvm.x86.avx.dp.ps.256(<8 x float>, <8 x float>, i32) nounw define <2 x i64> @test_x86_sse2_psll_dq(<2 x i64> %a0) { -; CHECK-LABEL: test_x86_sse2_psll_dq: -; CHECK: vpslldq {{.*#+}} xmm0 = zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14] +; CHECK-LABEL: test_x86_sse2_psll_dq: +; CHECK: ## BB#0: +; CHECK-NEXT: vpslldq {{.*#+}} xmm0 = zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14] +; CHECK-NEXT: retl %res = call <2 x i64> @llvm.x86.sse2.psll.dq(<2 x i64> %a0, i32 8) ; <<2 x i64>> [#uses=1] ret <2 x i64> %res } @@ -110,8 +138,10 @@ declare <2 x i64> @llvm.x86.sse2.psll.dq(<2 x i64>, i32) nounwind readnone define <2 x i64> @test_x86_sse2_psrl_dq(<2 x i64> %a0) { -; CHECK-LABEL: test_x86_sse2_psrl_dq: -; CHECK: vpsrldq {{.*#+}} xmm0 = xmm0[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],zero +; CHECK-LABEL: test_x86_sse2_psrl_dq: +; CHECK: ## BB#0: +; CHECK-NEXT: vpsrldq {{.*#+}} xmm0 = xmm0[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],zero +; CHECK-NEXT: retl %res = call <2 x i64> @llvm.x86.sse2.psrl.dq(<2 x i64> %a0, i32 8) ; <<2 x i64>> [#uses=1] ret <2 x i64> %res } @@ -119,8 +149,10 @@ declare <2 x i64> @llvm.x86.sse2.psrl.dq(<2 x i64>, i32) nounwind readnone define <2 x double> @test_x86_sse41_blendpd(<2 x double> %a0, <2 x double> %a1) { -; CHECK-LABEL: test_x86_sse41_blendpd: -; CHECK: vblendpd +; CHECK-LABEL: test_x86_sse41_blendpd: +; CHECK: ## BB#0: +; CHECK-NEXT: vblendpd {{.*#+}} xmm0 = xmm0[0],xmm1[1] +; CHECK-NEXT: retl %res = call <2 x double> @llvm.x86.sse41.blendpd(<2 x double> %a0, <2 x double> %a1, i8 2) ; <<2 x double>> [#uses=1] ret <2 x double> %res } @@ -128,8 +160,10 @@ declare <2 x double> @llvm.x86.sse41.blendpd(<2 x double>, <2 x double>, i8) nou define <4 x float> @test_x86_sse41_blendps(<4 x float> %a0, <4 x float> %a1) { -; CHECK-LABEL: test_x86_sse41_blendps: -; CHECK: vblendps +; CHECK-LABEL: test_x86_sse41_blendps: +; CHECK: ## BB#0: +; CHECK-NEXT: vblendps {{.*#+}} xmm0 = xmm1[0,1,2],xmm0[3] +; CHECK-NEXT: retl %res = call <4 x float> @llvm.x86.sse41.blendps(<4 x float> %a0, <4 x float> %a1, i8 7) ; <<4 x float>> [#uses=1] ret <4 x float> %res } @@ -137,8 +171,10 @@ declare <4 x float> @llvm.x86.sse41.blendps(<4 x float>, <4 x float>, i8) nounwi define <8 x i16> @test_x86_sse41_pblendw(<8 x i16> %a0, <8 x i16> %a1) { -; CHECK-LABEL: test_x86_sse41_pblendw: -; CHECK: vpblendw +; CHECK-LABEL: test_x86_sse41_pblendw: +; CHECK: ## BB#0: +; CHECK-NEXT: vpblendw {{.*#+}} xmm0 = xmm1[0,1,2],xmm0[3,4,5,6,7] +; CHECK-NEXT: retl %res = call <8 x i16> @llvm.x86.sse41.pblendw(<8 x i16> %a0, <8 x i16> %a1, i8 7) ; <<8 x i16>> [#uses=1] ret <8 x i16> %res } @@ -147,7 +183,7 @@ declare <8 x i16> @llvm.x86.sse41.pblendw(<8 x i16>, <8 x i16>, i8) nounwind rea define <4 x i32> @test_x86_sse41_pmovsxbd(<16 x i8> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxbd: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxbd %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <4 x i32> @llvm.x86.sse41.pmovsxbd(<16 x i8> %a0) ; <<4 x i32>> [#uses=1] @@ -158,7 +194,7 @@ declare <4 x i32> @llvm.x86.sse41.pmovsxbd(<16 x i8>) nounwind readnone define <2 x i64> @test_x86_sse41_pmovsxbq(<16 x i8> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxbq: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxbq %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <2 x i64> @llvm.x86.sse41.pmovsxbq(<16 x i8> %a0) ; <<2 x i64>> [#uses=1] @@ -169,7 +205,7 @@ declare <2 x i64> @llvm.x86.sse41.pmovsxbq(<16 x i8>) nounwind readnone define <8 x i16> @test_x86_sse41_pmovsxbw(<16 x i8> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxbw: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxbw %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <8 x i16> @llvm.x86.sse41.pmovsxbw(<16 x i8> %a0) ; <<8 x i16>> [#uses=1] @@ -180,7 +216,7 @@ declare <8 x i16> @llvm.x86.sse41.pmovsxbw(<16 x i8>) nounwind readnone define <2 x i64> @test_x86_sse41_pmovsxdq(<4 x i32> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxdq: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxdq %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <2 x i64> @llvm.x86.sse41.pmovsxdq(<4 x i32> %a0) ; <<2 x i64>> [#uses=1] @@ -191,7 +227,7 @@ declare <2 x i64> @llvm.x86.sse41.pmovsxdq(<4 x i32>) nounwind readnone define <4 x i32> @test_x86_sse41_pmovsxwd(<8 x i16> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxwd: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxwd %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <4 x i32> @llvm.x86.sse41.pmovsxwd(<8 x i16> %a0) ; <<4 x i32>> [#uses=1] @@ -202,7 +238,7 @@ declare <4 x i32> @llvm.x86.sse41.pmovsxwd(<8 x i16>) nounwind readnone define <2 x i64> @test_x86_sse41_pmovsxwq(<8 x i16> %a0) { ; CHECK-LABEL: test_x86_sse41_pmovsxwq: -; CHECK: # BB#0: +; CHECK: ## BB#0: ; CHECK-NEXT: vpmovsxwq %xmm0, %xmm0 ; CHECK-NEXT: retl %res = call <2 x i64> @llvm.x86.sse41.pmovsxwq(<8 x i16> %a0) ; <<2 x i64>> [#uses=1] |