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