| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=x86_64-apple-darwin -mattr=avx512f,avx512bw,avx512vl < %s | FileCheck %s |
| |
| ; Skylake-avx512 target supports masked load/store for i8 and i16 vectors |
| |
| define <16 x i8> @test_mask_load_16xi8(<16 x i1> %mask, ptr %addr, <16 x i8> %val) { |
| ; CHECK-LABEL: test_mask_load_16xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu8 (%rdi), %xmm0 {%k1} {z} |
| ; CHECK-NEXT: retq |
| %res = call <16 x i8> @llvm.masked.load.v16i8.p0(ptr %addr, i32 4, <16 x i1>%mask, <16 x i8> undef) |
| ret <16 x i8> %res |
| } |
| declare <16 x i8> @llvm.masked.load.v16i8.p0(ptr, i32, <16 x i1>, <16 x i8>) |
| |
| define <32 x i8> @test_mask_load_32xi8(<32 x i1> %mask, ptr %addr, <32 x i8> %val) { |
| ; CHECK-LABEL: test_mask_load_32xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %ymm0, %ymm0 |
| ; CHECK-NEXT: vpmovb2m %ymm0, %k1 |
| ; CHECK-NEXT: vpblendmb (%rdi), %ymm1, %ymm0 {%k1} |
| ; CHECK-NEXT: retq |
| %res = call <32 x i8> @llvm.masked.load.v32i8.p0(ptr %addr, i32 4, <32 x i1>%mask, <32 x i8> %val) |
| ret <32 x i8> %res |
| } |
| declare <32 x i8> @llvm.masked.load.v32i8.p0(ptr, i32, <32 x i1>, <32 x i8>) |
| |
| define <64 x i8> @test_mask_load_64xi8(<64 x i1> %mask, ptr %addr, <64 x i8> %val) { |
| ; CHECK-LABEL: test_mask_load_64xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %zmm0, %zmm0 |
| ; CHECK-NEXT: vpmovb2m %zmm0, %k1 |
| ; CHECK-NEXT: vpblendmb (%rdi), %zmm1, %zmm0 {%k1} |
| ; CHECK-NEXT: retq |
| %res = call <64 x i8> @llvm.masked.load.v64i8.p0(ptr %addr, i32 4, <64 x i1>%mask, <64 x i8> %val) |
| ret <64 x i8> %res |
| } |
| declare <64 x i8> @llvm.masked.load.v64i8.p0(ptr, i32, <64 x i1>, <64 x i8>) |
| |
| define <8 x i16> @test_mask_load_8xi16(<8 x i1> %mask, ptr %addr, <8 x i16> %val) { |
| ; CHECK-LABEL: test_mask_load_8xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $15, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovw2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 (%rdi), %xmm0 {%k1} {z} |
| ; CHECK-NEXT: retq |
| %res = call <8 x i16> @llvm.masked.load.v8i16.p0(ptr %addr, i32 4, <8 x i1>%mask, <8 x i16> undef) |
| ret <8 x i16> %res |
| } |
| declare <8 x i16> @llvm.masked.load.v8i16.p0(ptr, i32, <8 x i1>, <8 x i16>) |
| |
| define <16 x i16> @test_mask_load_16xi16(<16 x i1> %mask, ptr %addr, <16 x i16> %val) { |
| ; CHECK-LABEL: test_mask_load_16xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 (%rdi), %ymm0 {%k1} {z} |
| ; CHECK-NEXT: retq |
| %res = call <16 x i16> @llvm.masked.load.v16i16.p0(ptr %addr, i32 4, <16 x i1>%mask, <16 x i16> zeroinitializer) |
| ret <16 x i16> %res |
| } |
| declare <16 x i16> @llvm.masked.load.v16i16.p0(ptr, i32, <16 x i1>, <16 x i16>) |
| |
| define <32 x i16> @test_mask_load_32xi16(<32 x i1> %mask, ptr %addr, <32 x i16> %val) { |
| ; CHECK-LABEL: test_mask_load_32xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %ymm0, %ymm0 |
| ; CHECK-NEXT: vpmovb2m %ymm0, %k1 |
| ; CHECK-NEXT: vpblendmw (%rdi), %zmm1, %zmm0 {%k1} |
| ; CHECK-NEXT: retq |
| %res = call <32 x i16> @llvm.masked.load.v32i16.p0(ptr %addr, i32 4, <32 x i1>%mask, <32 x i16> %val) |
| ret <32 x i16> %res |
| } |
| declare <32 x i16> @llvm.masked.load.v32i16.p0(ptr, i32, <32 x i1>, <32 x i16>) |
| |
| define void @test_mask_store_16xi8(<16 x i1> %mask, ptr %addr, <16 x i8> %val) { |
| ; CHECK-LABEL: test_mask_store_16xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu8 %xmm1, (%rdi) {%k1} |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v16i8.p0(<16 x i8> %val, ptr %addr, i32 4, <16 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v16i8.p0(<16 x i8>, ptr, i32, <16 x i1>) |
| |
| define void @test_mask_store_32xi8(<32 x i1> %mask, ptr %addr, <32 x i8> %val) { |
| ; CHECK-LABEL: test_mask_store_32xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %ymm0, %ymm0 |
| ; CHECK-NEXT: vpmovb2m %ymm0, %k1 |
| ; CHECK-NEXT: vmovdqu8 %ymm1, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v32i8.p0(<32 x i8> %val, ptr %addr, i32 4, <32 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v32i8.p0(<32 x i8>, ptr, i32, <32 x i1>) |
| |
| define void @test_mask_store_64xi8(<64 x i1> %mask, ptr %addr, <64 x i8> %val) { |
| ; CHECK-LABEL: test_mask_store_64xi8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %zmm0, %zmm0 |
| ; CHECK-NEXT: vpmovb2m %zmm0, %k1 |
| ; CHECK-NEXT: vmovdqu8 %zmm1, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v64i8.p0(<64 x i8> %val, ptr %addr, i32 4, <64 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v64i8.p0(<64 x i8>, ptr, i32, <64 x i1>) |
| |
| define void @test_mask_store_8xi16(<8 x i1> %mask, ptr %addr, <8 x i16> %val) { |
| ; CHECK-LABEL: test_mask_store_8xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $15, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovw2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 %xmm1, (%rdi) {%k1} |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v8i16.p0(<8 x i16> %val, ptr %addr, i32 4, <8 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v8i16.p0(<8 x i16>, ptr, i32, <8 x i1>) |
| |
| define void @test_mask_store_16xi16(<16 x i1> %mask, ptr %addr, <16 x i16> %val) { |
| ; CHECK-LABEL: test_mask_store_16xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 %ymm1, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v16i16.p0(<16 x i16> %val, ptr %addr, i32 4, <16 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v16i16.p0(<16 x i16>, ptr, i32, <16 x i1>) |
| |
| define void @test_mask_store_32xi16(<32 x i1> %mask, ptr %addr, <32 x i16> %val) { |
| ; CHECK-LABEL: test_mask_store_32xi16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %ymm0, %ymm0 |
| ; CHECK-NEXT: vpmovb2m %ymm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 %zmm1, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v32i16.p0(<32 x i16> %val, ptr %addr, i32 4, <32 x i1>%mask) |
| ret void |
| } |
| |
| declare void @llvm.masked.store.v32i16.p0(<32 x i16>, ptr, i32, <32 x i1>) |
| |
| ; Make sure we scalarize masked loads of f16. |
| define <16 x half> @test_mask_load_16xf16(<16 x i1> %mask, ptr %addr) { |
| ; CHECK-LABEL: test_mask_load_16xf16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 (%rdi), %ymm0 {%k1} {z} |
| ; CHECK-NEXT: retq |
| %res = call <16 x half> @llvm.masked.load.v16f16(ptr %addr, i32 4, <16 x i1>%mask, <16 x half> zeroinitializer) |
| ret <16 x half> %res |
| } |
| declare <16 x half> @llvm.masked.load.v16f16(ptr, i32, <16 x i1>, <16 x half>) |
| |
| ; Make sure we scalarize masked stores of f16. |
| define void @test_mask_store_16xf16(<16 x i1> %mask, ptr %addr, <16 x half> %val) { |
| ; CHECK-LABEL: test_mask_store_16xf16: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vpsllw $7, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpmovb2m %xmm0, %k1 |
| ; CHECK-NEXT: vmovdqu16 %ymm1, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| call void @llvm.masked.store.v16f16.p0(<16 x half> %val, ptr %addr, i32 4, <16 x i1>%mask) |
| ret void |
| } |
| declare void @llvm.masked.store.v16f16.p0(<16 x half>, ptr, i32, <16 x i1>) |
| |
| ; PR198154 |
| define void @test_maskz_store_v192i8(ptr %p0, <192 x i1> %mask) nounwind { |
| ; CHECK-LABEL: test_maskz_store_v192i8: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: vmovd %esi, %xmm0 |
| ; CHECK-NEXT: vpinsrb $1, %edx, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $2, %ecx, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $3, %r8d, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $4, %r9d, %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $5, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $6, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $7, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $8, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $9, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $10, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $11, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $12, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $13, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $14, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vpinsrb $15, {{[0-9]+}}(%rsp), %xmm0, %xmm0 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vpmovqw %zmm1, %xmm1 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1 |
| ; CHECK-NEXT: vpmovwb %ymm1, %xmm1 |
| ; CHECK-NEXT: vinserti128 $1, %xmm1, %ymm0, %ymm0 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm3 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm4 |
| ; CHECK-NEXT: vpmovqw %zmm3, %xmm3 |
| ; CHECK-NEXT: vpmovqw %zmm4, %xmm4 |
| ; CHECK-NEXT: vinserti128 $1, %xmm4, %ymm3, %ymm3 |
| ; CHECK-NEXT: vpmovqw %zmm1, %xmm1 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm3, %zmm1, %zmm1 |
| ; CHECK-NEXT: vpmovwb %zmm1, %ymm1 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm1, %zmm0, %zmm1 |
| ; CHECK-NEXT: vpbroadcastb {{.*#+}} zmm0 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] |
| ; CHECK-NEXT: vptestmb %zmm0, %zmm1, %k1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm3 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm4 |
| ; CHECK-NEXT: vpmovqw %zmm3, %xmm3 |
| ; CHECK-NEXT: vpmovqw %zmm4, %xmm4 |
| ; CHECK-NEXT: vinserti128 $1, %xmm4, %ymm3, %ymm3 |
| ; CHECK-NEXT: vpmovqw %zmm1, %xmm1 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm3, %zmm1, %zmm1 |
| ; CHECK-NEXT: vpmovwb %zmm1, %ymm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm3 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm4 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm5 |
| ; CHECK-NEXT: vpmovqw %zmm4, %xmm4 |
| ; CHECK-NEXT: vpmovqw %zmm5, %xmm5 |
| ; CHECK-NEXT: vinserti128 $1, %xmm5, %ymm4, %ymm4 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vpmovqw %zmm3, %xmm3 |
| ; CHECK-NEXT: vinserti128 $1, %xmm3, %ymm2, %ymm2 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm4, %zmm2, %zmm2 |
| ; CHECK-NEXT: vpmovwb %zmm2, %ymm2 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm2, %zmm1, %zmm1 |
| ; CHECK-NEXT: vptestmb %zmm0, %zmm1, %k2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm3 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm4 |
| ; CHECK-NEXT: vpmovqw %zmm3, %xmm3 |
| ; CHECK-NEXT: vpmovqw %zmm4, %xmm4 |
| ; CHECK-NEXT: vinserti128 $1, %xmm4, %ymm3, %ymm3 |
| ; CHECK-NEXT: vpmovqw %zmm1, %xmm1 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm3, %zmm1, %zmm1 |
| ; CHECK-NEXT: vpmovwb %zmm1, %ymm1 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm2 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm3 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm4 |
| ; CHECK-NEXT: vmovdqu64 {{[0-9]+}}(%rsp), %zmm5 |
| ; CHECK-NEXT: vpmovqw %zmm4, %xmm4 |
| ; CHECK-NEXT: vpmovqw %zmm5, %xmm5 |
| ; CHECK-NEXT: vinserti128 $1, %xmm5, %ymm4, %ymm4 |
| ; CHECK-NEXT: vpmovqw %zmm2, %xmm2 |
| ; CHECK-NEXT: vpmovqw %zmm3, %xmm3 |
| ; CHECK-NEXT: vinserti128 $1, %xmm3, %ymm2, %ymm2 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm4, %zmm2, %zmm2 |
| ; CHECK-NEXT: vpmovwb %zmm2, %ymm2 |
| ; CHECK-NEXT: vinserti64x4 $1, %ymm2, %zmm1, %zmm1 |
| ; CHECK-NEXT: vptestmb %zmm0, %zmm1, %k3 |
| ; CHECK-NEXT: vpxor %xmm0, %xmm0, %xmm0 |
| ; CHECK-NEXT: vmovdqu8 %zmm0, 64(%rdi) {%k3} |
| ; CHECK-NEXT: vmovdqu8 %zmm0, 128(%rdi) {%k2} |
| ; CHECK-NEXT: vmovdqu8 %zmm0, (%rdi) {%k1} |
| ; CHECK-NEXT: vzeroupper |
| ; CHECK-NEXT: retq |
| tail call void @llvm.masked.store.v192i8.p0(<192 x i8> zeroinitializer, ptr %p0, <192 x i1> %mask) |
| ret void |
| } |