test/CodeGen/X86/avx512-vec-cmp.ll

   1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s
   2
   3 ; CHECK-LABEL: test1
   4 ; CHECK: vcmpleps
   5 ; CHECK: vmovups
   6 ; CHECK: ret
   7 define <16 x float> @test1(<16 x float> %x, <16 x float> %y) nounwind {
   8         %mask = fcmp ole <16 x float> %x, %y
   9         %max = select <16 x i1> %mask, <16 x float> %x, <16 x float> %y
  10         ret <16 x float> %max
  11 }
  12
  13 ; CHECK-LABEL: test2
  14 ; CHECK: vcmplepd
  15 ; CHECK: vmovupd
  16 ; CHECK: ret
  17 define <8 x double> @test2(<8 x double> %x, <8 x double> %y) nounwind {
  18         %mask = fcmp ole <8 x double> %x, %y
  19         %max = select <8 x i1> %mask, <8 x double> %x, <8 x double> %y
  20         ret <8 x double> %max
  21 }
  22
  23 ; CHECK-LABEL: test3
  24 ; CHECK: vpcmpeqd  (%rdi)
  25 ; CHECK: vmovdqu32
  26 ; CHECK: ret
  27 define <16 x i32> @test3(<16 x i32> %x, <16 x i32> %x1, <16 x i32>* %yp) nounwind {
  28   %y = load <16 x i32>* %yp, align 4
  29         %mask = icmp eq <16 x i32> %x, %y
  30         %max = select <16 x i1> %mask, <16 x i32> %x, <16 x i32> %x1
  31         ret <16 x i32> %max
  32 }
  33
  34 ; CHECK-LABEL: @test4_unsigned
  35 ; CHECK: vpcmpnltud
  36 ; CHECK: vmovdqu32
  37 ; CHECK: ret
  38 define <16 x i32> @test4_unsigned(<16 x i32> %x, <16 x i32> %y) nounwind {
  39         %mask = icmp uge <16 x i32> %x, %y
  40         %max = select <16 x i1> %mask, <16 x i32> %x, <16 x i32> %y
  41         ret <16 x i32> %max
  42 }
  43
  44 ; CHECK-LABEL: test5
  45 ; CHECK: vpcmpeqq {{.*}}%k1
  46 ; CHECK: vmovdqu64 {{.*}}%k1
  47 ; CHECK: ret
  48 define <8 x i64> @test5(<8 x i64> %x, <8 x i64> %y) nounwind {
  49         %mask = icmp eq <8 x i64> %x, %y
  50         %max = select <8 x i1> %mask, <8 x i64> %x, <8 x i64> %y
  51         ret <8 x i64> %max
  52 }
  53
  54 ; CHECK-LABEL: test6_unsigned
  55 ; CHECK: vpcmpnleuq {{.*}}%k1
  56 ; CHECK: vmovdqu64 {{.*}}%k1
  57 ; CHECK: ret
  58 define <8 x i64> @test6_unsigned(<8 x i64> %x, <8 x i64> %y) nounwind {
  59         %mask = icmp ugt <8 x i64> %x, %y
  60         %max = select <8 x i1> %mask, <8 x i64> %x, <8 x i64> %y
  61         ret <8 x i64> %max
  62 }
  63
  64 ; CHECK-LABEL: test7
  65 ; CHECK: xor
  66 ; CHECK: vcmpltps
  67 ; CHECK: vblendvps
  68 ; CHECK: ret
  69 define <4 x float> @test7(<4 x float> %a, <4 x float> %b) {
  70   %mask = fcmp olt <4 x float> %a, zeroinitializer
  71   %c = select <4 x i1>%mask, <4 x float>%a, <4 x float>%b
  72   ret <4 x float>%c
  73 }
  74
  75 ; CHECK-LABEL: test8
  76 ; CHECK: xor
  77 ; CHECK: vcmpltpd
  78 ; CHECK: vblendvpd
  79 ; CHECK: ret
  80 define <2 x double> @test8(<2 x double> %a, <2 x double> %b) {
  81   %mask = fcmp olt <2 x double> %a, zeroinitializer
  82   %c = select <2 x i1>%mask, <2 x double>%a, <2 x double>%b
  83   ret <2 x double>%c
  84 }
  85
  86 ; CHECK-LABEL: test9
  87 ; CHECK: vpcmpeqd
  88 ; CHECK: vpblendmd
  89 ; CHECK: ret
  90 define <8 x i32> @test9(<8 x i32> %x, <8 x i32> %y) nounwind {
  91   %mask = icmp eq <8 x i32> %x, %y
  92   %max = select <8 x i1> %mask, <8 x i32> %x, <8 x i32> %y
  93   ret <8 x i32> %max
  94 }
  95
  96 ; CHECK-LABEL: test10
  97 ; CHECK: vcmpeqps
  98 ; CHECK: vblendmps
  99 ; CHECK: ret
 100 define <8 x float> @test10(<8 x float> %x, <8 x float> %y) nounwind {
 101   %mask = fcmp oeq <8 x float> %x, %y
 102   %max = select <8 x i1> %mask, <8 x float> %x, <8 x float> %y
 103   ret <8 x float> %max
 104 }
 105
 106 ; CHECK-LABEL: test11_unsigned
 107 ; CHECK: vpcmpnleud %zmm
 108 ; CHECK: vpblendmd  %zmm
 109 ; CHECK: ret
 110 define <8 x i32> @test11_unsigned(<8 x i32> %x, <8 x i32> %y) nounwind {
 111   %mask = icmp ugt <8 x i32> %x, %y
 112   %max = select <8 x i1> %mask, <8 x i32> %x, <8 x i32> %y
 113   ret <8 x i32> %max
 114 }