llvm/test/CodeGen/X86/avx-cmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s
   3
   4 define <8 x i32> @cmp00(<8 x float> %a, <8 x float> %b) nounwind {
   5 ; CHECK-LABEL: cmp00:
   6 ; CHECK:       # %bb.0:
   7 ; CHECK-NEXT:    vcmpltps %ymm1, %ymm0, %ymm0
   8 ; CHECK-NEXT:    retq
   9   %bincmp = fcmp olt <8 x float> %a, %b
  10   %s = sext <8 x i1> %bincmp to <8 x i32>
  11   ret <8 x i32> %s
  12 }
  13
  14 define <4 x i64> @cmp01(<4 x double> %a, <4 x double> %b) nounwind {
  15 ; CHECK-LABEL: cmp01:
  16 ; CHECK:       # %bb.0:
  17 ; CHECK-NEXT:    vcmpltpd %ymm1, %ymm0, %ymm0
  18 ; CHECK-NEXT:    retq
  19   %bincmp = fcmp olt <4 x double> %a, %b
  20   %s = sext <4 x i1> %bincmp to <4 x i64>
  21   ret <4 x i64> %s
  22 }
  23
  24 declare void @scale() nounwind
  25
  26 define void @render(double %a0) nounwind {
  27 ; CHECK-LABEL: render:
  28 ; CHECK:       # %bb.0: # %entry
  29 ; CHECK-NEXT:    pushq %rbx
  30 ; CHECK-NEXT:    subq $16, %rsp
  31 ; CHECK-NEXT:    vmovsd %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
  32 ; CHECK-NEXT:    xorl %eax, %eax
  33 ; CHECK-NEXT:    testb %al, %al
  34 ; CHECK-NEXT:    jne .LBB2_5
  35 ; CHECK-NEXT:  # %bb.1: # %for.cond5.preheader
  36 ; CHECK-NEXT:    movb $1, %bl
  37 ; CHECK-NEXT:    .p2align 4
  38 ; CHECK-NEXT:  .LBB2_2: # %for.cond5
  39 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  40 ; CHECK-NEXT:    testb %bl, %bl
  41 ; CHECK-NEXT:    jne .LBB2_2
  42 ; CHECK-NEXT:  # %bb.3: # %for.body33.preheader
  43 ; CHECK-NEXT:    # in Loop: Header=BB2_2 Depth=1
  44 ; CHECK-NEXT:    vmovsd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 8-byte Reload
  45 ; CHECK-NEXT:    # xmm0 = mem[0],zero
  46 ; CHECK-NEXT:    vucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
  47 ; CHECK-NEXT:    jne .LBB2_4
  48 ; CHECK-NEXT:    jnp .LBB2_2
  49 ; CHECK-NEXT:  .LBB2_4: # %if.then
  50 ; CHECK-NEXT:    # in Loop: Header=BB2_2 Depth=1
  51 ; CHECK-NEXT:    callq scale@PLT
  52 ; CHECK-NEXT:    jmp .LBB2_2
  53 ; CHECK-NEXT:  .LBB2_5: # %for.end52
  54 ; CHECK-NEXT:    addq $16, %rsp
  55 ; CHECK-NEXT:    popq %rbx
  56 ; CHECK-NEXT:    retq
  57 entry:
  58   br i1 undef, label %for.cond5, label %for.end52
  59
  60 for.cond5:
  61   %or.cond = and i1 undef, false
  62   br i1 %or.cond, label %for.body33, label %for.cond5
  63
  64 for.cond30:
  65   br i1 false, label %for.body33, label %for.cond5
  66
  67 for.body33:
  68   %tobool = fcmp une double %a0, 0.000000e+00
  69   br i1 %tobool, label %if.then, label %for.cond30
  70
  71 if.then:
  72   call void @scale()
  73   br label %for.cond30
  74
  75 for.end52:
  76   ret void
  77 }
  78
  79 define <8 x i32> @int256_cmp(<8 x i32> %i, <8 x i32> %j) nounwind {
  80 ; CHECK-LABEL: int256_cmp:
  81 ; CHECK:       # %bb.0:
  82 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm2
  83 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm3
  84 ; CHECK-NEXT:    vpcmpgtd %xmm2, %xmm3, %xmm2
  85 ; CHECK-NEXT:    vpcmpgtd %xmm0, %xmm1, %xmm0
  86 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
  87 ; CHECK-NEXT:    retq
  88   %bincmp = icmp slt <8 x i32> %i, %j
  89   %x = sext <8 x i1> %bincmp to <8 x i32>
  90   ret <8 x i32> %x
  91 }
  92
  93 define <4 x i64> @v4i64_cmp(<4 x i64> %i, <4 x i64> %j) nounwind {
  94 ; CHECK-LABEL: v4i64_cmp:
  95 ; CHECK:       # %bb.0:
  96 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm2
  97 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm3
  98 ; CHECK-NEXT:    vpcmpgtq %xmm2, %xmm3, %xmm2
  99 ; CHECK-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm0
 100 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 101 ; CHECK-NEXT:    retq
 102   %bincmp = icmp slt <4 x i64> %i, %j
 103   %x = sext <4 x i1> %bincmp to <4 x i64>
 104   ret <4 x i64> %x
 105 }
 106
 107 define <16 x i16> @v16i16_cmp(<16 x i16> %i, <16 x i16> %j) nounwind {
 108 ; CHECK-LABEL: v16i16_cmp:
 109 ; CHECK:       # %bb.0:
 110 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm2
 111 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm3
 112 ; CHECK-NEXT:    vpcmpgtw %xmm2, %xmm3, %xmm2
 113 ; CHECK-NEXT:    vpcmpgtw %xmm0, %xmm1, %xmm0
 114 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 115 ; CHECK-NEXT:    retq
 116   %bincmp = icmp slt <16 x i16> %i, %j
 117   %x = sext <16 x i1> %bincmp to <16 x i16>
 118   ret <16 x i16> %x
 119 }
 120
 121 define <32 x i8> @v32i8_cmp(<32 x i8> %i, <32 x i8> %j) nounwind {
 122 ; CHECK-LABEL: v32i8_cmp:
 123 ; CHECK:       # %bb.0:
 124 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm2
 125 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm3
 126 ; CHECK-NEXT:    vpcmpgtb %xmm2, %xmm3, %xmm2
 127 ; CHECK-NEXT:    vpcmpgtb %xmm0, %xmm1, %xmm0
 128 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 129 ; CHECK-NEXT:    retq
 130   %bincmp = icmp slt <32 x i8> %i, %j
 131   %x = sext <32 x i1> %bincmp to <32 x i8>
 132   ret <32 x i8> %x
 133 }
 134
 135 define <8 x i32> @int256_cmpeq(<8 x i32> %i, <8 x i32> %j) nounwind {
 136 ; CHECK-LABEL: int256_cmpeq:
 137 ; CHECK:       # %bb.0:
 138 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm2
 139 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm3
 140 ; CHECK-NEXT:    vpcmpeqd %xmm2, %xmm3, %xmm2
 141 ; CHECK-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
 142 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 143 ; CHECK-NEXT:    retq
 144   %bincmp = icmp eq <8 x i32> %i, %j
 145   %x = sext <8 x i1> %bincmp to <8 x i32>
 146   ret <8 x i32> %x
 147 }
 148
 149 define <4 x i64> @v4i64_cmpeq(<4 x i64> %i, <4 x i64> %j) nounwind {
 150 ; CHECK-LABEL: v4i64_cmpeq:
 151 ; CHECK:       # %bb.0:
 152 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm2
 153 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm3
 154 ; CHECK-NEXT:    vpcmpeqq %xmm2, %xmm3, %xmm2
 155 ; CHECK-NEXT:    vpcmpeqq %xmm1, %xmm0, %xmm0
 156 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 157 ; CHECK-NEXT:    retq
 158   %bincmp = icmp eq <4 x i64> %i, %j
 159   %x = sext <4 x i1> %bincmp to <4 x i64>
 160   ret <4 x i64> %x
 161 }
 162
 163 define <16 x i16> @v16i16_cmpeq(<16 x i16> %i, <16 x i16> %j) nounwind {
 164 ; CHECK-LABEL: v16i16_cmpeq:
 165 ; CHECK:       # %bb.0:
 166 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm2
 167 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm3
 168 ; CHECK-NEXT:    vpcmpeqw %xmm2, %xmm3, %xmm2
 169 ; CHECK-NEXT:    vpcmpeqw %xmm1, %xmm0, %xmm0
 170 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 171 ; CHECK-NEXT:    retq
 172   %bincmp = icmp eq <16 x i16> %i, %j
 173   %x = sext <16 x i1> %bincmp to <16 x i16>
 174   ret <16 x i16> %x
 175 }
 176
 177 define <32 x i8> @v32i8_cmpeq(<32 x i8> %i, <32 x i8> %j) nounwind {
 178 ; CHECK-LABEL: v32i8_cmpeq:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vextractf128 $1, %ymm1, %xmm2
 181 ; CHECK-NEXT:    vextractf128 $1, %ymm0, %xmm3
 182 ; CHECK-NEXT:    vpcmpeqb %xmm2, %xmm3, %xmm2
 183 ; CHECK-NEXT:    vpcmpeqb %xmm1, %xmm0, %xmm0
 184 ; CHECK-NEXT:    vinsertf128 $1, %xmm2, %ymm0, %ymm0
 185 ; CHECK-NEXT:    retq
 186   %bincmp = icmp eq <32 x i8> %i, %j
 187   %x = sext <32 x i1> %bincmp to <32 x i8>
 188   ret <32 x i8> %x
 189 }
 190
 191 ;; Scalar comparison
 192
 193 define i32 @scalarcmpA(double %a0) uwtable ssp {
 194 ; CHECK-LABEL: scalarcmpA:
 195 ; CHECK:       # %bb.0:
 196 ; CHECK-NEXT:    vxorpd %xmm1, %xmm1, %xmm1
 197 ; CHECK-NEXT:    vcmpeqsd %xmm1, %xmm0, %xmm0
 198 ; CHECK-NEXT:    vmovq %xmm0, %rax
 199 ; CHECK-NEXT:    andl $1, %eax
 200 ; CHECK-NEXT:    # kill: def $eax killed $eax killed $rax
 201 ; CHECK-NEXT:    retq
 202   %cmp29 = fcmp oeq double %a0, 0.000000e+00
 203   %res = zext i1 %cmp29 to i32
 204   ret i32 %res
 205 }
 206
 207 define i32 @scalarcmpB(float %a0) uwtable ssp {
 208 ; CHECK-LABEL: scalarcmpB:
 209 ; CHECK:       # %bb.0:
 210 ; CHECK-NEXT:    vxorps %xmm1, %xmm1, %xmm1
 211 ; CHECK-NEXT:    vcmpeqss %xmm1, %xmm0, %xmm0
 212 ; CHECK-NEXT:    vmovd %xmm0, %eax
 213 ; CHECK-NEXT:    andl $1, %eax
 214 ; CHECK-NEXT:    retq
 215   %cmp29 = fcmp oeq float %a0, 0.000000e+00
 216   %res = zext i1 %cmp29 to i32
 217   ret i32 %res
 218 }
 219