test/CodeGen/X86/avx512vl-logic.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl -mattr=+avx512vl | FileCheck %s --check-prefix=CHECK --check-prefix=KNL
   3 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=skx -mattr=+avx512vl | FileCheck %s --check-prefix=CHECK --check-prefix=SKX
   4
   5 ; 256-bit
   6
   7 define <8 x i32> @vpandd256(<8 x i32> %a, <8 x i32> %b) nounwind uwtable readnone ssp {
   8 ; CHECK-LABEL: vpandd256:
   9 ; CHECK:       ## %bb.0: ## %entry
  10 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to8}, %ymm0, %ymm0
  11 ; CHECK-NEXT:    vpand %ymm1, %ymm0, %ymm0
  12 ; CHECK-NEXT:    retq
  13 entry:
  14   ; Force the execution domain with an add.
  15   %a2 = add <8 x i32> %a, <i32 2, i32 2, i32 2, i32 2, i32 2, i32 2, i32 2, i32 2>
  16   %x = and <8 x i32> %a2, %b
  17   ret <8 x i32> %x
  18 }
  19
  20 define <8 x i32> @vpandnd256(<8 x i32> %a, <8 x i32> %b) nounwind uwtable readnone ssp {
  21 ; CHECK-LABEL: vpandnd256:
  22 ; CHECK:       ## %bb.0: ## %entry
  23 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to8}, %ymm0, %ymm1
  24 ; CHECK-NEXT:    vpandn %ymm1, %ymm0, %ymm0
  25 ; CHECK-NEXT:    retq
  26 entry:
  27   ; Force the execution domain with an add.
  28   %a2 = add <8 x i32> %a, <i32 3, i32 3, i32 3, i32 3, i32 3, i32 3, i32 3, i32 3>
  29   %b2 = xor <8 x i32> %a, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1>
  30   %x = and <8 x i32> %a2, %b2
  31   ret <8 x i32> %x
  32 }
  33
  34 define <8 x i32> @vpord256(<8 x i32> %a, <8 x i32> %b) nounwind uwtable readnone ssp {
  35 ; CHECK-LABEL: vpord256:
  36 ; CHECK:       ## %bb.0: ## %entry
  37 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to8}, %ymm0, %ymm0
  38 ; CHECK-NEXT:    vpor %ymm1, %ymm0, %ymm0
  39 ; CHECK-NEXT:    retq
  40 entry:
  41   ; Force the execution domain with an add.
  42   %a2 = add <8 x i32> %a, <i32 4, i32 4, i32 4, i32 4, i32 4, i32 4, i32 4, i32 4>
  43   %x = or <8 x i32> %a2, %b
  44   ret <8 x i32> %x
  45 }
  46
  47 define <8 x i32> @vpxord256(<8 x i32> %a, <8 x i32> %b) nounwind uwtable readnone ssp {
  48 ; CHECK-LABEL: vpxord256:
  49 ; CHECK:       ## %bb.0: ## %entry
  50 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to8}, %ymm0, %ymm0
  51 ; CHECK-NEXT:    vpxor %ymm1, %ymm0, %ymm0
  52 ; CHECK-NEXT:    retq
  53 entry:
  54   ; Force the execution domain with an add.
  55   %a2 = add <8 x i32> %a, <i32 5, i32 5, i32 5, i32 5, i32 5, i32 5, i32 5, i32 5>
  56   %x = xor <8 x i32> %a2, %b
  57   ret <8 x i32> %x
  58 }
  59
  60 define <4 x i64> @vpandq256(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp {
  61 ; CHECK-LABEL: vpandq256:
  62 ; CHECK:       ## %bb.0: ## %entry
  63 ; CHECK-NEXT:    vpaddq {{.*}}(%rip){1to4}, %ymm0, %ymm0
  64 ; CHECK-NEXT:    vpand %ymm1, %ymm0, %ymm0
  65 ; CHECK-NEXT:    retq
  66 entry:
  67   ; Force the execution domain with an add.
  68   %a2 = add <4 x i64> %a, <i64 6, i64 6, i64 6, i64 6>
  69   %x = and <4 x i64> %a2, %b
  70   ret <4 x i64> %x
  71 }
  72
  73 define <4 x i64> @vpandnq256(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp {
  74 ; CHECK-LABEL: vpandnq256:
  75 ; CHECK:       ## %bb.0: ## %entry
  76 ; CHECK-NEXT:    vpaddq {{.*}}(%rip){1to4}, %ymm0, %ymm0
  77 ; CHECK-NEXT:    vpandn %ymm0, %ymm1, %ymm0
  78 ; CHECK-NEXT:    retq
  79 entry:
  80   ; Force the execution domain with an add.
  81   %a2 = add <4 x i64> %a, <i64 7, i64 7, i64 7, i64 7>
  82   %b2 = xor <4 x i64> %b, <i64 -1, i64 -1, i64 -1, i64 -1>
  83   %x = and <4 x i64> %a2, %b2
  84   ret <4 x i64> %x
  85 }
  86
  87 define <4 x i64> @vporq256(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp {
  88 ; CHECK-LABEL: vporq256:
  89 ; CHECK:       ## %bb.0: ## %entry
  90 ; CHECK-NEXT:    vpaddq {{.*}}(%rip){1to4}, %ymm0, %ymm0
  91 ; CHECK-NEXT:    vpor %ymm1, %ymm0, %ymm0
  92 ; CHECK-NEXT:    retq
  93 entry:
  94   ; Force the execution domain with an add.
  95   %a2 = add <4 x i64> %a, <i64 21, i64 21, i64 21, i64 21>
  96   %x = or <4 x i64> %a2, %b
  97   ret <4 x i64> %x
  98 }
  99
 100 define <4 x i64> @vpxorq256(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp {
 101 ; CHECK-LABEL: vpxorq256:
 102 ; CHECK:       ## %bb.0: ## %entry
 103 ; CHECK-NEXT:    vpaddq {{.*}}(%rip){1to4}, %ymm0, %ymm0
 104 ; CHECK-NEXT:    vpxor %ymm1, %ymm0, %ymm0
 105 ; CHECK-NEXT:    retq
 106 entry:
 107   ; Force the execution domain with an add.
 108   %a2 = add <4 x i64> %a, <i64 22, i64 22, i64 22, i64 22>
 109   %x = xor <4 x i64> %a2, %b
 110   ret <4 x i64> %x
 111 }
 112
 113 ; 128-bit
 114
 115 define <4 x i32> @vpandd128(<4 x i32> %a, <4 x i32> %b) nounwind uwtable readnone ssp {
 116 ; CHECK-LABEL: vpandd128:
 117 ; CHECK:       ## %bb.0: ## %entry
 118 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to4}, %xmm0, %xmm0
 119 ; CHECK-NEXT:    vpand %xmm1, %xmm0, %xmm0
 120 ; CHECK-NEXT:    retq
 121 entry:
 122   ; Force the execution domain with an add.
 123   %a2 = add <4 x i32> %a, <i32 8, i32 8, i32 8, i32 8>
 124   %x = and <4 x i32> %a2, %b
 125   ret <4 x i32> %x
 126 }
 127
 128 define <4 x i32> @vpandnd128(<4 x i32> %a, <4 x i32> %b) nounwind uwtable readnone ssp {
 129 ; CHECK-LABEL: vpandnd128:
 130 ; CHECK:       ## %bb.0: ## %entry
 131 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to4}, %xmm0, %xmm0
 132 ; CHECK-NEXT:    vpandn %xmm0, %xmm1, %xmm0
 133 ; CHECK-NEXT:    retq
 134 entry:
 135   ; Force the execution domain with an add.
 136   %a2 = add <4 x i32> %a, <i32 9, i32 9, i32 9, i32 9>
 137   %b2 = xor <4 x i32> %b, <i32 -1, i32 -1, i32 -1, i32 -1>
 138   %x = and <4 x i32> %a2, %b2
 139   ret <4 x i32> %x
 140 }
 141
 142 define <4 x i32> @vpord128(<4 x i32> %a, <4 x i32> %b) nounwind uwtable readnone ssp {
 143 ; CHECK-LABEL: vpord128:
 144 ; CHECK:       ## %bb.0: ## %entry
 145 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to4}, %xmm0, %xmm0
 146 ; CHECK-NEXT:    vpor %xmm1, %xmm0, %xmm0
 147 ; CHECK-NEXT:    retq
 148 entry:
 149   ; Force the execution domain with an add.
 150   %a2 = add <4 x i32> %a, <i32 10, i32 10, i32 10, i32 10>
 151   %x = or <4 x i32> %a2, %b
 152   ret <4 x i32> %x
 153 }
 154
 155 define <4 x i32> @vpxord128(<4 x i32> %a, <4 x i32> %b) nounwind uwtable readnone ssp {
 156 ; CHECK-LABEL: vpxord128:
 157 ; CHECK:       ## %bb.0: ## %entry
 158 ; CHECK-NEXT:    vpaddd {{.*}}(%rip){1to4}, %xmm0, %xmm0
 159 ; CHECK-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 160 ; CHECK-NEXT:    retq
 161 entry:
 162   ; Force the execution domain with an add.
 163   %a2 = add <4 x i32> %a, <i32 11, i32 11, i32 11, i32 11>
 164   %x = xor <4 x i32> %a2, %b
 165   ret <4 x i32> %x
 166 }
 167
 168 define <2 x i64> @vpandq128(<2 x i64> %a, <2 x i64> %b) nounwind uwtable readnone ssp {
 169 ; CHECK-LABEL: vpandq128:
 170 ; CHECK:       ## %bb.0: ## %entry
 171 ; CHECK-NEXT:    vpaddq {{.*}}(%rip), %xmm0, %xmm0
 172 ; CHECK-NEXT:    vpand %xmm1, %xmm0, %xmm0
 173 ; CHECK-NEXT:    retq
 174 entry:
 175   ; Force the execution domain with an add.
 176   %a2 = add <2 x i64> %a, <i64 12, i64 12>
 177   %x = and <2 x i64> %a2, %b
 178   ret <2 x i64> %x
 179 }
 180
 181 define <2 x i64> @vpandnq128(<2 x i64> %a, <2 x i64> %b) nounwind uwtable readnone ssp {
 182 ; CHECK-LABEL: vpandnq128:
 183 ; CHECK:       ## %bb.0: ## %entry
 184 ; CHECK-NEXT:    vpaddq {{.*}}(%rip), %xmm0, %xmm0
 185 ; CHECK-NEXT:    vpandn %xmm0, %xmm1, %xmm0
 186 ; CHECK-NEXT:    retq
 187 entry:
 188   ; Force the execution domain with an add.
 189   %a2 = add <2 x i64> %a, <i64 13, i64 13>
 190   %b2 = xor <2 x i64> %b, <i64 -1, i64 -1>
 191   %x = and <2 x i64> %a2, %b2
 192   ret <2 x i64> %x
 193 }
 194
 195 define <2 x i64> @vporq128(<2 x i64> %a, <2 x i64> %b) nounwind uwtable readnone ssp {
 196 ; CHECK-LABEL: vporq128:
 197 ; CHECK:       ## %bb.0: ## %entry
 198 ; CHECK-NEXT:    vpaddq {{.*}}(%rip), %xmm0, %xmm0
 199 ; CHECK-NEXT:    vpor %xmm1, %xmm0, %xmm0
 200 ; CHECK-NEXT:    retq
 201 entry:
 202   ; Force the execution domain with an add.
 203   %a2 = add <2 x i64> %a, <i64 14, i64 14>
 204   %x = or <2 x i64> %a2, %b
 205   ret <2 x i64> %x
 206 }
 207
 208 define <2 x i64> @vpxorq128(<2 x i64> %a, <2 x i64> %b) nounwind uwtable readnone ssp {
 209 ; CHECK-LABEL: vpxorq128:
 210 ; CHECK:       ## %bb.0: ## %entry
 211 ; CHECK-NEXT:    vpaddq {{.*}}(%rip), %xmm0, %xmm0
 212 ; CHECK-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 213 ; CHECK-NEXT:    retq
 214 entry:
 215   ; Force the execution domain with an add.
 216   %a2 = add <2 x i64> %a, <i64 15, i64 15>
 217   %x = xor <2 x i64> %a2, %b
 218   ret <2 x i64> %x
 219 }
 220
 221
 222 define <4 x double> @test_mm256_mask_andnot_pd(<4 x double> %__W, i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 223 ; KNL-LABEL: test_mm256_mask_andnot_pd:
 224 ; KNL:       ## %bb.0: ## %entry
 225 ; KNL-NEXT:    kmovw %edi, %k1
 226 ; KNL-NEXT:    vpandnq %ymm2, %ymm1, %ymm0 {%k1}
 227 ; KNL-NEXT:    retq
 228 ;
 229 ; SKX-LABEL: test_mm256_mask_andnot_pd:
 230 ; SKX:       ## %bb.0: ## %entry
 231 ; SKX-NEXT:    kmovd %edi, %k1
 232 ; SKX-NEXT:    vandnpd %ymm2, %ymm1, %ymm0 {%k1}
 233 ; SKX-NEXT:    retq
 234 entry:
 235   %0 = bitcast <4 x double> %__A to <4 x i64>
 236   %neg.i.i = xor <4 x i64> %0, <i64 -1, i64 -1, i64 -1, i64 -1>
 237   %1 = bitcast <4 x double> %__B to <4 x i64>
 238   %and.i.i = and <4 x i64> %1, %neg.i.i
 239   %2 = bitcast <4 x i64> %and.i.i to <4 x double>
 240   %3 = bitcast i8 %__U to <8 x i1>
 241   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 242   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> %__W
 243   ret <4 x double> %4
 244 }
 245
 246 define <4 x double> @test_mm256_maskz_andnot_pd(i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 247 ; KNL-LABEL: test_mm256_maskz_andnot_pd:
 248 ; KNL:       ## %bb.0: ## %entry
 249 ; KNL-NEXT:    kmovw %edi, %k1
 250 ; KNL-NEXT:    vpandnq %ymm1, %ymm0, %ymm0 {%k1} {z}
 251 ; KNL-NEXT:    retq
 252 ;
 253 ; SKX-LABEL: test_mm256_maskz_andnot_pd:
 254 ; SKX:       ## %bb.0: ## %entry
 255 ; SKX-NEXT:    kmovd %edi, %k1
 256 ; SKX-NEXT:    vandnpd %ymm1, %ymm0, %ymm0 {%k1} {z}
 257 ; SKX-NEXT:    retq
 258 entry:
 259   %0 = bitcast <4 x double> %__A to <4 x i64>
 260   %neg.i.i = xor <4 x i64> %0, <i64 -1, i64 -1, i64 -1, i64 -1>
 261   %1 = bitcast <4 x double> %__B to <4 x i64>
 262   %and.i.i = and <4 x i64> %1, %neg.i.i
 263   %2 = bitcast <4 x i64> %and.i.i to <4 x double>
 264   %3 = bitcast i8 %__U to <8 x i1>
 265   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 266   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> zeroinitializer
 267   ret <4 x double> %4
 268 }
 269
 270 define <2 x double> @test_mm_mask_andnot_pd(<2 x double> %__W, i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 271 ; KNL-LABEL: test_mm_mask_andnot_pd:
 272 ; KNL:       ## %bb.0: ## %entry
 273 ; KNL-NEXT:    kmovw %edi, %k1
 274 ; KNL-NEXT:    vpandnq %xmm2, %xmm1, %xmm0 {%k1}
 275 ; KNL-NEXT:    retq
 276 ;
 277 ; SKX-LABEL: test_mm_mask_andnot_pd:
 278 ; SKX:       ## %bb.0: ## %entry
 279 ; SKX-NEXT:    kmovd %edi, %k1
 280 ; SKX-NEXT:    vandnpd %xmm2, %xmm1, %xmm0 {%k1}
 281 ; SKX-NEXT:    retq
 282 entry:
 283   %0 = bitcast <2 x double> %__A to <2 x i64>
 284   %neg.i.i = xor <2 x i64> %0, <i64 -1, i64 -1>
 285   %1 = bitcast <2 x double> %__B to <2 x i64>
 286   %and.i.i = and <2 x i64> %1, %neg.i.i
 287   %2 = bitcast <2 x i64> %and.i.i to <2 x double>
 288   %3 = bitcast i8 %__U to <8 x i1>
 289   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 290   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> %__W
 291   ret <2 x double> %4
 292 }
 293
 294 define <2 x double> @test_mm_maskz_andnot_pd(i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 295 ; KNL-LABEL: test_mm_maskz_andnot_pd:
 296 ; KNL:       ## %bb.0: ## %entry
 297 ; KNL-NEXT:    kmovw %edi, %k1
 298 ; KNL-NEXT:    vpandnq %xmm1, %xmm0, %xmm0 {%k1} {z}
 299 ; KNL-NEXT:    retq
 300 ;
 301 ; SKX-LABEL: test_mm_maskz_andnot_pd:
 302 ; SKX:       ## %bb.0: ## %entry
 303 ; SKX-NEXT:    kmovd %edi, %k1
 304 ; SKX-NEXT:    vandnpd %xmm1, %xmm0, %xmm0 {%k1} {z}
 305 ; SKX-NEXT:    retq
 306 entry:
 307   %0 = bitcast <2 x double> %__A to <2 x i64>
 308   %neg.i.i = xor <2 x i64> %0, <i64 -1, i64 -1>
 309   %1 = bitcast <2 x double> %__B to <2 x i64>
 310   %and.i.i = and <2 x i64> %1, %neg.i.i
 311   %2 = bitcast <2 x i64> %and.i.i to <2 x double>
 312   %3 = bitcast i8 %__U to <8 x i1>
 313   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 314   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> zeroinitializer
 315   ret <2 x double> %4
 316 }
 317
 318 define <8 x float> @test_mm256_mask_andnot_ps(<8 x float> %__W, i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 319 ; KNL-LABEL: test_mm256_mask_andnot_ps:
 320 ; KNL:       ## %bb.0: ## %entry
 321 ; KNL-NEXT:    kmovw %edi, %k1
 322 ; KNL-NEXT:    vpandnd %ymm2, %ymm1, %ymm0 {%k1}
 323 ; KNL-NEXT:    retq
 324 ;
 325 ; SKX-LABEL: test_mm256_mask_andnot_ps:
 326 ; SKX:       ## %bb.0: ## %entry
 327 ; SKX-NEXT:    kmovd %edi, %k1
 328 ; SKX-NEXT:    vandnps %ymm2, %ymm1, %ymm0 {%k1}
 329 ; SKX-NEXT:    retq
 330 entry:
 331   %0 = bitcast <8 x float> %__A to <8 x i32>
 332   %neg.i.i = xor <8 x i32> %0, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1>
 333   %1 = bitcast <8 x float> %__B to <8 x i32>
 334   %and.i.i = and <8 x i32> %1, %neg.i.i
 335   %2 = bitcast <8 x i32> %and.i.i to <8 x float>
 336   %3 = bitcast i8 %__U to <8 x i1>
 337   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> %__W
 338   ret <8 x float> %4
 339 }
 340
 341 define <8 x float> @test_mm256_maskz_andnot_ps(i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 342 ; KNL-LABEL: test_mm256_maskz_andnot_ps:
 343 ; KNL:       ## %bb.0: ## %entry
 344 ; KNL-NEXT:    kmovw %edi, %k1
 345 ; KNL-NEXT:    vpandnd %ymm1, %ymm0, %ymm0 {%k1} {z}
 346 ; KNL-NEXT:    retq
 347 ;
 348 ; SKX-LABEL: test_mm256_maskz_andnot_ps:
 349 ; SKX:       ## %bb.0: ## %entry
 350 ; SKX-NEXT:    kmovd %edi, %k1
 351 ; SKX-NEXT:    vandnps %ymm1, %ymm0, %ymm0 {%k1} {z}
 352 ; SKX-NEXT:    retq
 353 entry:
 354   %0 = bitcast <8 x float> %__A to <8 x i32>
 355   %neg.i.i = xor <8 x i32> %0, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1>
 356   %1 = bitcast <8 x float> %__B to <8 x i32>
 357   %and.i.i = and <8 x i32> %1, %neg.i.i
 358   %2 = bitcast <8 x i32> %and.i.i to <8 x float>
 359   %3 = bitcast i8 %__U to <8 x i1>
 360   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> zeroinitializer
 361   ret <8 x float> %4
 362 }
 363
 364 define <4 x float> @test_mm_mask_andnot_ps(<4 x float> %__W, i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 365 ; KNL-LABEL: test_mm_mask_andnot_ps:
 366 ; KNL:       ## %bb.0: ## %entry
 367 ; KNL-NEXT:    kmovw %edi, %k1
 368 ; KNL-NEXT:    vpandnd %xmm2, %xmm1, %xmm0 {%k1}
 369 ; KNL-NEXT:    retq
 370 ;
 371 ; SKX-LABEL: test_mm_mask_andnot_ps:
 372 ; SKX:       ## %bb.0: ## %entry
 373 ; SKX-NEXT:    kmovd %edi, %k1
 374 ; SKX-NEXT:    vandnps %xmm2, %xmm1, %xmm0 {%k1}
 375 ; SKX-NEXT:    retq
 376 entry:
 377   %0 = bitcast <4 x float> %__A to <4 x i32>
 378   %neg.i.i = xor <4 x i32> %0, <i32 -1, i32 -1, i32 -1, i32 -1>
 379   %1 = bitcast <4 x float> %__B to <4 x i32>
 380   %and.i.i = and <4 x i32> %1, %neg.i.i
 381   %2 = bitcast <4 x i32> %and.i.i to <4 x float>
 382   %3 = bitcast i8 %__U to <8 x i1>
 383   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 384   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> %__W
 385   ret <4 x float> %4
 386 }
 387
 388 define <4 x float> @test_mm_maskz_andnot_ps(i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 389 ; KNL-LABEL: test_mm_maskz_andnot_ps:
 390 ; KNL:       ## %bb.0: ## %entry
 391 ; KNL-NEXT:    kmovw %edi, %k1
 392 ; KNL-NEXT:    vpandnd %xmm1, %xmm0, %xmm0 {%k1} {z}
 393 ; KNL-NEXT:    retq
 394 ;
 395 ; SKX-LABEL: test_mm_maskz_andnot_ps:
 396 ; SKX:       ## %bb.0: ## %entry
 397 ; SKX-NEXT:    kmovd %edi, %k1
 398 ; SKX-NEXT:    vandnps %xmm1, %xmm0, %xmm0 {%k1} {z}
 399 ; SKX-NEXT:    retq
 400 entry:
 401   %0 = bitcast <4 x float> %__A to <4 x i32>
 402   %neg.i.i = xor <4 x i32> %0, <i32 -1, i32 -1, i32 -1, i32 -1>
 403   %1 = bitcast <4 x float> %__B to <4 x i32>
 404   %and.i.i = and <4 x i32> %1, %neg.i.i
 405   %2 = bitcast <4 x i32> %and.i.i to <4 x float>
 406   %3 = bitcast i8 %__U to <8 x i1>
 407   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 408   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> zeroinitializer
 409   ret <4 x float> %4
 410 }
 411
 412 define <4 x double> @test_mm256_mask_and_pd(<4 x double> %__W, i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 413 ; KNL-LABEL: test_mm256_mask_and_pd:
 414 ; KNL:       ## %bb.0: ## %entry
 415 ; KNL-NEXT:    kmovw %edi, %k1
 416 ; KNL-NEXT:    vpandq %ymm1, %ymm2, %ymm0 {%k1}
 417 ; KNL-NEXT:    retq
 418 ;
 419 ; SKX-LABEL: test_mm256_mask_and_pd:
 420 ; SKX:       ## %bb.0: ## %entry
 421 ; SKX-NEXT:    kmovd %edi, %k1
 422 ; SKX-NEXT:    vandpd %ymm1, %ymm2, %ymm0 {%k1}
 423 ; SKX-NEXT:    retq
 424 entry:
 425   %0 = bitcast <4 x double> %__A to <4 x i64>
 426   %1 = bitcast <4 x double> %__B to <4 x i64>
 427   %and.i.i = and <4 x i64> %1, %0
 428   %2 = bitcast <4 x i64> %and.i.i to <4 x double>
 429   %3 = bitcast i8 %__U to <8 x i1>
 430   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 431   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> %__W
 432   ret <4 x double> %4
 433 }
 434
 435 define <4 x double> @test_mm256_maskz_and_pd(i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 436 ; KNL-LABEL: test_mm256_maskz_and_pd:
 437 ; KNL:       ## %bb.0: ## %entry
 438 ; KNL-NEXT:    kmovw %edi, %k1
 439 ; KNL-NEXT:    vpandq %ymm0, %ymm1, %ymm0 {%k1} {z}
 440 ; KNL-NEXT:    retq
 441 ;
 442 ; SKX-LABEL: test_mm256_maskz_and_pd:
 443 ; SKX:       ## %bb.0: ## %entry
 444 ; SKX-NEXT:    kmovd %edi, %k1
 445 ; SKX-NEXT:    vandpd %ymm0, %ymm1, %ymm0 {%k1} {z}
 446 ; SKX-NEXT:    retq
 447 entry:
 448   %0 = bitcast <4 x double> %__A to <4 x i64>
 449   %1 = bitcast <4 x double> %__B to <4 x i64>
 450   %and.i.i = and <4 x i64> %1, %0
 451   %2 = bitcast <4 x i64> %and.i.i to <4 x double>
 452   %3 = bitcast i8 %__U to <8 x i1>
 453   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 454   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> zeroinitializer
 455   ret <4 x double> %4
 456 }
 457
 458 define <2 x double> @test_mm_mask_and_pd(<2 x double> %__W, i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 459 ; KNL-LABEL: test_mm_mask_and_pd:
 460 ; KNL:       ## %bb.0: ## %entry
 461 ; KNL-NEXT:    kmovw %edi, %k1
 462 ; KNL-NEXT:    vpandq %xmm1, %xmm2, %xmm0 {%k1}
 463 ; KNL-NEXT:    retq
 464 ;
 465 ; SKX-LABEL: test_mm_mask_and_pd:
 466 ; SKX:       ## %bb.0: ## %entry
 467 ; SKX-NEXT:    kmovd %edi, %k1
 468 ; SKX-NEXT:    vandpd %xmm1, %xmm2, %xmm0 {%k1}
 469 ; SKX-NEXT:    retq
 470 entry:
 471   %0 = bitcast <2 x double> %__A to <2 x i64>
 472   %1 = bitcast <2 x double> %__B to <2 x i64>
 473   %and.i.i = and <2 x i64> %1, %0
 474   %2 = bitcast <2 x i64> %and.i.i to <2 x double>
 475   %3 = bitcast i8 %__U to <8 x i1>
 476   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 477   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> %__W
 478   ret <2 x double> %4
 479 }
 480
 481 define <2 x double> @test_mm_maskz_and_pd(i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 482 ; KNL-LABEL: test_mm_maskz_and_pd:
 483 ; KNL:       ## %bb.0: ## %entry
 484 ; KNL-NEXT:    kmovw %edi, %k1
 485 ; KNL-NEXT:    vpandq %xmm0, %xmm1, %xmm0 {%k1} {z}
 486 ; KNL-NEXT:    retq
 487 ;
 488 ; SKX-LABEL: test_mm_maskz_and_pd:
 489 ; SKX:       ## %bb.0: ## %entry
 490 ; SKX-NEXT:    kmovd %edi, %k1
 491 ; SKX-NEXT:    vandpd %xmm0, %xmm1, %xmm0 {%k1} {z}
 492 ; SKX-NEXT:    retq
 493 entry:
 494   %0 = bitcast <2 x double> %__A to <2 x i64>
 495   %1 = bitcast <2 x double> %__B to <2 x i64>
 496   %and.i.i = and <2 x i64> %1, %0
 497   %2 = bitcast <2 x i64> %and.i.i to <2 x double>
 498   %3 = bitcast i8 %__U to <8 x i1>
 499   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 500   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> zeroinitializer
 501   ret <2 x double> %4
 502 }
 503
 504 define <8 x float> @test_mm256_mask_and_ps(<8 x float> %__W, i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 505 ; KNL-LABEL: test_mm256_mask_and_ps:
 506 ; KNL:       ## %bb.0: ## %entry
 507 ; KNL-NEXT:    kmovw %edi, %k1
 508 ; KNL-NEXT:    vpandd %ymm1, %ymm2, %ymm0 {%k1}
 509 ; KNL-NEXT:    retq
 510 ;
 511 ; SKX-LABEL: test_mm256_mask_and_ps:
 512 ; SKX:       ## %bb.0: ## %entry
 513 ; SKX-NEXT:    kmovd %edi, %k1
 514 ; SKX-NEXT:    vandps %ymm1, %ymm2, %ymm0 {%k1}
 515 ; SKX-NEXT:    retq
 516 entry:
 517   %0 = bitcast <8 x float> %__A to <8 x i32>
 518   %1 = bitcast <8 x float> %__B to <8 x i32>
 519   %and.i.i = and <8 x i32> %1, %0
 520   %2 = bitcast <8 x i32> %and.i.i to <8 x float>
 521   %3 = bitcast i8 %__U to <8 x i1>
 522   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> %__W
 523   ret <8 x float> %4
 524 }
 525
 526 define <8 x float> @test_mm256_maskz_and_ps(i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 527 ; KNL-LABEL: test_mm256_maskz_and_ps:
 528 ; KNL:       ## %bb.0: ## %entry
 529 ; KNL-NEXT:    kmovw %edi, %k1
 530 ; KNL-NEXT:    vpandd %ymm0, %ymm1, %ymm0 {%k1} {z}
 531 ; KNL-NEXT:    retq
 532 ;
 533 ; SKX-LABEL: test_mm256_maskz_and_ps:
 534 ; SKX:       ## %bb.0: ## %entry
 535 ; SKX-NEXT:    kmovd %edi, %k1
 536 ; SKX-NEXT:    vandps %ymm0, %ymm1, %ymm0 {%k1} {z}
 537 ; SKX-NEXT:    retq
 538 entry:
 539   %0 = bitcast <8 x float> %__A to <8 x i32>
 540   %1 = bitcast <8 x float> %__B to <8 x i32>
 541   %and.i.i = and <8 x i32> %1, %0
 542   %2 = bitcast <8 x i32> %and.i.i to <8 x float>
 543   %3 = bitcast i8 %__U to <8 x i1>
 544   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> zeroinitializer
 545   ret <8 x float> %4
 546 }
 547
 548 define <4 x float> @test_mm_mask_and_ps(<4 x float> %__W, i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 549 ; KNL-LABEL: test_mm_mask_and_ps:
 550 ; KNL:       ## %bb.0: ## %entry
 551 ; KNL-NEXT:    kmovw %edi, %k1
 552 ; KNL-NEXT:    vpandd %xmm1, %xmm2, %xmm0 {%k1}
 553 ; KNL-NEXT:    retq
 554 ;
 555 ; SKX-LABEL: test_mm_mask_and_ps:
 556 ; SKX:       ## %bb.0: ## %entry
 557 ; SKX-NEXT:    kmovd %edi, %k1
 558 ; SKX-NEXT:    vandps %xmm1, %xmm2, %xmm0 {%k1}
 559 ; SKX-NEXT:    retq
 560 entry:
 561   %0 = bitcast <4 x float> %__A to <4 x i32>
 562   %1 = bitcast <4 x float> %__B to <4 x i32>
 563   %and.i.i = and <4 x i32> %1, %0
 564   %2 = bitcast <4 x i32> %and.i.i to <4 x float>
 565   %3 = bitcast i8 %__U to <8 x i1>
 566   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 567   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> %__W
 568   ret <4 x float> %4
 569 }
 570
 571 define <4 x float> @test_mm_maskz_and_ps(i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 572 ; KNL-LABEL: test_mm_maskz_and_ps:
 573 ; KNL:       ## %bb.0: ## %entry
 574 ; KNL-NEXT:    kmovw %edi, %k1
 575 ; KNL-NEXT:    vpandd %xmm0, %xmm1, %xmm0 {%k1} {z}
 576 ; KNL-NEXT:    retq
 577 ;
 578 ; SKX-LABEL: test_mm_maskz_and_ps:
 579 ; SKX:       ## %bb.0: ## %entry
 580 ; SKX-NEXT:    kmovd %edi, %k1
 581 ; SKX-NEXT:    vandps %xmm0, %xmm1, %xmm0 {%k1} {z}
 582 ; SKX-NEXT:    retq
 583 entry:
 584   %0 = bitcast <4 x float> %__A to <4 x i32>
 585   %1 = bitcast <4 x float> %__B to <4 x i32>
 586   %and.i.i = and <4 x i32> %1, %0
 587   %2 = bitcast <4 x i32> %and.i.i to <4 x float>
 588   %3 = bitcast i8 %__U to <8 x i1>
 589   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 590   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> zeroinitializer
 591   ret <4 x float> %4
 592 }
 593
 594 define <4 x double> @test_mm256_mask_xor_pd(<4 x double> %__W, i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 595 ; KNL-LABEL: test_mm256_mask_xor_pd:
 596 ; KNL:       ## %bb.0: ## %entry
 597 ; KNL-NEXT:    kmovw %edi, %k1
 598 ; KNL-NEXT:    vpxorq %ymm2, %ymm1, %ymm0 {%k1}
 599 ; KNL-NEXT:    retq
 600 ;
 601 ; SKX-LABEL: test_mm256_mask_xor_pd:
 602 ; SKX:       ## %bb.0: ## %entry
 603 ; SKX-NEXT:    kmovd %edi, %k1
 604 ; SKX-NEXT:    vxorpd %ymm2, %ymm1, %ymm0 {%k1}
 605 ; SKX-NEXT:    retq
 606 entry:
 607   %0 = bitcast <4 x double> %__A to <4 x i64>
 608   %1 = bitcast <4 x double> %__B to <4 x i64>
 609   %xor.i.i = xor <4 x i64> %0, %1
 610   %2 = bitcast <4 x i64> %xor.i.i to <4 x double>
 611   %3 = bitcast i8 %__U to <8 x i1>
 612   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 613   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> %__W
 614   ret <4 x double> %4
 615 }
 616
 617 define <4 x double> @test_mm256_maskz_xor_pd(i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 618 ; KNL-LABEL: test_mm256_maskz_xor_pd:
 619 ; KNL:       ## %bb.0: ## %entry
 620 ; KNL-NEXT:    kmovw %edi, %k1
 621 ; KNL-NEXT:    vpxorq %ymm1, %ymm0, %ymm0 {%k1} {z}
 622 ; KNL-NEXT:    retq
 623 ;
 624 ; SKX-LABEL: test_mm256_maskz_xor_pd:
 625 ; SKX:       ## %bb.0: ## %entry
 626 ; SKX-NEXT:    kmovd %edi, %k1
 627 ; SKX-NEXT:    vxorpd %ymm1, %ymm0, %ymm0 {%k1} {z}
 628 ; SKX-NEXT:    retq
 629 entry:
 630   %0 = bitcast <4 x double> %__A to <4 x i64>
 631   %1 = bitcast <4 x double> %__B to <4 x i64>
 632   %xor.i.i = xor <4 x i64> %0, %1
 633   %2 = bitcast <4 x i64> %xor.i.i to <4 x double>
 634   %3 = bitcast i8 %__U to <8 x i1>
 635   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 636   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> zeroinitializer
 637   ret <4 x double> %4
 638 }
 639
 640 define <2 x double> @test_mm_mask_xor_pd(<2 x double> %__W, i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 641 ; KNL-LABEL: test_mm_mask_xor_pd:
 642 ; KNL:       ## %bb.0: ## %entry
 643 ; KNL-NEXT:    kmovw %edi, %k1
 644 ; KNL-NEXT:    vpxorq %xmm2, %xmm1, %xmm0 {%k1}
 645 ; KNL-NEXT:    retq
 646 ;
 647 ; SKX-LABEL: test_mm_mask_xor_pd:
 648 ; SKX:       ## %bb.0: ## %entry
 649 ; SKX-NEXT:    kmovd %edi, %k1
 650 ; SKX-NEXT:    vxorpd %xmm2, %xmm1, %xmm0 {%k1}
 651 ; SKX-NEXT:    retq
 652 entry:
 653   %0 = bitcast <2 x double> %__A to <2 x i64>
 654   %1 = bitcast <2 x double> %__B to <2 x i64>
 655   %xor.i.i = xor <2 x i64> %0, %1
 656   %2 = bitcast <2 x i64> %xor.i.i to <2 x double>
 657   %3 = bitcast i8 %__U to <8 x i1>
 658   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 659   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> %__W
 660   ret <2 x double> %4
 661 }
 662
 663 define <2 x double> @test_mm_maskz_xor_pd(i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 664 ; KNL-LABEL: test_mm_maskz_xor_pd:
 665 ; KNL:       ## %bb.0: ## %entry
 666 ; KNL-NEXT:    kmovw %edi, %k1
 667 ; KNL-NEXT:    vpxorq %xmm1, %xmm0, %xmm0 {%k1} {z}
 668 ; KNL-NEXT:    retq
 669 ;
 670 ; SKX-LABEL: test_mm_maskz_xor_pd:
 671 ; SKX:       ## %bb.0: ## %entry
 672 ; SKX-NEXT:    kmovd %edi, %k1
 673 ; SKX-NEXT:    vxorpd %xmm1, %xmm0, %xmm0 {%k1} {z}
 674 ; SKX-NEXT:    retq
 675 entry:
 676   %0 = bitcast <2 x double> %__A to <2 x i64>
 677   %1 = bitcast <2 x double> %__B to <2 x i64>
 678   %xor.i.i = xor <2 x i64> %0, %1
 679   %2 = bitcast <2 x i64> %xor.i.i to <2 x double>
 680   %3 = bitcast i8 %__U to <8 x i1>
 681   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 682   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> zeroinitializer
 683   ret <2 x double> %4
 684 }
 685
 686 define <8 x float> @test_mm256_mask_xor_ps(<8 x float> %__W, i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 687 ; KNL-LABEL: test_mm256_mask_xor_ps:
 688 ; KNL:       ## %bb.0: ## %entry
 689 ; KNL-NEXT:    kmovw %edi, %k1
 690 ; KNL-NEXT:    vpxord %ymm2, %ymm1, %ymm0 {%k1}
 691 ; KNL-NEXT:    retq
 692 ;
 693 ; SKX-LABEL: test_mm256_mask_xor_ps:
 694 ; SKX:       ## %bb.0: ## %entry
 695 ; SKX-NEXT:    kmovd %edi, %k1
 696 ; SKX-NEXT:    vxorps %ymm2, %ymm1, %ymm0 {%k1}
 697 ; SKX-NEXT:    retq
 698 entry:
 699   %0 = bitcast <8 x float> %__A to <8 x i32>
 700   %1 = bitcast <8 x float> %__B to <8 x i32>
 701   %xor.i.i = xor <8 x i32> %0, %1
 702   %2 = bitcast <8 x i32> %xor.i.i to <8 x float>
 703   %3 = bitcast i8 %__U to <8 x i1>
 704   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> %__W
 705   ret <8 x float> %4
 706 }
 707
 708 define <8 x float> @test_mm256_maskz_xor_ps(i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 709 ; KNL-LABEL: test_mm256_maskz_xor_ps:
 710 ; KNL:       ## %bb.0: ## %entry
 711 ; KNL-NEXT:    kmovw %edi, %k1
 712 ; KNL-NEXT:    vpxord %ymm1, %ymm0, %ymm0 {%k1} {z}
 713 ; KNL-NEXT:    retq
 714 ;
 715 ; SKX-LABEL: test_mm256_maskz_xor_ps:
 716 ; SKX:       ## %bb.0: ## %entry
 717 ; SKX-NEXT:    kmovd %edi, %k1
 718 ; SKX-NEXT:    vxorps %ymm1, %ymm0, %ymm0 {%k1} {z}
 719 ; SKX-NEXT:    retq
 720 entry:
 721   %0 = bitcast <8 x float> %__A to <8 x i32>
 722   %1 = bitcast <8 x float> %__B to <8 x i32>
 723   %xor.i.i = xor <8 x i32> %0, %1
 724   %2 = bitcast <8 x i32> %xor.i.i to <8 x float>
 725   %3 = bitcast i8 %__U to <8 x i1>
 726   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> zeroinitializer
 727   ret <8 x float> %4
 728 }
 729
 730 define <4 x float> @test_mm_mask_xor_ps(<4 x float> %__W, i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 731 ; KNL-LABEL: test_mm_mask_xor_ps:
 732 ; KNL:       ## %bb.0: ## %entry
 733 ; KNL-NEXT:    kmovw %edi, %k1
 734 ; KNL-NEXT:    vpxord %xmm2, %xmm1, %xmm0 {%k1}
 735 ; KNL-NEXT:    retq
 736 ;
 737 ; SKX-LABEL: test_mm_mask_xor_ps:
 738 ; SKX:       ## %bb.0: ## %entry
 739 ; SKX-NEXT:    kmovd %edi, %k1
 740 ; SKX-NEXT:    vxorps %xmm2, %xmm1, %xmm0 {%k1}
 741 ; SKX-NEXT:    retq
 742 entry:
 743   %0 = bitcast <4 x float> %__A to <4 x i32>
 744   %1 = bitcast <4 x float> %__B to <4 x i32>
 745   %xor.i.i = xor <4 x i32> %0, %1
 746   %2 = bitcast <4 x i32> %xor.i.i to <4 x float>
 747   %3 = bitcast i8 %__U to <8 x i1>
 748   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 749   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> %__W
 750   ret <4 x float> %4
 751 }
 752
 753 define <4 x float> @test_mm_maskz_xor_ps(i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 754 ; KNL-LABEL: test_mm_maskz_xor_ps:
 755 ; KNL:       ## %bb.0: ## %entry
 756 ; KNL-NEXT:    kmovw %edi, %k1
 757 ; KNL-NEXT:    vpxord %xmm1, %xmm0, %xmm0 {%k1} {z}
 758 ; KNL-NEXT:    retq
 759 ;
 760 ; SKX-LABEL: test_mm_maskz_xor_ps:
 761 ; SKX:       ## %bb.0: ## %entry
 762 ; SKX-NEXT:    kmovd %edi, %k1
 763 ; SKX-NEXT:    vxorps %xmm1, %xmm0, %xmm0 {%k1} {z}
 764 ; SKX-NEXT:    retq
 765 entry:
 766   %0 = bitcast <4 x float> %__A to <4 x i32>
 767   %1 = bitcast <4 x float> %__B to <4 x i32>
 768   %xor.i.i = xor <4 x i32> %0, %1
 769   %2 = bitcast <4 x i32> %xor.i.i to <4 x float>
 770   %3 = bitcast i8 %__U to <8 x i1>
 771   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 772   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> zeroinitializer
 773   ret <4 x float> %4
 774 }
 775
 776 define <4 x double> @test_mm256_mask_or_pd(<4 x double> %__W, i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 777 ; KNL-LABEL: test_mm256_mask_or_pd:
 778 ; KNL:       ## %bb.0: ## %entry
 779 ; KNL-NEXT:    kmovw %edi, %k1
 780 ; KNL-NEXT:    vporq %ymm1, %ymm2, %ymm0 {%k1}
 781 ; KNL-NEXT:    retq
 782 ;
 783 ; SKX-LABEL: test_mm256_mask_or_pd:
 784 ; SKX:       ## %bb.0: ## %entry
 785 ; SKX-NEXT:    kmovd %edi, %k1
 786 ; SKX-NEXT:    vorpd %ymm1, %ymm2, %ymm0 {%k1}
 787 ; SKX-NEXT:    retq
 788 entry:
 789   %0 = bitcast <4 x double> %__A to <4 x i64>
 790   %1 = bitcast <4 x double> %__B to <4 x i64>
 791   %or.i.i = or <4 x i64> %1, %0
 792   %2 = bitcast <4 x i64> %or.i.i to <4 x double>
 793   %3 = bitcast i8 %__U to <8 x i1>
 794   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 795   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> %__W
 796   ret <4 x double> %4
 797 }
 798
 799 define <4 x double> @test_mm256_maskz_or_pd(i8 zeroext %__U, <4 x double> %__A, <4 x double> %__B) {
 800 ; KNL-LABEL: test_mm256_maskz_or_pd:
 801 ; KNL:       ## %bb.0: ## %entry
 802 ; KNL-NEXT:    kmovw %edi, %k1
 803 ; KNL-NEXT:    vporq %ymm0, %ymm1, %ymm0 {%k1} {z}
 804 ; KNL-NEXT:    retq
 805 ;
 806 ; SKX-LABEL: test_mm256_maskz_or_pd:
 807 ; SKX:       ## %bb.0: ## %entry
 808 ; SKX-NEXT:    kmovd %edi, %k1
 809 ; SKX-NEXT:    vorpd %ymm0, %ymm1, %ymm0 {%k1} {z}
 810 ; SKX-NEXT:    retq
 811 entry:
 812   %0 = bitcast <4 x double> %__A to <4 x i64>
 813   %1 = bitcast <4 x double> %__B to <4 x i64>
 814   %or.i.i = or <4 x i64> %1, %0
 815   %2 = bitcast <4 x i64> %or.i.i to <4 x double>
 816   %3 = bitcast i8 %__U to <8 x i1>
 817   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 818   %4 = select <4 x i1> %extract.i, <4 x double> %2, <4 x double> zeroinitializer
 819   ret <4 x double> %4
 820 }
 821
 822 define <2 x double> @test_mm_mask_or_pd(<2 x double> %__W, i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 823 ; KNL-LABEL: test_mm_mask_or_pd:
 824 ; KNL:       ## %bb.0: ## %entry
 825 ; KNL-NEXT:    kmovw %edi, %k1
 826 ; KNL-NEXT:    vporq %xmm1, %xmm2, %xmm0 {%k1}
 827 ; KNL-NEXT:    retq
 828 ;
 829 ; SKX-LABEL: test_mm_mask_or_pd:
 830 ; SKX:       ## %bb.0: ## %entry
 831 ; SKX-NEXT:    kmovd %edi, %k1
 832 ; SKX-NEXT:    vorpd %xmm1, %xmm2, %xmm0 {%k1}
 833 ; SKX-NEXT:    retq
 834 entry:
 835   %0 = bitcast <2 x double> %__A to <2 x i64>
 836   %1 = bitcast <2 x double> %__B to <2 x i64>
 837   %or.i.i = or <2 x i64> %1, %0
 838   %2 = bitcast <2 x i64> %or.i.i to <2 x double>
 839   %3 = bitcast i8 %__U to <8 x i1>
 840   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 841   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> %__W
 842   ret <2 x double> %4
 843 }
 844
 845 define <2 x double> @test_mm_maskz_or_pd(i8 zeroext %__U, <2 x double> %__A, <2 x double> %__B) {
 846 ; KNL-LABEL: test_mm_maskz_or_pd:
 847 ; KNL:       ## %bb.0: ## %entry
 848 ; KNL-NEXT:    kmovw %edi, %k1
 849 ; KNL-NEXT:    vporq %xmm0, %xmm1, %xmm0 {%k1} {z}
 850 ; KNL-NEXT:    retq
 851 ;
 852 ; SKX-LABEL: test_mm_maskz_or_pd:
 853 ; SKX:       ## %bb.0: ## %entry
 854 ; SKX-NEXT:    kmovd %edi, %k1
 855 ; SKX-NEXT:    vorpd %xmm0, %xmm1, %xmm0 {%k1} {z}
 856 ; SKX-NEXT:    retq
 857 entry:
 858   %0 = bitcast <2 x double> %__A to <2 x i64>
 859   %1 = bitcast <2 x double> %__B to <2 x i64>
 860   %or.i.i = or <2 x i64> %1, %0
 861   %2 = bitcast <2 x i64> %or.i.i to <2 x double>
 862   %3 = bitcast i8 %__U to <8 x i1>
 863   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <2 x i32> <i32 0, i32 1>
 864   %4 = select <2 x i1> %extract.i, <2 x double> %2, <2 x double> zeroinitializer
 865   ret <2 x double> %4
 866 }
 867
 868 define <8 x float> @test_mm256_mask_or_ps(<8 x float> %__W, i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 869 ; KNL-LABEL: test_mm256_mask_or_ps:
 870 ; KNL:       ## %bb.0: ## %entry
 871 ; KNL-NEXT:    kmovw %edi, %k1
 872 ; KNL-NEXT:    vpord %ymm1, %ymm2, %ymm0 {%k1}
 873 ; KNL-NEXT:    retq
 874 ;
 875 ; SKX-LABEL: test_mm256_mask_or_ps:
 876 ; SKX:       ## %bb.0: ## %entry
 877 ; SKX-NEXT:    kmovd %edi, %k1
 878 ; SKX-NEXT:    vorps %ymm1, %ymm2, %ymm0 {%k1}
 879 ; SKX-NEXT:    retq
 880 entry:
 881   %0 = bitcast <8 x float> %__A to <8 x i32>
 882   %1 = bitcast <8 x float> %__B to <8 x i32>
 883   %or.i.i = or <8 x i32> %1, %0
 884   %2 = bitcast <8 x i32> %or.i.i to <8 x float>
 885   %3 = bitcast i8 %__U to <8 x i1>
 886   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> %__W
 887   ret <8 x float> %4
 888 }
 889
 890 define <8 x float> @test_mm256_maskz_or_ps(i8 zeroext %__U, <8 x float> %__A, <8 x float> %__B) {
 891 ; KNL-LABEL: test_mm256_maskz_or_ps:
 892 ; KNL:       ## %bb.0: ## %entry
 893 ; KNL-NEXT:    kmovw %edi, %k1
 894 ; KNL-NEXT:    vpord %ymm0, %ymm1, %ymm0 {%k1} {z}
 895 ; KNL-NEXT:    retq
 896 ;
 897 ; SKX-LABEL: test_mm256_maskz_or_ps:
 898 ; SKX:       ## %bb.0: ## %entry
 899 ; SKX-NEXT:    kmovd %edi, %k1
 900 ; SKX-NEXT:    vorps %ymm0, %ymm1, %ymm0 {%k1} {z}
 901 ; SKX-NEXT:    retq
 902 entry:
 903   %0 = bitcast <8 x float> %__A to <8 x i32>
 904   %1 = bitcast <8 x float> %__B to <8 x i32>
 905   %or.i.i = or <8 x i32> %1, %0
 906   %2 = bitcast <8 x i32> %or.i.i to <8 x float>
 907   %3 = bitcast i8 %__U to <8 x i1>
 908   %4 = select <8 x i1> %3, <8 x float> %2, <8 x float> zeroinitializer
 909   ret <8 x float> %4
 910 }
 911
 912 define <4 x float> @test_mm_mask_or_ps(<4 x float> %__W, i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 913 ; KNL-LABEL: test_mm_mask_or_ps:
 914 ; KNL:       ## %bb.0: ## %entry
 915 ; KNL-NEXT:    kmovw %edi, %k1
 916 ; KNL-NEXT:    vpord %xmm1, %xmm2, %xmm0 {%k1}
 917 ; KNL-NEXT:    retq
 918 ;
 919 ; SKX-LABEL: test_mm_mask_or_ps:
 920 ; SKX:       ## %bb.0: ## %entry
 921 ; SKX-NEXT:    kmovd %edi, %k1
 922 ; SKX-NEXT:    vorps %xmm1, %xmm2, %xmm0 {%k1}
 923 ; SKX-NEXT:    retq
 924 entry:
 925   %0 = bitcast <4 x float> %__A to <4 x i32>
 926   %1 = bitcast <4 x float> %__B to <4 x i32>
 927   %or.i.i = or <4 x i32> %1, %0
 928   %2 = bitcast <4 x i32> %or.i.i to <4 x float>
 929   %3 = bitcast i8 %__U to <8 x i1>
 930   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 931   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> %__W
 932   ret <4 x float> %4
 933 }
 934
 935 define <4 x float> @test_mm_maskz_or_ps(i8 zeroext %__U, <4 x float> %__A, <4 x float> %__B) {
 936 ; KNL-LABEL: test_mm_maskz_or_ps:
 937 ; KNL:       ## %bb.0: ## %entry
 938 ; KNL-NEXT:    kmovw %edi, %k1
 939 ; KNL-NEXT:    vpord %xmm0, %xmm1, %xmm0 {%k1} {z}
 940 ; KNL-NEXT:    retq
 941 ;
 942 ; SKX-LABEL: test_mm_maskz_or_ps:
 943 ; SKX:       ## %bb.0: ## %entry
 944 ; SKX-NEXT:    kmovd %edi, %k1
 945 ; SKX-NEXT:    vorps %xmm0, %xmm1, %xmm0 {%k1} {z}
 946 ; SKX-NEXT:    retq
 947 entry:
 948   %0 = bitcast <4 x float> %__A to <4 x i32>
 949   %1 = bitcast <4 x float> %__B to <4 x i32>
 950   %or.i.i = or <4 x i32> %1, %0
 951   %2 = bitcast <4 x i32> %or.i.i to <4 x float>
 952   %3 = bitcast i8 %__U to <8 x i1>
 953   %extract.i = shufflevector <8 x i1> %3, <8 x i1> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 954   %4 = select <4 x i1> %extract.i, <4 x float> %2, <4 x float> zeroinitializer
 955   ret <4 x float> %4
 956 }