test/CodeGen/X86/masked_memop.ll

   1 ; RUN: llc -mtriple=x86_64-apple-darwin  -mcpu=knl < %s | FileCheck %s -check-prefix=AVX512
   2 ; RUN: llc -mtriple=x86_64-apple-darwin  -mcpu=core-avx2 < %s | FileCheck %s -check-prefix=AVX2
   3
   4 ; AVX512-LABEL: test1
   5 ; AVX512: vmovdqu32       (%rdi), %zmm0 {%k1} {z}
   6
   7 ; AVX2-LABEL: test1
   8 ; AVX2: vpmaskmovd      32(%rdi)
   9 ; AVX2: vpmaskmovd      (%rdi)
  10 ; AVX2-NOT: blend
  11
  12 define <16 x i32> @test1(<16 x i32> %trigger, i8* %addr) {
  13   %mask = icmp eq <16 x i32> %trigger, zeroinitializer
  14   %res = call <16 x i32> @llvm.masked.load.v16i32(i8* %addr, <16 x i32>undef, i32 4, <16 x i1>%mask)
  15   ret <16 x i32> %res
  16 }
  17
  18 ; AVX512-LABEL: test2
  19 ; AVX512: vmovdqu32       (%rdi), %zmm0 {%k1} {z}
  20
  21 ; AVX2-LABEL: test2
  22 ; AVX2: vpmaskmovd      {{.*}}(%rdi)
  23 ; AVX2: vpmaskmovd      {{.*}}(%rdi)
  24 ; AVX2-NOT: blend
  25 define <16 x i32> @test2(<16 x i32> %trigger, i8* %addr) {
  26   %mask = icmp eq <16 x i32> %trigger, zeroinitializer
  27   %res = call <16 x i32> @llvm.masked.load.v16i32(i8* %addr, <16 x i32>zeroinitializer, i32 4, <16 x i1>%mask)
  28   ret <16 x i32> %res
  29 }
  30
  31 ; AVX512-LABEL: test3
  32 ; AVX512: vmovdqu32       %zmm1, (%rdi) {%k1}
  33
  34 define void @test3(<16 x i32> %trigger, i8* %addr, <16 x i32> %val) {
  35   %mask = icmp eq <16 x i32> %trigger, zeroinitializer
  36   call void @llvm.masked.store.v16i32(i8* %addr, <16 x i32>%val, i32 4, <16 x i1>%mask)
  37   ret void
  38 }
  39
  40 ; AVX512-LABEL: test4
  41 ; AVX512: vmovups       (%rdi), %zmm{{.*{%k[1-7]}}}
  42
  43 ; AVX2-LABEL: test4
  44 ; AVX2: vmaskmovps      {{.*}}(%rdi)
  45 ; AVX2: vmaskmovps      {{.*}}(%rdi)
  46 ; AVX2: blend
  47 define <16 x float> @test4(<16 x i32> %trigger, i8* %addr, <16 x float> %dst) {
  48   %mask = icmp eq <16 x i32> %trigger, zeroinitializer
  49   %res = call <16 x float> @llvm.masked.load.v16f32(i8* %addr, <16 x float>%dst, i32 4, <16 x i1>%mask)
  50   ret <16 x float> %res
  51 }
  52
  53 ; AVX512-LABEL: test5
  54 ; AVX512: vmovupd (%rdi), %zmm1 {%k1}
  55
  56 ; AVX2-LABEL: test5
  57 ; AVX2: vmaskmovpd
  58 ; AVX2: vblendvpd
  59 ; AVX2: vmaskmovpd
  60 ; AVX2: vblendvpd
  61 define <8 x double> @test5(<8 x i32> %trigger, i8* %addr, <8 x double> %dst) {
  62   %mask = icmp eq <8 x i32> %trigger, zeroinitializer
  63   %res = call <8 x double> @llvm.masked.load.v8f64(i8* %addr, <8 x double>%dst, i32 4, <8 x i1>%mask)
  64   ret <8 x double> %res
  65 }
  66
  67 ; AVX2-LABEL: test6
  68 ; AVX2: vmaskmovpd
  69 ; AVX2: vblendvpd
  70 define <2 x double> @test6(<2 x i64> %trigger, i8* %addr, <2 x double> %dst) {
  71   %mask = icmp eq <2 x i64> %trigger, zeroinitializer
  72   %res = call <2 x double> @llvm.masked.load.v2f64(i8* %addr, <2 x double>%dst, i32 4, <2 x i1>%mask)
  73   ret <2 x double> %res
  74 }
  75
  76 ; AVX2-LABEL: test7
  77 ; AVX2: vmaskmovps      {{.*}}(%rdi)
  78 ; AVX2: blend
  79 define <4 x float> @test7(<4 x i32> %trigger, i8* %addr, <4 x float> %dst) {
  80   %mask = icmp eq <4 x i32> %trigger, zeroinitializer
  81   %res = call <4 x float> @llvm.masked.load.v4f32(i8* %addr, <4 x float>%dst, i32 4, <4 x i1>%mask)
  82   ret <4 x float> %res
  83 }
  84
  85 ; AVX2-LABEL: test8
  86 ; AVX2: vpmaskmovd      {{.*}}(%rdi)
  87 ; AVX2: blend
  88 define <4 x i32> @test8(<4 x i32> %trigger, i8* %addr, <4 x i32> %dst) {
  89   %mask = icmp eq <4 x i32> %trigger, zeroinitializer
  90   %res = call <4 x i32> @llvm.masked.load.v4i32(i8* %addr, <4 x i32>%dst, i32 4, <4 x i1>%mask)
  91   ret <4 x i32> %res
  92 }
  93
  94 ; AVX2-LABEL: test9
  95 ; AVX2: vpmaskmovd %xmm
  96 define void @test9(<4 x i32> %trigger, i8* %addr, <4 x i32> %val) {
  97   %mask = icmp eq <4 x i32> %trigger, zeroinitializer
  98   call void @llvm.masked.store.v4i32(i8* %addr, <4 x i32>%val, i32 4, <4 x i1>%mask)
  99   ret void
 100 }
 101
 102 ; AVX2-LABEL: test10
 103 ; AVX2: vmaskmovpd    (%rdi), %ymm
 104 ; AVX2: blend
 105 define <4 x double> @test10(<4 x i32> %trigger, i8* %addr, <4 x double> %dst) {
 106   %mask = icmp eq <4 x i32> %trigger, zeroinitializer
 107   %res = call <4 x double> @llvm.masked.load.v4f64(i8* %addr, <4 x double>%dst, i32 4, <4 x i1>%mask)
 108   ret <4 x double> %res
 109 }
 110
 111 ; AVX2-LABEL: test11
 112 ; AVX2: vmaskmovps
 113 ; AVX2: vblendvps
 114 define <8 x float> @test11(<8 x i32> %trigger, i8* %addr, <8 x float> %dst) {
 115   %mask = icmp eq <8 x i32> %trigger, zeroinitializer
 116   %res = call <8 x float> @llvm.masked.load.v8f32(i8* %addr, <8 x float>%dst, i32 4, <8 x i1>%mask)
 117   ret <8 x float> %res
 118 }
 119
 120 ; AVX2-LABEL: test12
 121 ; AVX2: vpmaskmovd %ymm
 122 define void @test12(<8 x i32> %trigger, i8* %addr, <8 x i32> %val) {
 123   %mask = icmp eq <8 x i32> %trigger, zeroinitializer
 124   call void @llvm.masked.store.v8i32(i8* %addr, <8 x i32>%val, i32 4, <8 x i1>%mask)
 125   ret void
 126 }
 127
 128 declare <16 x i32> @llvm.masked.load.v16i32(i8*, <16 x i32>, i32, <16 x i1>)
 129 declare <4 x i32> @llvm.masked.load.v4i32(i8*, <4 x i32>, i32, <4 x i1>)
 130 declare void @llvm.masked.store.v16i32(i8*, <16 x i32>, i32, <16 x i1>)
 131 declare void @llvm.masked.store.v8i32(i8*, <8 x i32>, i32, <8 x i1>)
 132 declare void @llvm.masked.store.v4i32(i8*, <4 x i32>, i32, <4 x i1>)
 133 declare <16 x float> @llvm.masked.load.v16f32(i8*, <16 x float>, i32, <16 x i1>)
 134 declare <8 x float> @llvm.masked.load.v8f32(i8*, <8 x float>, i32, <8 x i1>)
 135 declare <4 x float> @llvm.masked.load.v4f32(i8*, <4 x float>, i32, <4 x i1>)
 136 declare void @llvm.masked.store.v16f32(i8*, <16 x float>, i32, <16 x i1>)
 137 declare <8 x double> @llvm.masked.load.v8f64(i8*, <8 x double>, i32, <8 x i1>)
 138 declare <4 x double> @llvm.masked.load.v4f64(i8*, <4 x double>, i32, <4 x i1>)
 139 declare <2 x double> @llvm.masked.load.v2f64(i8*, <2 x double>, i32, <2 x i1>)
 140 declare void @llvm.masked.store.v8f64(i8*, <8 x double>, i32, <8 x i1>)
 141 declare void @llvm.masked.store.v2f64(i8*, <2 x double>, i32, <2 x i1>)
 142 declare void @llvm.masked.store.v2i64(i8*, <2 x i64>, i32, <2 x i1>)
 143