test/CodeGen/X86/vector-reduce-smin.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefix=ALL --check-prefix=SSE --check-prefix=SSE2
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse4.1 | FileCheck %s --check-prefix=ALL --check-prefix=SSE --check-prefix=SSE41
   4 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=ALL --check-prefix=AVX --check-prefix=AVX1
   5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2 | FileCheck %s --check-prefix=ALL --check-prefix=AVX --check-prefix=AVX2
   6 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f,+avx512bw | FileCheck %s --check-prefix=ALL --check-prefix=AVX512 --check-prefix=AVX512BW
   7 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f,+avx512bw,+avx512vl | FileCheck %s --check-prefix=ALL --check-prefix=AVX512 --check-prefix=AVX512VL
   8
   9 ;
  10 ; vXi64
  11 ;
  12
  13 define i64 @test_v2i64(<2 x i64> %a0) {
  14 ; SSE2-LABEL: test_v2i64:
  15 ; SSE2:       # %bb.0:
  16 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
  17 ; SSE2-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
  18 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
  19 ; SSE2-NEXT:    pxor %xmm2, %xmm3
  20 ; SSE2-NEXT:    pxor %xmm1, %xmm2
  21 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
  22 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm4
  23 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
  24 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm2
  25 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,1,3,3]
  26 ; SSE2-NEXT:    pand %xmm5, %xmm2
  27 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
  28 ; SSE2-NEXT:    por %xmm2, %xmm3
  29 ; SSE2-NEXT:    pand %xmm3, %xmm0
  30 ; SSE2-NEXT:    pandn %xmm1, %xmm3
  31 ; SSE2-NEXT:    por %xmm0, %xmm3
  32 ; SSE2-NEXT:    movq %xmm3, %rax
  33 ; SSE2-NEXT:    retq
  34 ;
  35 ; SSE41-LABEL: test_v2i64:
  36 ; SSE41:       # %bb.0:
  37 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
  38 ; SSE41-NEXT:    pshufd {{.*#+}} xmm2 = xmm0[2,3,0,1]
  39 ; SSE41-NEXT:    movdqa {{.*#+}} xmm0 = [2147483648,2147483648]
  40 ; SSE41-NEXT:    movdqa %xmm1, %xmm3
  41 ; SSE41-NEXT:    pxor %xmm0, %xmm3
  42 ; SSE41-NEXT:    pxor %xmm2, %xmm0
  43 ; SSE41-NEXT:    movdqa %xmm0, %xmm4
  44 ; SSE41-NEXT:    pcmpgtd %xmm3, %xmm4
  45 ; SSE41-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
  46 ; SSE41-NEXT:    pcmpeqd %xmm3, %xmm0
  47 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
  48 ; SSE41-NEXT:    pand %xmm5, %xmm0
  49 ; SSE41-NEXT:    por %xmm4, %xmm0
  50 ; SSE41-NEXT:    blendvpd %xmm0, %xmm1, %xmm2
  51 ; SSE41-NEXT:    movq %xmm2, %rax
  52 ; SSE41-NEXT:    retq
  53 ;
  54 ; AVX-LABEL: test_v2i64:
  55 ; AVX:       # %bb.0:
  56 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
  57 ; AVX-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
  58 ; AVX-NEXT:    vblendvpd %xmm2, %xmm0, %xmm1, %xmm0
  59 ; AVX-NEXT:    vmovq %xmm0, %rax
  60 ; AVX-NEXT:    retq
  61 ;
  62 ; AVX512BW-LABEL: test_v2i64:
  63 ; AVX512BW:       # %bb.0:
  64 ; AVX512BW-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
  65 ; AVX512BW-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
  66 ; AVX512BW-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
  67 ; AVX512BW-NEXT:    vmovq %xmm0, %rax
  68 ; AVX512BW-NEXT:    vzeroupper
  69 ; AVX512BW-NEXT:    retq
  70 ;
  71 ; AVX512VL-LABEL: test_v2i64:
  72 ; AVX512VL:       # %bb.0:
  73 ; AVX512VL-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
  74 ; AVX512VL-NEXT:    vpminsq %xmm1, %xmm0, %xmm0
  75 ; AVX512VL-NEXT:    vmovq %xmm0, %rax
  76 ; AVX512VL-NEXT:    retq
  77   %1 = call i64 @llvm.experimental.vector.reduce.smin.i64.v2i64(<2 x i64> %a0)
  78   ret i64 %1
  79 }
  80
  81 define i64 @test_v4i64(<4 x i64> %a0) {
  82 ; SSE2-LABEL: test_v4i64:
  83 ; SSE2:       # %bb.0:
  84 ; SSE2-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
  85 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
  86 ; SSE2-NEXT:    pxor %xmm2, %xmm3
  87 ; SSE2-NEXT:    movdqa %xmm1, %xmm4
  88 ; SSE2-NEXT:    pxor %xmm2, %xmm4
  89 ; SSE2-NEXT:    movdqa %xmm4, %xmm5
  90 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm5
  91 ; SSE2-NEXT:    pshufd {{.*#+}} xmm6 = xmm5[0,0,2,2]
  92 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm4
  93 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
  94 ; SSE2-NEXT:    pand %xmm6, %xmm3
  95 ; SSE2-NEXT:    pshufd {{.*#+}} xmm4 = xmm5[1,1,3,3]
  96 ; SSE2-NEXT:    por %xmm3, %xmm4
  97 ; SSE2-NEXT:    pand %xmm4, %xmm0
  98 ; SSE2-NEXT:    pandn %xmm1, %xmm4
  99 ; SSE2-NEXT:    por %xmm0, %xmm4
 100 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm4[2,3,0,1]
 101 ; SSE2-NEXT:    movdqa %xmm4, %xmm1
 102 ; SSE2-NEXT:    pxor %xmm2, %xmm1
 103 ; SSE2-NEXT:    pxor %xmm0, %xmm2
 104 ; SSE2-NEXT:    movdqa %xmm2, %xmm3
 105 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm3
 106 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm3[0,0,2,2]
 107 ; SSE2-NEXT:    pcmpeqd %xmm1, %xmm2
 108 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm2[1,1,3,3]
 109 ; SSE2-NEXT:    pand %xmm5, %xmm1
 110 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm3[1,1,3,3]
 111 ; SSE2-NEXT:    por %xmm1, %xmm2
 112 ; SSE2-NEXT:    pand %xmm2, %xmm4
 113 ; SSE2-NEXT:    pandn %xmm0, %xmm2
 114 ; SSE2-NEXT:    por %xmm4, %xmm2
 115 ; SSE2-NEXT:    movq %xmm2, %rax
 116 ; SSE2-NEXT:    retq
 117 ;
 118 ; SSE41-LABEL: test_v4i64:
 119 ; SSE41:       # %bb.0:
 120 ; SSE41-NEXT:    movdqa %xmm0, %xmm2
 121 ; SSE41-NEXT:    movdqa {{.*#+}} xmm3 = [2147483648,2147483648]
 122 ; SSE41-NEXT:    pxor %xmm3, %xmm0
 123 ; SSE41-NEXT:    movdqa %xmm1, %xmm4
 124 ; SSE41-NEXT:    pxor %xmm3, %xmm4
 125 ; SSE41-NEXT:    movdqa %xmm4, %xmm5
 126 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm5
 127 ; SSE41-NEXT:    pshufd {{.*#+}} xmm6 = xmm5[0,0,2,2]
 128 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm4
 129 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm4[1,1,3,3]
 130 ; SSE41-NEXT:    pand %xmm6, %xmm0
 131 ; SSE41-NEXT:    por %xmm5, %xmm0
 132 ; SSE41-NEXT:    blendvpd %xmm0, %xmm2, %xmm1
 133 ; SSE41-NEXT:    pshufd {{.*#+}} xmm2 = xmm1[2,3,0,1]
 134 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
 135 ; SSE41-NEXT:    pxor %xmm3, %xmm0
 136 ; SSE41-NEXT:    pxor %xmm2, %xmm3
 137 ; SSE41-NEXT:    movdqa %xmm3, %xmm4
 138 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm4
 139 ; SSE41-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
 140 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm3
 141 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm3[1,1,3,3]
 142 ; SSE41-NEXT:    pand %xmm5, %xmm0
 143 ; SSE41-NEXT:    por %xmm4, %xmm0
 144 ; SSE41-NEXT:    blendvpd %xmm0, %xmm1, %xmm2
 145 ; SSE41-NEXT:    movq %xmm2, %rax
 146 ; SSE41-NEXT:    retq
 147 ;
 148 ; AVX1-LABEL: test_v4i64:
 149 ; AVX1:       # %bb.0:
 150 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 151 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
 152 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm3
 153 ; AVX1-NEXT:    vinsertf128 $1, %xmm2, %ymm3, %ymm2
 154 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 155 ; AVX1-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 156 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
 157 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 158 ; AVX1-NEXT:    vmovq %xmm0, %rax
 159 ; AVX1-NEXT:    vzeroupper
 160 ; AVX1-NEXT:    retq
 161 ;
 162 ; AVX2-LABEL: test_v4i64:
 163 ; AVX2:       # %bb.0:
 164 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
 165 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 166 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 167 ; AVX2-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 168 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 169 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 170 ; AVX2-NEXT:    vmovq %xmm0, %rax
 171 ; AVX2-NEXT:    vzeroupper
 172 ; AVX2-NEXT:    retq
 173 ;
 174 ; AVX512BW-LABEL: test_v4i64:
 175 ; AVX512BW:       # %bb.0:
 176 ; AVX512BW-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
 177 ; AVX512BW-NEXT:    vextracti128 $1, %ymm0, %xmm1
 178 ; AVX512BW-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 179 ; AVX512BW-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 180 ; AVX512BW-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 181 ; AVX512BW-NEXT:    vmovq %xmm0, %rax
 182 ; AVX512BW-NEXT:    vzeroupper
 183 ; AVX512BW-NEXT:    retq
 184 ;
 185 ; AVX512VL-LABEL: test_v4i64:
 186 ; AVX512VL:       # %bb.0:
 187 ; AVX512VL-NEXT:    vextracti128 $1, %ymm0, %xmm1
 188 ; AVX512VL-NEXT:    vpminsq %ymm1, %ymm0, %ymm0
 189 ; AVX512VL-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 190 ; AVX512VL-NEXT:    vpminsq %ymm1, %ymm0, %ymm0
 191 ; AVX512VL-NEXT:    vmovq %xmm0, %rax
 192 ; AVX512VL-NEXT:    vzeroupper
 193 ; AVX512VL-NEXT:    retq
 194   %1 = call i64 @llvm.experimental.vector.reduce.smin.i64.v4i64(<4 x i64> %a0)
 195   ret i64 %1
 196 }
 197
 198 define i64 @test_v8i64(<8 x i64> %a0) {
 199 ; SSE2-LABEL: test_v8i64:
 200 ; SSE2:       # %bb.0:
 201 ; SSE2-NEXT:    movdqa {{.*#+}} xmm4 = [2147483648,2147483648]
 202 ; SSE2-NEXT:    movdqa %xmm1, %xmm5
 203 ; SSE2-NEXT:    pxor %xmm4, %xmm5
 204 ; SSE2-NEXT:    movdqa %xmm3, %xmm6
 205 ; SSE2-NEXT:    pxor %xmm4, %xmm6
 206 ; SSE2-NEXT:    movdqa %xmm6, %xmm7
 207 ; SSE2-NEXT:    pcmpgtd %xmm5, %xmm7
 208 ; SSE2-NEXT:    pshufd {{.*#+}} xmm8 = xmm7[0,0,2,2]
 209 ; SSE2-NEXT:    pcmpeqd %xmm5, %xmm6
 210 ; SSE2-NEXT:    pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
 211 ; SSE2-NEXT:    pand %xmm8, %xmm6
 212 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm7[1,1,3,3]
 213 ; SSE2-NEXT:    por %xmm6, %xmm5
 214 ; SSE2-NEXT:    pand %xmm5, %xmm1
 215 ; SSE2-NEXT:    pandn %xmm3, %xmm5
 216 ; SSE2-NEXT:    por %xmm1, %xmm5
 217 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 218 ; SSE2-NEXT:    pxor %xmm4, %xmm1
 219 ; SSE2-NEXT:    movdqa %xmm2, %xmm3
 220 ; SSE2-NEXT:    pxor %xmm4, %xmm3
 221 ; SSE2-NEXT:    movdqa %xmm3, %xmm6
 222 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm6
 223 ; SSE2-NEXT:    pshufd {{.*#+}} xmm7 = xmm6[0,0,2,2]
 224 ; SSE2-NEXT:    pcmpeqd %xmm1, %xmm3
 225 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm3[1,1,3,3]
 226 ; SSE2-NEXT:    pand %xmm7, %xmm1
 227 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm6[1,1,3,3]
 228 ; SSE2-NEXT:    por %xmm1, %xmm3
 229 ; SSE2-NEXT:    pand %xmm3, %xmm0
 230 ; SSE2-NEXT:    pandn %xmm2, %xmm3
 231 ; SSE2-NEXT:    por %xmm0, %xmm3
 232 ; SSE2-NEXT:    movdqa %xmm3, %xmm0
 233 ; SSE2-NEXT:    pxor %xmm4, %xmm0
 234 ; SSE2-NEXT:    movdqa %xmm5, %xmm1
 235 ; SSE2-NEXT:    pxor %xmm4, %xmm1
 236 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
 237 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm2
 238 ; SSE2-NEXT:    pshufd {{.*#+}} xmm6 = xmm2[0,0,2,2]
 239 ; SSE2-NEXT:    pcmpeqd %xmm0, %xmm1
 240 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 241 ; SSE2-NEXT:    pand %xmm6, %xmm0
 242 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm2[1,1,3,3]
 243 ; SSE2-NEXT:    por %xmm0, %xmm1
 244 ; SSE2-NEXT:    pand %xmm1, %xmm3
 245 ; SSE2-NEXT:    pandn %xmm5, %xmm1
 246 ; SSE2-NEXT:    por %xmm3, %xmm1
 247 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
 248 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
 249 ; SSE2-NEXT:    pxor %xmm4, %xmm2
 250 ; SSE2-NEXT:    pxor %xmm0, %xmm4
 251 ; SSE2-NEXT:    movdqa %xmm4, %xmm3
 252 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm3
 253 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm3[0,0,2,2]
 254 ; SSE2-NEXT:    pcmpeqd %xmm2, %xmm4
 255 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm4[1,1,3,3]
 256 ; SSE2-NEXT:    pand %xmm5, %xmm2
 257 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm3[1,1,3,3]
 258 ; SSE2-NEXT:    por %xmm2, %xmm3
 259 ; SSE2-NEXT:    pand %xmm3, %xmm1
 260 ; SSE2-NEXT:    pandn %xmm0, %xmm3
 261 ; SSE2-NEXT:    por %xmm1, %xmm3
 262 ; SSE2-NEXT:    movq %xmm3, %rax
 263 ; SSE2-NEXT:    retq
 264 ;
 265 ; SSE41-LABEL: test_v8i64:
 266 ; SSE41:       # %bb.0:
 267 ; SSE41-NEXT:    movdqa %xmm0, %xmm8
 268 ; SSE41-NEXT:    movdqa {{.*#+}} xmm5 = [2147483648,2147483648]
 269 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
 270 ; SSE41-NEXT:    pxor %xmm5, %xmm0
 271 ; SSE41-NEXT:    movdqa %xmm3, %xmm6
 272 ; SSE41-NEXT:    pxor %xmm5, %xmm6
 273 ; SSE41-NEXT:    movdqa %xmm6, %xmm7
 274 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm7
 275 ; SSE41-NEXT:    pshufd {{.*#+}} xmm4 = xmm7[0,0,2,2]
 276 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm6
 277 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm6[1,1,3,3]
 278 ; SSE41-NEXT:    pand %xmm4, %xmm0
 279 ; SSE41-NEXT:    por %xmm7, %xmm0
 280 ; SSE41-NEXT:    blendvpd %xmm0, %xmm1, %xmm3
 281 ; SSE41-NEXT:    movdqa %xmm8, %xmm0
 282 ; SSE41-NEXT:    pxor %xmm5, %xmm0
 283 ; SSE41-NEXT:    movdqa %xmm2, %xmm1
 284 ; SSE41-NEXT:    pxor %xmm5, %xmm1
 285 ; SSE41-NEXT:    movdqa %xmm1, %xmm4
 286 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm4
 287 ; SSE41-NEXT:    pshufd {{.*#+}} xmm6 = xmm4[0,0,2,2]
 288 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm1
 289 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 290 ; SSE41-NEXT:    pand %xmm6, %xmm0
 291 ; SSE41-NEXT:    por %xmm4, %xmm0
 292 ; SSE41-NEXT:    blendvpd %xmm0, %xmm8, %xmm2
 293 ; SSE41-NEXT:    movapd %xmm2, %xmm0
 294 ; SSE41-NEXT:    xorpd %xmm5, %xmm0
 295 ; SSE41-NEXT:    movapd %xmm3, %xmm1
 296 ; SSE41-NEXT:    xorpd %xmm5, %xmm1
 297 ; SSE41-NEXT:    movapd %xmm1, %xmm4
 298 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm4
 299 ; SSE41-NEXT:    pshufd {{.*#+}} xmm6 = xmm4[0,0,2,2]
 300 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm1
 301 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 302 ; SSE41-NEXT:    pand %xmm6, %xmm0
 303 ; SSE41-NEXT:    por %xmm4, %xmm0
 304 ; SSE41-NEXT:    blendvpd %xmm0, %xmm2, %xmm3
 305 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm3[2,3,0,1]
 306 ; SSE41-NEXT:    movdqa %xmm3, %xmm0
 307 ; SSE41-NEXT:    pxor %xmm5, %xmm0
 308 ; SSE41-NEXT:    pxor %xmm1, %xmm5
 309 ; SSE41-NEXT:    movdqa %xmm5, %xmm2
 310 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 311 ; SSE41-NEXT:    pshufd {{.*#+}} xmm4 = xmm2[0,0,2,2]
 312 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm5
 313 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm5[1,1,3,3]
 314 ; SSE41-NEXT:    pand %xmm4, %xmm0
 315 ; SSE41-NEXT:    por %xmm2, %xmm0
 316 ; SSE41-NEXT:    blendvpd %xmm0, %xmm3, %xmm1
 317 ; SSE41-NEXT:    movq %xmm1, %rax
 318 ; SSE41-NEXT:    retq
 319 ;
 320 ; AVX1-LABEL: test_v8i64:
 321 ; AVX1:       # %bb.0:
 322 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
 323 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm3
 324 ; AVX1-NEXT:    vpcmpgtq %xmm2, %xmm3, %xmm2
 325 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm3
 326 ; AVX1-NEXT:    vinsertf128 $1, %xmm2, %ymm3, %ymm2
 327 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 328 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 329 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
 330 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm3
 331 ; AVX1-NEXT:    vinsertf128 $1, %xmm3, %ymm2, %ymm2
 332 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 333 ; AVX1-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 334 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
 335 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 336 ; AVX1-NEXT:    vmovq %xmm0, %rax
 337 ; AVX1-NEXT:    vzeroupper
 338 ; AVX1-NEXT:    retq
 339 ;
 340 ; AVX2-LABEL: test_v8i64:
 341 ; AVX2:       # %bb.0:
 342 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 343 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 344 ; AVX2-NEXT:    vextractf128 $1, %ymm0, %xmm1
 345 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 346 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 347 ; AVX2-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 348 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 349 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 350 ; AVX2-NEXT:    vmovq %xmm0, %rax
 351 ; AVX2-NEXT:    vzeroupper
 352 ; AVX2-NEXT:    retq
 353 ;
 354 ; AVX512-LABEL: test_v8i64:
 355 ; AVX512:       # %bb.0:
 356 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
 357 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 358 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
 359 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 360 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 361 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 362 ; AVX512-NEXT:    vmovq %xmm0, %rax
 363 ; AVX512-NEXT:    vzeroupper
 364 ; AVX512-NEXT:    retq
 365   %1 = call i64 @llvm.experimental.vector.reduce.smin.i64.v8i64(<8 x i64> %a0)
 366   ret i64 %1
 367 }
 368
 369 define i64 @test_v16i64(<16 x i64> %a0) {
 370 ; SSE2-LABEL: test_v16i64:
 371 ; SSE2:       # %bb.0:
 372 ; SSE2-NEXT:    movdqa {{.*#+}} xmm8 = [2147483648,2147483648]
 373 ; SSE2-NEXT:    movdqa %xmm2, %xmm9
 374 ; SSE2-NEXT:    pxor %xmm8, %xmm9
 375 ; SSE2-NEXT:    movdqa %xmm6, %xmm10
 376 ; SSE2-NEXT:    pxor %xmm8, %xmm10
 377 ; SSE2-NEXT:    movdqa %xmm10, %xmm11
 378 ; SSE2-NEXT:    pcmpgtd %xmm9, %xmm11
 379 ; SSE2-NEXT:    pshufd {{.*#+}} xmm12 = xmm11[0,0,2,2]
 380 ; SSE2-NEXT:    pcmpeqd %xmm9, %xmm10
 381 ; SSE2-NEXT:    pshufd {{.*#+}} xmm10 = xmm10[1,1,3,3]
 382 ; SSE2-NEXT:    pand %xmm12, %xmm10
 383 ; SSE2-NEXT:    pshufd {{.*#+}} xmm9 = xmm11[1,1,3,3]
 384 ; SSE2-NEXT:    por %xmm10, %xmm9
 385 ; SSE2-NEXT:    pand %xmm9, %xmm2
 386 ; SSE2-NEXT:    pandn %xmm6, %xmm9
 387 ; SSE2-NEXT:    por %xmm2, %xmm9
 388 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
 389 ; SSE2-NEXT:    pxor %xmm8, %xmm2
 390 ; SSE2-NEXT:    movdqa %xmm4, %xmm6
 391 ; SSE2-NEXT:    pxor %xmm8, %xmm6
 392 ; SSE2-NEXT:    movdqa %xmm6, %xmm10
 393 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm10
 394 ; SSE2-NEXT:    pshufd {{.*#+}} xmm11 = xmm10[0,0,2,2]
 395 ; SSE2-NEXT:    pcmpeqd %xmm2, %xmm6
 396 ; SSE2-NEXT:    pshufd {{.*#+}} xmm6 = xmm6[1,1,3,3]
 397 ; SSE2-NEXT:    pand %xmm11, %xmm6
 398 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm10[1,1,3,3]
 399 ; SSE2-NEXT:    por %xmm6, %xmm2
 400 ; SSE2-NEXT:    pand %xmm2, %xmm0
 401 ; SSE2-NEXT:    pandn %xmm4, %xmm2
 402 ; SSE2-NEXT:    por %xmm0, %xmm2
 403 ; SSE2-NEXT:    movdqa %xmm3, %xmm0
 404 ; SSE2-NEXT:    pxor %xmm8, %xmm0
 405 ; SSE2-NEXT:    movdqa %xmm7, %xmm4
 406 ; SSE2-NEXT:    pxor %xmm8, %xmm4
 407 ; SSE2-NEXT:    movdqa %xmm4, %xmm6
 408 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm6
 409 ; SSE2-NEXT:    pshufd {{.*#+}} xmm10 = xmm6[0,0,2,2]
 410 ; SSE2-NEXT:    pcmpeqd %xmm0, %xmm4
 411 ; SSE2-NEXT:    pshufd {{.*#+}} xmm4 = xmm4[1,1,3,3]
 412 ; SSE2-NEXT:    pand %xmm10, %xmm4
 413 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm6[1,1,3,3]
 414 ; SSE2-NEXT:    por %xmm4, %xmm0
 415 ; SSE2-NEXT:    pand %xmm0, %xmm3
 416 ; SSE2-NEXT:    pandn %xmm7, %xmm0
 417 ; SSE2-NEXT:    por %xmm3, %xmm0
 418 ; SSE2-NEXT:    movdqa %xmm1, %xmm3
 419 ; SSE2-NEXT:    pxor %xmm8, %xmm3
 420 ; SSE2-NEXT:    movdqa %xmm5, %xmm4
 421 ; SSE2-NEXT:    pxor %xmm8, %xmm4
 422 ; SSE2-NEXT:    movdqa %xmm4, %xmm6
 423 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm6
 424 ; SSE2-NEXT:    pshufd {{.*#+}} xmm7 = xmm6[0,0,2,2]
 425 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm4
 426 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
 427 ; SSE2-NEXT:    pand %xmm7, %xmm3
 428 ; SSE2-NEXT:    pshufd {{.*#+}} xmm4 = xmm6[1,1,3,3]
 429 ; SSE2-NEXT:    por %xmm3, %xmm4
 430 ; SSE2-NEXT:    pand %xmm4, %xmm1
 431 ; SSE2-NEXT:    pandn %xmm5, %xmm4
 432 ; SSE2-NEXT:    por %xmm1, %xmm4
 433 ; SSE2-NEXT:    movdqa %xmm4, %xmm1
 434 ; SSE2-NEXT:    pxor %xmm8, %xmm1
 435 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
 436 ; SSE2-NEXT:    pxor %xmm8, %xmm3
 437 ; SSE2-NEXT:    movdqa %xmm3, %xmm5
 438 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm5
 439 ; SSE2-NEXT:    pshufd {{.*#+}} xmm6 = xmm5[0,0,2,2]
 440 ; SSE2-NEXT:    pcmpeqd %xmm1, %xmm3
 441 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm3[1,1,3,3]
 442 ; SSE2-NEXT:    pand %xmm6, %xmm3
 443 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm5[1,1,3,3]
 444 ; SSE2-NEXT:    por %xmm3, %xmm1
 445 ; SSE2-NEXT:    pand %xmm1, %xmm4
 446 ; SSE2-NEXT:    pandn %xmm0, %xmm1
 447 ; SSE2-NEXT:    por %xmm4, %xmm1
 448 ; SSE2-NEXT:    movdqa %xmm2, %xmm0
 449 ; SSE2-NEXT:    pxor %xmm8, %xmm0
 450 ; SSE2-NEXT:    movdqa %xmm9, %xmm3
 451 ; SSE2-NEXT:    pxor %xmm8, %xmm3
 452 ; SSE2-NEXT:    movdqa %xmm3, %xmm4
 453 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm4
 454 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
 455 ; SSE2-NEXT:    pcmpeqd %xmm0, %xmm3
 456 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm3[1,1,3,3]
 457 ; SSE2-NEXT:    pand %xmm5, %xmm0
 458 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
 459 ; SSE2-NEXT:    por %xmm0, %xmm3
 460 ; SSE2-NEXT:    pand %xmm3, %xmm2
 461 ; SSE2-NEXT:    pandn %xmm9, %xmm3
 462 ; SSE2-NEXT:    por %xmm2, %xmm3
 463 ; SSE2-NEXT:    movdqa %xmm3, %xmm0
 464 ; SSE2-NEXT:    pxor %xmm8, %xmm0
 465 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
 466 ; SSE2-NEXT:    pxor %xmm8, %xmm2
 467 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
 468 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm4
 469 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
 470 ; SSE2-NEXT:    pcmpeqd %xmm0, %xmm2
 471 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,3,3]
 472 ; SSE2-NEXT:    pand %xmm5, %xmm0
 473 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm4[1,1,3,3]
 474 ; SSE2-NEXT:    por %xmm0, %xmm2
 475 ; SSE2-NEXT:    pand %xmm2, %xmm3
 476 ; SSE2-NEXT:    pandn %xmm1, %xmm2
 477 ; SSE2-NEXT:    por %xmm3, %xmm2
 478 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[2,3,0,1]
 479 ; SSE2-NEXT:    movdqa %xmm2, %xmm1
 480 ; SSE2-NEXT:    pxor %xmm8, %xmm1
 481 ; SSE2-NEXT:    pxor %xmm0, %xmm8
 482 ; SSE2-NEXT:    movdqa %xmm8, %xmm3
 483 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm3
 484 ; SSE2-NEXT:    pshufd {{.*#+}} xmm4 = xmm3[0,0,2,2]
 485 ; SSE2-NEXT:    pcmpeqd %xmm1, %xmm8
 486 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm8[1,1,3,3]
 487 ; SSE2-NEXT:    pand %xmm4, %xmm1
 488 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm3[1,1,3,3]
 489 ; SSE2-NEXT:    por %xmm1, %xmm3
 490 ; SSE2-NEXT:    pand %xmm3, %xmm2
 491 ; SSE2-NEXT:    pandn %xmm0, %xmm3
 492 ; SSE2-NEXT:    por %xmm2, %xmm3
 493 ; SSE2-NEXT:    movq %xmm3, %rax
 494 ; SSE2-NEXT:    retq
 495 ;
 496 ; SSE41-LABEL: test_v16i64:
 497 ; SSE41:       # %bb.0:
 498 ; SSE41-NEXT:    movdqa %xmm0, %xmm8
 499 ; SSE41-NEXT:    movdqa {{.*#+}} xmm9 = [2147483648,2147483648]
 500 ; SSE41-NEXT:    movdqa %xmm2, %xmm10
 501 ; SSE41-NEXT:    pxor %xmm9, %xmm10
 502 ; SSE41-NEXT:    movdqa %xmm6, %xmm0
 503 ; SSE41-NEXT:    pxor %xmm9, %xmm0
 504 ; SSE41-NEXT:    movdqa %xmm0, %xmm11
 505 ; SSE41-NEXT:    pcmpgtd %xmm10, %xmm11
 506 ; SSE41-NEXT:    pshufd {{.*#+}} xmm12 = xmm11[0,0,2,2]
 507 ; SSE41-NEXT:    pcmpeqd %xmm10, %xmm0
 508 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
 509 ; SSE41-NEXT:    pand %xmm12, %xmm0
 510 ; SSE41-NEXT:    por %xmm11, %xmm0
 511 ; SSE41-NEXT:    blendvpd %xmm0, %xmm2, %xmm6
 512 ; SSE41-NEXT:    movdqa %xmm8, %xmm0
 513 ; SSE41-NEXT:    pxor %xmm9, %xmm0
 514 ; SSE41-NEXT:    movdqa %xmm4, %xmm2
 515 ; SSE41-NEXT:    pxor %xmm9, %xmm2
 516 ; SSE41-NEXT:    movdqa %xmm2, %xmm10
 517 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm10
 518 ; SSE41-NEXT:    pshufd {{.*#+}} xmm11 = xmm10[0,0,2,2]
 519 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm2
 520 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,3,3]
 521 ; SSE41-NEXT:    pand %xmm11, %xmm0
 522 ; SSE41-NEXT:    por %xmm10, %xmm0
 523 ; SSE41-NEXT:    blendvpd %xmm0, %xmm8, %xmm4
 524 ; SSE41-NEXT:    movdqa %xmm3, %xmm0
 525 ; SSE41-NEXT:    pxor %xmm9, %xmm0
 526 ; SSE41-NEXT:    movdqa %xmm7, %xmm2
 527 ; SSE41-NEXT:    pxor %xmm9, %xmm2
 528 ; SSE41-NEXT:    movdqa %xmm2, %xmm8
 529 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm8
 530 ; SSE41-NEXT:    pshufd {{.*#+}} xmm10 = xmm8[0,0,2,2]
 531 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm2
 532 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,3,3]
 533 ; SSE41-NEXT:    pand %xmm10, %xmm0
 534 ; SSE41-NEXT:    por %xmm8, %xmm0
 535 ; SSE41-NEXT:    blendvpd %xmm0, %xmm3, %xmm7
 536 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
 537 ; SSE41-NEXT:    pxor %xmm9, %xmm0
 538 ; SSE41-NEXT:    movdqa %xmm5, %xmm2
 539 ; SSE41-NEXT:    pxor %xmm9, %xmm2
 540 ; SSE41-NEXT:    movdqa %xmm2, %xmm3
 541 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm3
 542 ; SSE41-NEXT:    pshufd {{.*#+}} xmm8 = xmm3[0,0,2,2]
 543 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm2
 544 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,3,3]
 545 ; SSE41-NEXT:    pand %xmm8, %xmm0
 546 ; SSE41-NEXT:    por %xmm3, %xmm0
 547 ; SSE41-NEXT:    blendvpd %xmm0, %xmm1, %xmm5
 548 ; SSE41-NEXT:    movapd %xmm5, %xmm0
 549 ; SSE41-NEXT:    xorpd %xmm9, %xmm0
 550 ; SSE41-NEXT:    movapd %xmm7, %xmm1
 551 ; SSE41-NEXT:    xorpd %xmm9, %xmm1
 552 ; SSE41-NEXT:    movapd %xmm1, %xmm2
 553 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 554 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm2[0,0,2,2]
 555 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm1
 556 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 557 ; SSE41-NEXT:    pand %xmm3, %xmm0
 558 ; SSE41-NEXT:    por %xmm2, %xmm0
 559 ; SSE41-NEXT:    blendvpd %xmm0, %xmm5, %xmm7
 560 ; SSE41-NEXT:    movapd %xmm4, %xmm0
 561 ; SSE41-NEXT:    xorpd %xmm9, %xmm0
 562 ; SSE41-NEXT:    movapd %xmm6, %xmm1
 563 ; SSE41-NEXT:    xorpd %xmm9, %xmm1
 564 ; SSE41-NEXT:    movapd %xmm1, %xmm2
 565 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 566 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm2[0,0,2,2]
 567 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm1
 568 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 569 ; SSE41-NEXT:    pand %xmm3, %xmm0
 570 ; SSE41-NEXT:    por %xmm2, %xmm0
 571 ; SSE41-NEXT:    blendvpd %xmm0, %xmm4, %xmm6
 572 ; SSE41-NEXT:    movapd %xmm6, %xmm0
 573 ; SSE41-NEXT:    xorpd %xmm9, %xmm0
 574 ; SSE41-NEXT:    movapd %xmm7, %xmm1
 575 ; SSE41-NEXT:    xorpd %xmm9, %xmm1
 576 ; SSE41-NEXT:    movapd %xmm1, %xmm2
 577 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 578 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm2[0,0,2,2]
 579 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm1
 580 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,3,3]
 581 ; SSE41-NEXT:    pand %xmm3, %xmm0
 582 ; SSE41-NEXT:    por %xmm2, %xmm0
 583 ; SSE41-NEXT:    blendvpd %xmm0, %xmm6, %xmm7
 584 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm7[2,3,0,1]
 585 ; SSE41-NEXT:    movdqa %xmm7, %xmm0
 586 ; SSE41-NEXT:    pxor %xmm9, %xmm0
 587 ; SSE41-NEXT:    pxor %xmm1, %xmm9
 588 ; SSE41-NEXT:    movdqa %xmm9, %xmm2
 589 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 590 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm2[0,0,2,2]
 591 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm9
 592 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm9[1,1,3,3]
 593 ; SSE41-NEXT:    pand %xmm3, %xmm0
 594 ; SSE41-NEXT:    por %xmm2, %xmm0
 595 ; SSE41-NEXT:    blendvpd %xmm0, %xmm7, %xmm1
 596 ; SSE41-NEXT:    movq %xmm1, %rax
 597 ; SSE41-NEXT:    retq
 598 ;
 599 ; AVX1-LABEL: test_v16i64:
 600 ; AVX1:       # %bb.0:
 601 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm4
 602 ; AVX1-NEXT:    vextractf128 $1, %ymm3, %xmm5
 603 ; AVX1-NEXT:    vpcmpgtq %xmm4, %xmm5, %xmm4
 604 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm3, %xmm5
 605 ; AVX1-NEXT:    vinsertf128 $1, %xmm4, %ymm5, %ymm4
 606 ; AVX1-NEXT:    vblendvpd %ymm4, %ymm1, %ymm3, %ymm1
 607 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm3
 608 ; AVX1-NEXT:    vextractf128 $1, %ymm2, %xmm4
 609 ; AVX1-NEXT:    vpcmpgtq %xmm3, %xmm4, %xmm3
 610 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm2, %xmm4
 611 ; AVX1-NEXT:    vinsertf128 $1, %xmm3, %ymm4, %ymm3
 612 ; AVX1-NEXT:    vblendvpd %ymm3, %ymm0, %ymm2, %ymm0
 613 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
 614 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm3
 615 ; AVX1-NEXT:    vpcmpgtq %xmm2, %xmm3, %xmm2
 616 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm3
 617 ; AVX1-NEXT:    vinsertf128 $1, %xmm2, %ymm3, %ymm2
 618 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 619 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 620 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
 621 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm3
 622 ; AVX1-NEXT:    vinsertf128 $1, %xmm3, %ymm2, %ymm2
 623 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 624 ; AVX1-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 625 ; AVX1-NEXT:    vpcmpgtq %xmm0, %xmm1, %xmm2
 626 ; AVX1-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 627 ; AVX1-NEXT:    vmovq %xmm0, %rax
 628 ; AVX1-NEXT:    vzeroupper
 629 ; AVX1-NEXT:    retq
 630 ;
 631 ; AVX2-LABEL: test_v16i64:
 632 ; AVX2:       # %bb.0:
 633 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm2, %ymm4
 634 ; AVX2-NEXT:    vblendvpd %ymm4, %ymm0, %ymm2, %ymm0
 635 ; AVX2-NEXT:    vpcmpgtq %ymm1, %ymm3, %ymm2
 636 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm1, %ymm3, %ymm1
 637 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 638 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 639 ; AVX2-NEXT:    vextractf128 $1, %ymm0, %xmm1
 640 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 641 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 642 ; AVX2-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 643 ; AVX2-NEXT:    vpcmpgtq %ymm0, %ymm1, %ymm2
 644 ; AVX2-NEXT:    vblendvpd %ymm2, %ymm0, %ymm1, %ymm0
 645 ; AVX2-NEXT:    vmovq %xmm0, %rax
 646 ; AVX2-NEXT:    vzeroupper
 647 ; AVX2-NEXT:    retq
 648 ;
 649 ; AVX512-LABEL: test_v16i64:
 650 ; AVX512:       # %bb.0:
 651 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 652 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
 653 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 654 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
 655 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 656 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 657 ; AVX512-NEXT:    vpminsq %zmm1, %zmm0, %zmm0
 658 ; AVX512-NEXT:    vmovq %xmm0, %rax
 659 ; AVX512-NEXT:    vzeroupper
 660 ; AVX512-NEXT:    retq
 661   %1 = call i64 @llvm.experimental.vector.reduce.smin.i64.v16i64(<16 x i64> %a0)
 662   ret i64 %1
 663 }
 664
 665 ;
 666 ; vXi32
 667 ;
 668
 669 define i32 @test_v2i32(<2 x i32> %a0) {
 670 ; SSE2-LABEL: test_v2i32:
 671 ; SSE2:       # %bb.0:
 672 ; SSE2-NEXT:    pxor %xmm1, %xmm1
 673 ; SSE2-NEXT:    punpckhdq {{.*#+}} xmm1 = xmm1[2],xmm0[2],xmm1[3],xmm0[3]
 674 ; SSE2-NEXT:    psllq $32, %xmm0
 675 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm0[1,3,2,3]
 676 ; SSE2-NEXT:    psrad $31, %xmm0
 677 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,3,2,3]
 678 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]
 679 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,3,2,3]
 680 ; SSE2-NEXT:    psrad $31, %xmm1
 681 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,3,2,3]
 682 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
 683 ; SSE2-NEXT:    movdqa {{.*#+}} xmm1 = [2147483648,2147483648]
 684 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
 685 ; SSE2-NEXT:    pxor %xmm1, %xmm3
 686 ; SSE2-NEXT:    pxor %xmm2, %xmm1
 687 ; SSE2-NEXT:    movdqa %xmm3, %xmm4
 688 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm4
 689 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
 690 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm1
 691 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
 692 ; SSE2-NEXT:    pand %xmm5, %xmm1
 693 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
 694 ; SSE2-NEXT:    por %xmm1, %xmm3
 695 ; SSE2-NEXT:    pand %xmm3, %xmm2
 696 ; SSE2-NEXT:    pandn %xmm0, %xmm3
 697 ; SSE2-NEXT:    por %xmm2, %xmm3
 698 ; SSE2-NEXT:    movd %xmm3, %eax
 699 ; SSE2-NEXT:    retq
 700 ;
 701 ; SSE41-LABEL: test_v2i32:
 702 ; SSE41:       # %bb.0:
 703 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
 704 ; SSE41-NEXT:    psllq $32, %xmm1
 705 ; SSE41-NEXT:    psrad $31, %xmm1
 706 ; SSE41-NEXT:    pblendw {{.*#+}} xmm1 = xmm0[0,1],xmm1[2,3],xmm0[4,5],xmm1[6,7]
 707 ; SSE41-NEXT:    pshufd {{.*#+}} xmm2 = xmm0[2,2,3,3]
 708 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm0[0,2,2,3]
 709 ; SSE41-NEXT:    psrad $31, %xmm3
 710 ; SSE41-NEXT:    pblendw {{.*#+}} xmm3 = xmm2[0,1],xmm3[2,3],xmm2[4,5],xmm3[6,7]
 711 ; SSE41-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
 712 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
 713 ; SSE41-NEXT:    pxor %xmm2, %xmm0
 714 ; SSE41-NEXT:    pxor %xmm3, %xmm2
 715 ; SSE41-NEXT:    movdqa %xmm2, %xmm4
 716 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm4
 717 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
 718 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[0,0,2,2]
 719 ; SSE41-NEXT:    pand %xmm4, %xmm0
 720 ; SSE41-NEXT:    por %xmm2, %xmm0
 721 ; SSE41-NEXT:    blendvpd %xmm0, %xmm1, %xmm3
 722 ; SSE41-NEXT:    movd %xmm3, %eax
 723 ; SSE41-NEXT:    retq
 724 ;
 725 ; AVX1-LABEL: test_v2i32:
 726 ; AVX1:       # %bb.0:
 727 ; AVX1-NEXT:    vpsllq $32, %xmm0, %xmm1
 728 ; AVX1-NEXT:    vpsrad $31, %xmm1, %xmm1
 729 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm1 = xmm0[0,1],xmm1[2,3],xmm0[4,5],xmm1[6,7]
 730 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm2 = xmm0[2,2,3,3]
 731 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
 732 ; AVX1-NEXT:    vpsrad $31, %xmm0, %xmm0
 733 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm0 = xmm2[0,1],xmm0[2,3],xmm2[4,5],xmm0[6,7]
 734 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
 735 ; AVX1-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
 736 ; AVX1-NEXT:    vmovd %xmm0, %eax
 737 ; AVX1-NEXT:    retq
 738 ;
 739 ; AVX2-LABEL: test_v2i32:
 740 ; AVX2:       # %bb.0:
 741 ; AVX2-NEXT:    vpsllq $32, %xmm0, %xmm1
 742 ; AVX2-NEXT:    vpsrad $31, %xmm1, %xmm1
 743 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm1 = xmm0[0],xmm1[1],xmm0[2],xmm1[3]
 744 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm2 = xmm0[2,2,3,3]
 745 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
 746 ; AVX2-NEXT:    vpsrad $31, %xmm0, %xmm0
 747 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm0 = xmm2[0],xmm0[1],xmm2[2],xmm0[3]
 748 ; AVX2-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
 749 ; AVX2-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
 750 ; AVX2-NEXT:    vmovd %xmm0, %eax
 751 ; AVX2-NEXT:    retq
 752 ;
 753 ; AVX512BW-LABEL: test_v2i32:
 754 ; AVX512BW:       # %bb.0:
 755 ; AVX512BW-NEXT:    vpsllq $32, %xmm0, %xmm1
 756 ; AVX512BW-NEXT:    vpsraq $32, %zmm1, %zmm1
 757 ; AVX512BW-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
 758 ; AVX512BW-NEXT:    vpsraq $32, %zmm0, %zmm0
 759 ; AVX512BW-NEXT:    vpminsq %zmm0, %zmm1, %zmm0
 760 ; AVX512BW-NEXT:    vmovd %xmm0, %eax
 761 ; AVX512BW-NEXT:    vzeroupper
 762 ; AVX512BW-NEXT:    retq
 763 ;
 764 ; AVX512VL-LABEL: test_v2i32:
 765 ; AVX512VL:       # %bb.0:
 766 ; AVX512VL-NEXT:    vpsllq $32, %xmm0, %xmm1
 767 ; AVX512VL-NEXT:    vpsraq $32, %xmm1, %xmm1
 768 ; AVX512VL-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
 769 ; AVX512VL-NEXT:    vpsllq $32, %xmm0, %xmm0
 770 ; AVX512VL-NEXT:    vpsraq $32, %xmm0, %xmm0
 771 ; AVX512VL-NEXT:    vpminsq %xmm0, %xmm1, %xmm0
 772 ; AVX512VL-NEXT:    vmovd %xmm0, %eax
 773 ; AVX512VL-NEXT:    retq
 774   %1 = call i32 @llvm.experimental.vector.reduce.smin.i32.v2i32(<2 x i32> %a0)
 775   ret i32 %1
 776 }
 777
 778 define i32 @test_v4i32(<4 x i32> %a0) {
 779 ; SSE2-LABEL: test_v4i32:
 780 ; SSE2:       # %bb.0:
 781 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 782 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
 783 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm2
 784 ; SSE2-NEXT:    pand %xmm2, %xmm0
 785 ; SSE2-NEXT:    pandn %xmm1, %xmm2
 786 ; SSE2-NEXT:    por %xmm0, %xmm2
 787 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
 788 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 789 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
 790 ; SSE2-NEXT:    pand %xmm1, %xmm2
 791 ; SSE2-NEXT:    pandn %xmm0, %xmm1
 792 ; SSE2-NEXT:    por %xmm2, %xmm1
 793 ; SSE2-NEXT:    movd %xmm1, %eax
 794 ; SSE2-NEXT:    retq
 795 ;
 796 ; SSE41-LABEL: test_v4i32:
 797 ; SSE41:       # %bb.0:
 798 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 799 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
 800 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
 801 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
 802 ; SSE41-NEXT:    movd %xmm0, %eax
 803 ; SSE41-NEXT:    retq
 804 ;
 805 ; AVX-LABEL: test_v4i32:
 806 ; AVX:       # %bb.0:
 807 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 808 ; AVX-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 809 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 810 ; AVX-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 811 ; AVX-NEXT:    vmovd %xmm0, %eax
 812 ; AVX-NEXT:    retq
 813 ;
 814 ; AVX512-LABEL: test_v4i32:
 815 ; AVX512:       # %bb.0:
 816 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 817 ; AVX512-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 818 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 819 ; AVX512-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 820 ; AVX512-NEXT:    vmovd %xmm0, %eax
 821 ; AVX512-NEXT:    retq
 822   %1 = call i32 @llvm.experimental.vector.reduce.smin.i32.v4i32(<4 x i32> %a0)
 823   ret i32 %1
 824 }
 825
 826 define i32 @test_v8i32(<8 x i32> %a0) {
 827 ; SSE2-LABEL: test_v8i32:
 828 ; SSE2:       # %bb.0:
 829 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
 830 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm2
 831 ; SSE2-NEXT:    pand %xmm2, %xmm0
 832 ; SSE2-NEXT:    pandn %xmm1, %xmm2
 833 ; SSE2-NEXT:    por %xmm0, %xmm2
 834 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[2,3,0,1]
 835 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 836 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
 837 ; SSE2-NEXT:    pand %xmm1, %xmm2
 838 ; SSE2-NEXT:    pandn %xmm0, %xmm1
 839 ; SSE2-NEXT:    por %xmm2, %xmm1
 840 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
 841 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
 842 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm2
 843 ; SSE2-NEXT:    pand %xmm2, %xmm1
 844 ; SSE2-NEXT:    pandn %xmm0, %xmm2
 845 ; SSE2-NEXT:    por %xmm1, %xmm2
 846 ; SSE2-NEXT:    movd %xmm2, %eax
 847 ; SSE2-NEXT:    retq
 848 ;
 849 ; SSE41-LABEL: test_v8i32:
 850 ; SSE41:       # %bb.0:
 851 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
 852 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 853 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
 854 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
 855 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
 856 ; SSE41-NEXT:    movd %xmm0, %eax
 857 ; SSE41-NEXT:    retq
 858 ;
 859 ; AVX1-LABEL: test_v8i32:
 860 ; AVX1:       # %bb.0:
 861 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 862 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 863 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 864 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 865 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 866 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 867 ; AVX1-NEXT:    vmovd %xmm0, %eax
 868 ; AVX1-NEXT:    vzeroupper
 869 ; AVX1-NEXT:    retq
 870 ;
 871 ; AVX2-LABEL: test_v8i32:
 872 ; AVX2:       # %bb.0:
 873 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
 874 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 875 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 876 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 877 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 878 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 879 ; AVX2-NEXT:    vmovd %xmm0, %eax
 880 ; AVX2-NEXT:    vzeroupper
 881 ; AVX2-NEXT:    retq
 882 ;
 883 ; AVX512-LABEL: test_v8i32:
 884 ; AVX512:       # %bb.0:
 885 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
 886 ; AVX512-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 887 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 888 ; AVX512-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 889 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 890 ; AVX512-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 891 ; AVX512-NEXT:    vmovd %xmm0, %eax
 892 ; AVX512-NEXT:    vzeroupper
 893 ; AVX512-NEXT:    retq
 894   %1 = call i32 @llvm.experimental.vector.reduce.smin.i32.v8i32(<8 x i32> %a0)
 895   ret i32 %1
 896 }
 897
 898 define i32 @test_v16i32(<16 x i32> %a0) {
 899 ; SSE2-LABEL: test_v16i32:
 900 ; SSE2:       # %bb.0:
 901 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
 902 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm4
 903 ; SSE2-NEXT:    pand %xmm4, %xmm0
 904 ; SSE2-NEXT:    pandn %xmm2, %xmm4
 905 ; SSE2-NEXT:    por %xmm0, %xmm4
 906 ; SSE2-NEXT:    movdqa %xmm3, %xmm0
 907 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm0
 908 ; SSE2-NEXT:    pand %xmm0, %xmm1
 909 ; SSE2-NEXT:    pandn %xmm3, %xmm0
 910 ; SSE2-NEXT:    por %xmm1, %xmm0
 911 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 912 ; SSE2-NEXT:    pcmpgtd %xmm4, %xmm1
 913 ; SSE2-NEXT:    pand %xmm1, %xmm4
 914 ; SSE2-NEXT:    pandn %xmm0, %xmm1
 915 ; SSE2-NEXT:    por %xmm4, %xmm1
 916 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
 917 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
 918 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm2
 919 ; SSE2-NEXT:    pand %xmm2, %xmm1
 920 ; SSE2-NEXT:    pandn %xmm0, %xmm2
 921 ; SSE2-NEXT:    por %xmm1, %xmm2
 922 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
 923 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 924 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
 925 ; SSE2-NEXT:    pand %xmm1, %xmm2
 926 ; SSE2-NEXT:    pandn %xmm0, %xmm1
 927 ; SSE2-NEXT:    por %xmm2, %xmm1
 928 ; SSE2-NEXT:    movd %xmm1, %eax
 929 ; SSE2-NEXT:    retq
 930 ;
 931 ; SSE41-LABEL: test_v16i32:
 932 ; SSE41:       # %bb.0:
 933 ; SSE41-NEXT:    pminsd %xmm3, %xmm1
 934 ; SSE41-NEXT:    pminsd %xmm2, %xmm0
 935 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
 936 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 937 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
 938 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
 939 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
 940 ; SSE41-NEXT:    movd %xmm0, %eax
 941 ; SSE41-NEXT:    retq
 942 ;
 943 ; AVX1-LABEL: test_v16i32:
 944 ; AVX1:       # %bb.0:
 945 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
 946 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm3
 947 ; AVX1-NEXT:    vpminsd %xmm2, %xmm3, %xmm2
 948 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 949 ; AVX1-NEXT:    vpminsd %xmm2, %xmm0, %xmm0
 950 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 951 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 952 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 953 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
 954 ; AVX1-NEXT:    vmovd %xmm0, %eax
 955 ; AVX1-NEXT:    vzeroupper
 956 ; AVX1-NEXT:    retq
 957 ;
 958 ; AVX2-LABEL: test_v16i32:
 959 ; AVX2:       # %bb.0:
 960 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 961 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
 962 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 963 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 964 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 965 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 966 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
 967 ; AVX2-NEXT:    vmovd %xmm0, %eax
 968 ; AVX2-NEXT:    vzeroupper
 969 ; AVX2-NEXT:    retq
 970 ;
 971 ; AVX512-LABEL: test_v16i32:
 972 ; AVX512:       # %bb.0:
 973 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
 974 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
 975 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
 976 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
 977 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 978 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
 979 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 980 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
 981 ; AVX512-NEXT:    vmovd %xmm0, %eax
 982 ; AVX512-NEXT:    vzeroupper
 983 ; AVX512-NEXT:    retq
 984   %1 = call i32 @llvm.experimental.vector.reduce.smin.i32.v16i32(<16 x i32> %a0)
 985   ret i32 %1
 986 }
 987
 988 define i32 @test_v32i32(<32 x i32> %a0) {
 989 ; SSE2-LABEL: test_v32i32:
 990 ; SSE2:       # %bb.0:
 991 ; SSE2-NEXT:    movdqa %xmm5, %xmm8
 992 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm8
 993 ; SSE2-NEXT:    pand %xmm8, %xmm1
 994 ; SSE2-NEXT:    pandn %xmm5, %xmm8
 995 ; SSE2-NEXT:    por %xmm1, %xmm8
 996 ; SSE2-NEXT:    movdqa %xmm7, %xmm1
 997 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm1
 998 ; SSE2-NEXT:    pand %xmm1, %xmm3
 999 ; SSE2-NEXT:    pandn %xmm7, %xmm1
1000 ; SSE2-NEXT:    por %xmm3, %xmm1
1001 ; SSE2-NEXT:    movdqa %xmm4, %xmm3
1002 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm3
1003 ; SSE2-NEXT:    pand %xmm3, %xmm0
1004 ; SSE2-NEXT:    pandn %xmm4, %xmm3
1005 ; SSE2-NEXT:    por %xmm0, %xmm3
1006 ; SSE2-NEXT:    movdqa %xmm6, %xmm0
1007 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm0
1008 ; SSE2-NEXT:    pand %xmm0, %xmm2
1009 ; SSE2-NEXT:    pandn %xmm6, %xmm0
1010 ; SSE2-NEXT:    por %xmm2, %xmm0
1011 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1012 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm2
1013 ; SSE2-NEXT:    pand %xmm2, %xmm3
1014 ; SSE2-NEXT:    pandn %xmm0, %xmm2
1015 ; SSE2-NEXT:    por %xmm3, %xmm2
1016 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
1017 ; SSE2-NEXT:    pcmpgtd %xmm8, %xmm0
1018 ; SSE2-NEXT:    pand %xmm0, %xmm8
1019 ; SSE2-NEXT:    pandn %xmm1, %xmm0
1020 ; SSE2-NEXT:    por %xmm8, %xmm0
1021 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1022 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
1023 ; SSE2-NEXT:    pand %xmm1, %xmm2
1024 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1025 ; SSE2-NEXT:    por %xmm2, %xmm1
1026 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
1027 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1028 ; SSE2-NEXT:    pcmpgtd %xmm1, %xmm2
1029 ; SSE2-NEXT:    pand %xmm2, %xmm1
1030 ; SSE2-NEXT:    pandn %xmm0, %xmm2
1031 ; SSE2-NEXT:    por %xmm1, %xmm2
1032 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
1033 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1034 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
1035 ; SSE2-NEXT:    pand %xmm1, %xmm2
1036 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1037 ; SSE2-NEXT:    por %xmm2, %xmm1
1038 ; SSE2-NEXT:    movd %xmm1, %eax
1039 ; SSE2-NEXT:    retq
1040 ;
1041 ; SSE41-LABEL: test_v32i32:
1042 ; SSE41:       # %bb.0:
1043 ; SSE41-NEXT:    pminsd %xmm6, %xmm2
1044 ; SSE41-NEXT:    pminsd %xmm4, %xmm0
1045 ; SSE41-NEXT:    pminsd %xmm2, %xmm0
1046 ; SSE41-NEXT:    pminsd %xmm7, %xmm3
1047 ; SSE41-NEXT:    pminsd %xmm5, %xmm1
1048 ; SSE41-NEXT:    pminsd %xmm3, %xmm1
1049 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
1050 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
1051 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
1052 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1053 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
1054 ; SSE41-NEXT:    movd %xmm1, %eax
1055 ; SSE41-NEXT:    retq
1056 ;
1057 ; AVX1-LABEL: test_v32i32:
1058 ; AVX1:       # %bb.0:
1059 ; AVX1-NEXT:    vpminsd %xmm3, %xmm1, %xmm4
1060 ; AVX1-NEXT:    vpminsd %xmm2, %xmm0, %xmm5
1061 ; AVX1-NEXT:    vpminsd %xmm4, %xmm5, %xmm4
1062 ; AVX1-NEXT:    vextractf128 $1, %ymm3, %xmm3
1063 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm1
1064 ; AVX1-NEXT:    vpminsd %xmm3, %xmm1, %xmm1
1065 ; AVX1-NEXT:    vextractf128 $1, %ymm2, %xmm2
1066 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
1067 ; AVX1-NEXT:    vpminsd %xmm2, %xmm0, %xmm0
1068 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1069 ; AVX1-NEXT:    vpminsd %xmm0, %xmm4, %xmm0
1070 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1071 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1072 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1073 ; AVX1-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1074 ; AVX1-NEXT:    vmovd %xmm0, %eax
1075 ; AVX1-NEXT:    vzeroupper
1076 ; AVX1-NEXT:    retq
1077 ;
1078 ; AVX2-LABEL: test_v32i32:
1079 ; AVX2:       # %bb.0:
1080 ; AVX2-NEXT:    vpminsd %ymm3, %ymm1, %ymm1
1081 ; AVX2-NEXT:    vpminsd %ymm2, %ymm0, %ymm0
1082 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
1083 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1084 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
1085 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1086 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
1087 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1088 ; AVX2-NEXT:    vpminsd %ymm1, %ymm0, %ymm0
1089 ; AVX2-NEXT:    vmovd %xmm0, %eax
1090 ; AVX2-NEXT:    vzeroupper
1091 ; AVX2-NEXT:    retq
1092 ;
1093 ; AVX512-LABEL: test_v32i32:
1094 ; AVX512:       # %bb.0:
1095 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
1096 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
1097 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
1098 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
1099 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
1100 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1101 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
1102 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1103 ; AVX512-NEXT:    vpminsd %zmm1, %zmm0, %zmm0
1104 ; AVX512-NEXT:    vmovd %xmm0, %eax
1105 ; AVX512-NEXT:    vzeroupper
1106 ; AVX512-NEXT:    retq
1107   %1 = call i32 @llvm.experimental.vector.reduce.smin.i32.v32i32(<32 x i32> %a0)
1108   ret i32 %1
1109 }
1110
1111 ;
1112 ; vXi16
1113 ;
1114
1115 define i16 @test_v2i16(<2 x i16> %a0) {
1116 ; SSE2-LABEL: test_v2i16:
1117 ; SSE2:       # %bb.0:
1118 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1119 ; SSE2-NEXT:    psllq $48, %xmm0
1120 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1121 ; SSE2-NEXT:    psrad $31, %xmm2
1122 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,3,2,3]
1123 ; SSE2-NEXT:    psrad $16, %xmm0
1124 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,3,2,3]
1125 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
1126 ; SSE2-NEXT:    psllq $48, %xmm1
1127 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1128 ; SSE2-NEXT:    psrad $31, %xmm2
1129 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,3,2,3]
1130 ; SSE2-NEXT:    psrad $16, %xmm1
1131 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,3,2,3]
1132 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[1],xmm2[1]
1133 ; SSE2-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
1134 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
1135 ; SSE2-NEXT:    pxor %xmm2, %xmm3
1136 ; SSE2-NEXT:    pxor %xmm1, %xmm2
1137 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
1138 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm4
1139 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
1140 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm2
1141 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,1,3,3]
1142 ; SSE2-NEXT:    pand %xmm5, %xmm2
1143 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
1144 ; SSE2-NEXT:    por %xmm2, %xmm3
1145 ; SSE2-NEXT:    pand %xmm3, %xmm0
1146 ; SSE2-NEXT:    pandn %xmm1, %xmm3
1147 ; SSE2-NEXT:    por %xmm0, %xmm3
1148 ; SSE2-NEXT:    movd %xmm3, %eax
1149 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1150 ; SSE2-NEXT:    retq
1151 ;
1152 ; SSE41-LABEL: test_v2i16:
1153 ; SSE41:       # %bb.0:
1154 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1155 ; SSE41-NEXT:    psllq $48, %xmm0
1156 ; SSE41-NEXT:    movdqa %xmm0, %xmm2
1157 ; SSE41-NEXT:    psrad $31, %xmm2
1158 ; SSE41-NEXT:    psrad $16, %xmm0
1159 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm0[1,1,3,3]
1160 ; SSE41-NEXT:    pblendw {{.*#+}} xmm3 = xmm3[0,1],xmm2[2,3],xmm3[4,5],xmm2[6,7]
1161 ; SSE41-NEXT:    psllq $48, %xmm1
1162 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
1163 ; SSE41-NEXT:    psrad $31, %xmm0
1164 ; SSE41-NEXT:    psrad $16, %xmm1
1165 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1166 ; SSE41-NEXT:    pblendw {{.*#+}} xmm1 = xmm1[0,1],xmm0[2,3],xmm1[4,5],xmm0[6,7]
1167 ; SSE41-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
1168 ; SSE41-NEXT:    movdqa %xmm3, %xmm0
1169 ; SSE41-NEXT:    pxor %xmm2, %xmm0
1170 ; SSE41-NEXT:    pxor %xmm1, %xmm2
1171 ; SSE41-NEXT:    movdqa %xmm2, %xmm4
1172 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm4
1173 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
1174 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[0,0,2,2]
1175 ; SSE41-NEXT:    pand %xmm4, %xmm0
1176 ; SSE41-NEXT:    por %xmm2, %xmm0
1177 ; SSE41-NEXT:    blendvpd %xmm0, %xmm3, %xmm1
1178 ; SSE41-NEXT:    movd %xmm1, %eax
1179 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1180 ; SSE41-NEXT:    retq
1181 ;
1182 ; AVX1-LABEL: test_v2i16:
1183 ; AVX1:       # %bb.0:
1184 ; AVX1-NEXT:    vpsllq $48, %xmm0, %xmm1
1185 ; AVX1-NEXT:    vpsrad $31, %xmm1, %xmm2
1186 ; AVX1-NEXT:    vpsrad $16, %xmm1, %xmm1
1187 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1188 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm1 = xmm1[0,1],xmm2[2,3],xmm1[4,5],xmm2[6,7]
1189 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1190 ; AVX1-NEXT:    vpsllq $48, %xmm0, %xmm0
1191 ; AVX1-NEXT:    vpsrad $31, %xmm0, %xmm2
1192 ; AVX1-NEXT:    vpsrad $16, %xmm0, %xmm0
1193 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
1194 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm0 = xmm0[0,1],xmm2[2,3],xmm0[4,5],xmm2[6,7]
1195 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
1196 ; AVX1-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
1197 ; AVX1-NEXT:    vmovd %xmm0, %eax
1198 ; AVX1-NEXT:    # kill: def $ax killed $ax killed $eax
1199 ; AVX1-NEXT:    retq
1200 ;
1201 ; AVX2-LABEL: test_v2i16:
1202 ; AVX2:       # %bb.0:
1203 ; AVX2-NEXT:    vpsllq $48, %xmm0, %xmm1
1204 ; AVX2-NEXT:    vpsrad $31, %xmm1, %xmm2
1205 ; AVX2-NEXT:    vpsrad $16, %xmm1, %xmm1
1206 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1207 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm1 = xmm1[0],xmm2[1],xmm1[2],xmm2[3]
1208 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1209 ; AVX2-NEXT:    vpsllq $48, %xmm0, %xmm0
1210 ; AVX2-NEXT:    vpsrad $31, %xmm0, %xmm2
1211 ; AVX2-NEXT:    vpsrad $16, %xmm0, %xmm0
1212 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
1213 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm0 = xmm0[0],xmm2[1],xmm0[2],xmm2[3]
1214 ; AVX2-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
1215 ; AVX2-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
1216 ; AVX2-NEXT:    vmovd %xmm0, %eax
1217 ; AVX2-NEXT:    # kill: def $ax killed $ax killed $eax
1218 ; AVX2-NEXT:    retq
1219 ;
1220 ; AVX512BW-LABEL: test_v2i16:
1221 ; AVX512BW:       # %bb.0:
1222 ; AVX512BW-NEXT:    vpsllq $48, %xmm0, %xmm1
1223 ; AVX512BW-NEXT:    vpsraq $48, %zmm1, %zmm1
1224 ; AVX512BW-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1225 ; AVX512BW-NEXT:    vpsllq $48, %xmm0, %xmm0
1226 ; AVX512BW-NEXT:    vpsraq $48, %zmm0, %zmm0
1227 ; AVX512BW-NEXT:    vpminsq %zmm0, %zmm1, %zmm0
1228 ; AVX512BW-NEXT:    vmovd %xmm0, %eax
1229 ; AVX512BW-NEXT:    # kill: def $ax killed $ax killed $eax
1230 ; AVX512BW-NEXT:    vzeroupper
1231 ; AVX512BW-NEXT:    retq
1232 ;
1233 ; AVX512VL-LABEL: test_v2i16:
1234 ; AVX512VL:       # %bb.0:
1235 ; AVX512VL-NEXT:    vpsllq $48, %xmm0, %xmm1
1236 ; AVX512VL-NEXT:    vpsraq $48, %xmm1, %xmm1
1237 ; AVX512VL-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1238 ; AVX512VL-NEXT:    vpsllq $48, %xmm0, %xmm0
1239 ; AVX512VL-NEXT:    vpsraq $48, %xmm0, %xmm0
1240 ; AVX512VL-NEXT:    vpminsq %xmm0, %xmm1, %xmm0
1241 ; AVX512VL-NEXT:    vmovd %xmm0, %eax
1242 ; AVX512VL-NEXT:    # kill: def $ax killed $ax killed $eax
1243 ; AVX512VL-NEXT:    retq
1244   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v2i16(<2 x i16> %a0)
1245   ret i16 %1
1246 }
1247
1248 define i16 @test_v4i16(<4 x i16> %a0) {
1249 ; SSE2-LABEL: test_v4i16:
1250 ; SSE2:       # %bb.0:
1251 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1252 ; SSE2-NEXT:    pslld $16, %xmm0
1253 ; SSE2-NEXT:    psrad $16, %xmm0
1254 ; SSE2-NEXT:    pslld $16, %xmm1
1255 ; SSE2-NEXT:    psrad $16, %xmm1
1256 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1257 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm2
1258 ; SSE2-NEXT:    pand %xmm2, %xmm0
1259 ; SSE2-NEXT:    pandn %xmm1, %xmm2
1260 ; SSE2-NEXT:    por %xmm0, %xmm2
1261 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
1262 ; SSE2-NEXT:    pslld $16, %xmm0
1263 ; SSE2-NEXT:    psrad $16, %xmm0
1264 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1265 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
1266 ; SSE2-NEXT:    pand %xmm1, %xmm2
1267 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1268 ; SSE2-NEXT:    por %xmm2, %xmm1
1269 ; SSE2-NEXT:    movd %xmm1, %eax
1270 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1271 ; SSE2-NEXT:    retq
1272 ;
1273 ; SSE41-LABEL: test_v4i16:
1274 ; SSE41:       # %bb.0:
1275 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1276 ; SSE41-NEXT:    pslld $16, %xmm0
1277 ; SSE41-NEXT:    psrad $16, %xmm0
1278 ; SSE41-NEXT:    pslld $16, %xmm1
1279 ; SSE41-NEXT:    psrad $16, %xmm1
1280 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
1281 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1282 ; SSE41-NEXT:    pslld $16, %xmm0
1283 ; SSE41-NEXT:    psrad $16, %xmm0
1284 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
1285 ; SSE41-NEXT:    movd %xmm0, %eax
1286 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1287 ; SSE41-NEXT:    retq
1288 ;
1289 ; AVX-LABEL: test_v4i16:
1290 ; AVX:       # %bb.0:
1291 ; AVX-NEXT:    vpslld $16, %xmm0, %xmm1
1292 ; AVX-NEXT:    vpsrad $16, %xmm1, %xmm1
1293 ; AVX-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1294 ; AVX-NEXT:    vpslld $16, %xmm0, %xmm0
1295 ; AVX-NEXT:    vpsrad $16, %xmm0, %xmm0
1296 ; AVX-NEXT:    vpminsd %xmm0, %xmm1, %xmm0
1297 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1298 ; AVX-NEXT:    vpslld $16, %xmm1, %xmm1
1299 ; AVX-NEXT:    vpsrad $16, %xmm1, %xmm1
1300 ; AVX-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1301 ; AVX-NEXT:    vmovd %xmm0, %eax
1302 ; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
1303 ; AVX-NEXT:    retq
1304 ;
1305 ; AVX512-LABEL: test_v4i16:
1306 ; AVX512:       # %bb.0:
1307 ; AVX512-NEXT:    vpslld $16, %xmm0, %xmm1
1308 ; AVX512-NEXT:    vpsrad $16, %xmm1, %xmm1
1309 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1310 ; AVX512-NEXT:    vpslld $16, %xmm0, %xmm0
1311 ; AVX512-NEXT:    vpsrad $16, %xmm0, %xmm0
1312 ; AVX512-NEXT:    vpminsd %xmm0, %xmm1, %xmm0
1313 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1314 ; AVX512-NEXT:    vpslld $16, %xmm1, %xmm1
1315 ; AVX512-NEXT:    vpsrad $16, %xmm1, %xmm1
1316 ; AVX512-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1317 ; AVX512-NEXT:    vmovd %xmm0, %eax
1318 ; AVX512-NEXT:    # kill: def $ax killed $ax killed $eax
1319 ; AVX512-NEXT:    retq
1320   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v4i16(<4 x i16> %a0)
1321   ret i16 %1
1322 }
1323
1324 define i16 @test_v8i16(<8 x i16> %a0) {
1325 ; SSE2-LABEL: test_v8i16:
1326 ; SSE2:       # %bb.0:
1327 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1328 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1329 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1330 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1331 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1332 ; SSE2-NEXT:    psrld $16, %xmm1
1333 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1334 ; SSE2-NEXT:    movd %xmm1, %eax
1335 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1336 ; SSE2-NEXT:    retq
1337 ;
1338 ; SSE41-LABEL: test_v8i16:
1339 ; SSE41:       # %bb.0:
1340 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
1341 ; SSE41-NEXT:    phminposuw %xmm0, %xmm0
1342 ; SSE41-NEXT:    movd %xmm0, %eax
1343 ; SSE41-NEXT:    xorl $32768, %eax # imm = 0x8000
1344 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1345 ; SSE41-NEXT:    retq
1346 ;
1347 ; AVX-LABEL: test_v8i16:
1348 ; AVX:       # %bb.0:
1349 ; AVX-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1350 ; AVX-NEXT:    vphminposuw %xmm0, %xmm0
1351 ; AVX-NEXT:    vmovd %xmm0, %eax
1352 ; AVX-NEXT:    xorl $32768, %eax # imm = 0x8000
1353 ; AVX-NEXT:    # kill: def $ax killed $ax killed $eax
1354 ; AVX-NEXT:    retq
1355 ;
1356 ; AVX512-LABEL: test_v8i16:
1357 ; AVX512:       # %bb.0:
1358 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1359 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
1360 ; AVX512-NEXT:    vmovd %xmm0, %eax
1361 ; AVX512-NEXT:    xorl $32768, %eax # imm = 0x8000
1362 ; AVX512-NEXT:    # kill: def $ax killed $ax killed $eax
1363 ; AVX512-NEXT:    retq
1364   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v8i16(<8 x i16> %a0)
1365   ret i16 %1
1366 }
1367
1368 define i16 @test_v16i16(<16 x i16> %a0) {
1369 ; SSE2-LABEL: test_v16i16:
1370 ; SSE2:       # %bb.0:
1371 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1372 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1373 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1374 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1375 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1376 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1377 ; SSE2-NEXT:    psrld $16, %xmm1
1378 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1379 ; SSE2-NEXT:    movd %xmm1, %eax
1380 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1381 ; SSE2-NEXT:    retq
1382 ;
1383 ; SSE41-LABEL: test_v16i16:
1384 ; SSE41:       # %bb.0:
1385 ; SSE41-NEXT:    pminsw %xmm1, %xmm0
1386 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
1387 ; SSE41-NEXT:    phminposuw %xmm0, %xmm0
1388 ; SSE41-NEXT:    movd %xmm0, %eax
1389 ; SSE41-NEXT:    xorl $32768, %eax # imm = 0x8000
1390 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1391 ; SSE41-NEXT:    retq
1392 ;
1393 ; AVX1-LABEL: test_v16i16:
1394 ; AVX1:       # %bb.0:
1395 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
1396 ; AVX1-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1397 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1398 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
1399 ; AVX1-NEXT:    vmovd %xmm0, %eax
1400 ; AVX1-NEXT:    xorl $32768, %eax # imm = 0x8000
1401 ; AVX1-NEXT:    # kill: def $ax killed $ax killed $eax
1402 ; AVX1-NEXT:    vzeroupper
1403 ; AVX1-NEXT:    retq
1404 ;
1405 ; AVX2-LABEL: test_v16i16:
1406 ; AVX2:       # %bb.0:
1407 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1408 ; AVX2-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1409 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1410 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
1411 ; AVX2-NEXT:    vmovd %xmm0, %eax
1412 ; AVX2-NEXT:    xorl $32768, %eax # imm = 0x8000
1413 ; AVX2-NEXT:    # kill: def $ax killed $ax killed $eax
1414 ; AVX2-NEXT:    vzeroupper
1415 ; AVX2-NEXT:    retq
1416 ;
1417 ; AVX512-LABEL: test_v16i16:
1418 ; AVX512:       # %bb.0:
1419 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
1420 ; AVX512-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1421 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1422 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
1423 ; AVX512-NEXT:    vmovd %xmm0, %eax
1424 ; AVX512-NEXT:    xorl $32768, %eax # imm = 0x8000
1425 ; AVX512-NEXT:    # kill: def $ax killed $ax killed $eax
1426 ; AVX512-NEXT:    vzeroupper
1427 ; AVX512-NEXT:    retq
1428   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v16i16(<16 x i16> %a0)
1429   ret i16 %1
1430 }
1431
1432 define i16 @test_v32i16(<32 x i16> %a0) {
1433 ; SSE2-LABEL: test_v32i16:
1434 ; SSE2:       # %bb.0:
1435 ; SSE2-NEXT:    pminsw %xmm3, %xmm1
1436 ; SSE2-NEXT:    pminsw %xmm2, %xmm0
1437 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1438 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1439 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1440 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1441 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1442 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1443 ; SSE2-NEXT:    psrld $16, %xmm1
1444 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1445 ; SSE2-NEXT:    movd %xmm1, %eax
1446 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1447 ; SSE2-NEXT:    retq
1448 ;
1449 ; SSE41-LABEL: test_v32i16:
1450 ; SSE41:       # %bb.0:
1451 ; SSE41-NEXT:    pminsw %xmm3, %xmm1
1452 ; SSE41-NEXT:    pminsw %xmm2, %xmm0
1453 ; SSE41-NEXT:    pminsw %xmm1, %xmm0
1454 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
1455 ; SSE41-NEXT:    phminposuw %xmm0, %xmm0
1456 ; SSE41-NEXT:    movd %xmm0, %eax
1457 ; SSE41-NEXT:    xorl $32768, %eax # imm = 0x8000
1458 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1459 ; SSE41-NEXT:    retq
1460 ;
1461 ; AVX1-LABEL: test_v32i16:
1462 ; AVX1:       # %bb.0:
1463 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
1464 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm3
1465 ; AVX1-NEXT:    vpminsw %xmm2, %xmm3, %xmm2
1466 ; AVX1-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1467 ; AVX1-NEXT:    vpminsw %xmm2, %xmm0, %xmm0
1468 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1469 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
1470 ; AVX1-NEXT:    vmovd %xmm0, %eax
1471 ; AVX1-NEXT:    xorl $32768, %eax # imm = 0x8000
1472 ; AVX1-NEXT:    # kill: def $ax killed $ax killed $eax
1473 ; AVX1-NEXT:    vzeroupper
1474 ; AVX1-NEXT:    retq
1475 ;
1476 ; AVX2-LABEL: test_v32i16:
1477 ; AVX2:       # %bb.0:
1478 ; AVX2-NEXT:    vpminsw %ymm1, %ymm0, %ymm0
1479 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1480 ; AVX2-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1481 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1482 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
1483 ; AVX2-NEXT:    vmovd %xmm0, %eax
1484 ; AVX2-NEXT:    xorl $32768, %eax # imm = 0x8000
1485 ; AVX2-NEXT:    # kill: def $ax killed $ax killed $eax
1486 ; AVX2-NEXT:    vzeroupper
1487 ; AVX2-NEXT:    retq
1488 ;
1489 ; AVX512-LABEL: test_v32i16:
1490 ; AVX512:       # %bb.0:
1491 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
1492 ; AVX512-NEXT:    vpminsw %ymm1, %ymm0, %ymm0
1493 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
1494 ; AVX512-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1495 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1496 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
1497 ; AVX512-NEXT:    vmovd %xmm0, %eax
1498 ; AVX512-NEXT:    xorl $32768, %eax # imm = 0x8000
1499 ; AVX512-NEXT:    # kill: def $ax killed $ax killed $eax
1500 ; AVX512-NEXT:    vzeroupper
1501 ; AVX512-NEXT:    retq
1502   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v32i16(<32 x i16> %a0)
1503   ret i16 %1
1504 }
1505
1506 define i16 @test_v64i16(<64 x i16> %a0) {
1507 ; SSE2-LABEL: test_v64i16:
1508 ; SSE2:       # %bb.0:
1509 ; SSE2-NEXT:    pminsw %xmm6, %xmm2
1510 ; SSE2-NEXT:    pminsw %xmm4, %xmm0
1511 ; SSE2-NEXT:    pminsw %xmm2, %xmm0
1512 ; SSE2-NEXT:    pminsw %xmm7, %xmm3
1513 ; SSE2-NEXT:    pminsw %xmm5, %xmm1
1514 ; SSE2-NEXT:    pminsw %xmm3, %xmm1
1515 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1516 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
1517 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1518 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1519 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1520 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
1521 ; SSE2-NEXT:    psrld $16, %xmm0
1522 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1523 ; SSE2-NEXT:    movd %xmm0, %eax
1524 ; SSE2-NEXT:    # kill: def $ax killed $ax killed $eax
1525 ; SSE2-NEXT:    retq
1526 ;
1527 ; SSE41-LABEL: test_v64i16:
1528 ; SSE41:       # %bb.0:
1529 ; SSE41-NEXT:    pminsw %xmm7, %xmm3
1530 ; SSE41-NEXT:    pminsw %xmm5, %xmm1
1531 ; SSE41-NEXT:    pminsw %xmm3, %xmm1
1532 ; SSE41-NEXT:    pminsw %xmm6, %xmm2
1533 ; SSE41-NEXT:    pminsw %xmm4, %xmm0
1534 ; SSE41-NEXT:    pminsw %xmm2, %xmm0
1535 ; SSE41-NEXT:    pminsw %xmm1, %xmm0
1536 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
1537 ; SSE41-NEXT:    phminposuw %xmm0, %xmm0
1538 ; SSE41-NEXT:    movd %xmm0, %eax
1539 ; SSE41-NEXT:    xorl $32768, %eax # imm = 0x8000
1540 ; SSE41-NEXT:    # kill: def $ax killed $ax killed $eax
1541 ; SSE41-NEXT:    retq
1542 ;
1543 ; AVX1-LABEL: test_v64i16:
1544 ; AVX1:       # %bb.0:
1545 ; AVX1-NEXT:    vextractf128 $1, %ymm3, %xmm4
1546 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm5
1547 ; AVX1-NEXT:    vpminsw %xmm4, %xmm5, %xmm4
1548 ; AVX1-NEXT:    vextractf128 $1, %ymm2, %xmm5
1549 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm6
1550 ; AVX1-NEXT:    vpminsw %xmm5, %xmm6, %xmm5
1551 ; AVX1-NEXT:    vpminsw %xmm4, %xmm5, %xmm4
1552 ; AVX1-NEXT:    vpminsw %xmm3, %xmm1, %xmm1
1553 ; AVX1-NEXT:    vpminsw %xmm2, %xmm0, %xmm0
1554 ; AVX1-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1555 ; AVX1-NEXT:    vpminsw %xmm4, %xmm0, %xmm0
1556 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1557 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
1558 ; AVX1-NEXT:    vmovd %xmm0, %eax
1559 ; AVX1-NEXT:    xorl $32768, %eax # imm = 0x8000
1560 ; AVX1-NEXT:    # kill: def $ax killed $ax killed $eax
1561 ; AVX1-NEXT:    vzeroupper
1562 ; AVX1-NEXT:    retq
1563 ;
1564 ; AVX2-LABEL: test_v64i16:
1565 ; AVX2:       # %bb.0:
1566 ; AVX2-NEXT:    vpminsw %ymm3, %ymm1, %ymm1
1567 ; AVX2-NEXT:    vpminsw %ymm2, %ymm0, %ymm0
1568 ; AVX2-NEXT:    vpminsw %ymm1, %ymm0, %ymm0
1569 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1570 ; AVX2-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1571 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1572 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
1573 ; AVX2-NEXT:    vmovd %xmm0, %eax
1574 ; AVX2-NEXT:    xorl $32768, %eax # imm = 0x8000
1575 ; AVX2-NEXT:    # kill: def $ax killed $ax killed $eax
1576 ; AVX2-NEXT:    vzeroupper
1577 ; AVX2-NEXT:    retq
1578 ;
1579 ; AVX512-LABEL: test_v64i16:
1580 ; AVX512:       # %bb.0:
1581 ; AVX512-NEXT:    vpminsw %zmm1, %zmm0, %zmm0
1582 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
1583 ; AVX512-NEXT:    vpminsw %ymm1, %ymm0, %ymm0
1584 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
1585 ; AVX512-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1586 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1587 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
1588 ; AVX512-NEXT:    vmovd %xmm0, %eax
1589 ; AVX512-NEXT:    xorl $32768, %eax # imm = 0x8000
1590 ; AVX512-NEXT:    # kill: def $ax killed $ax killed $eax
1591 ; AVX512-NEXT:    vzeroupper
1592 ; AVX512-NEXT:    retq
1593   %1 = call i16 @llvm.experimental.vector.reduce.smin.i16.v64i16(<64 x i16> %a0)
1594   ret i16 %1
1595 }
1596
1597 ;
1598 ; vXi8
1599 ;
1600
1601 define i8 @test_v2i8(<2 x i8> %a0) {
1602 ; SSE2-LABEL: test_v2i8:
1603 ; SSE2:       # %bb.0:
1604 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1605 ; SSE2-NEXT:    psllq $56, %xmm0
1606 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1607 ; SSE2-NEXT:    psrad $31, %xmm2
1608 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,3,2,3]
1609 ; SSE2-NEXT:    psrad $24, %xmm0
1610 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[1,3,2,3]
1611 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
1612 ; SSE2-NEXT:    psllq $56, %xmm1
1613 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1614 ; SSE2-NEXT:    psrad $31, %xmm2
1615 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,3,2,3]
1616 ; SSE2-NEXT:    psrad $24, %xmm1
1617 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,3,2,3]
1618 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[1],xmm2[1]
1619 ; SSE2-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
1620 ; SSE2-NEXT:    movdqa %xmm0, %xmm3
1621 ; SSE2-NEXT:    pxor %xmm2, %xmm3
1622 ; SSE2-NEXT:    pxor %xmm1, %xmm2
1623 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
1624 ; SSE2-NEXT:    pcmpgtd %xmm3, %xmm4
1625 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm4[0,0,2,2]
1626 ; SSE2-NEXT:    pcmpeqd %xmm3, %xmm2
1627 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[1,1,3,3]
1628 ; SSE2-NEXT:    pand %xmm5, %xmm2
1629 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm4[1,1,3,3]
1630 ; SSE2-NEXT:    por %xmm2, %xmm3
1631 ; SSE2-NEXT:    pand %xmm3, %xmm0
1632 ; SSE2-NEXT:    pandn %xmm1, %xmm3
1633 ; SSE2-NEXT:    por %xmm0, %xmm3
1634 ; SSE2-NEXT:    movd %xmm3, %eax
1635 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
1636 ; SSE2-NEXT:    retq
1637 ;
1638 ; SSE41-LABEL: test_v2i8:
1639 ; SSE41:       # %bb.0:
1640 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1641 ; SSE41-NEXT:    psllq $56, %xmm0
1642 ; SSE41-NEXT:    movdqa %xmm0, %xmm2
1643 ; SSE41-NEXT:    psrad $31, %xmm2
1644 ; SSE41-NEXT:    psrad $24, %xmm0
1645 ; SSE41-NEXT:    pshufd {{.*#+}} xmm3 = xmm0[1,1,3,3]
1646 ; SSE41-NEXT:    pblendw {{.*#+}} xmm3 = xmm3[0,1],xmm2[2,3],xmm3[4,5],xmm2[6,7]
1647 ; SSE41-NEXT:    psllq $56, %xmm1
1648 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
1649 ; SSE41-NEXT:    psrad $31, %xmm0
1650 ; SSE41-NEXT:    psrad $24, %xmm1
1651 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1652 ; SSE41-NEXT:    pblendw {{.*#+}} xmm1 = xmm1[0,1],xmm0[2,3],xmm1[4,5],xmm0[6,7]
1653 ; SSE41-NEXT:    movdqa {{.*#+}} xmm2 = [2147483648,2147483648]
1654 ; SSE41-NEXT:    movdqa %xmm3, %xmm0
1655 ; SSE41-NEXT:    pxor %xmm2, %xmm0
1656 ; SSE41-NEXT:    pxor %xmm1, %xmm2
1657 ; SSE41-NEXT:    movdqa %xmm2, %xmm4
1658 ; SSE41-NEXT:    pcmpeqd %xmm0, %xmm4
1659 ; SSE41-NEXT:    pcmpgtd %xmm0, %xmm2
1660 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[0,0,2,2]
1661 ; SSE41-NEXT:    pand %xmm4, %xmm0
1662 ; SSE41-NEXT:    por %xmm2, %xmm0
1663 ; SSE41-NEXT:    blendvpd %xmm0, %xmm3, %xmm1
1664 ; SSE41-NEXT:    pextrb $0, %xmm1, %eax
1665 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
1666 ; SSE41-NEXT:    retq
1667 ;
1668 ; AVX1-LABEL: test_v2i8:
1669 ; AVX1:       # %bb.0:
1670 ; AVX1-NEXT:    vpsllq $56, %xmm0, %xmm1
1671 ; AVX1-NEXT:    vpsrad $31, %xmm1, %xmm2
1672 ; AVX1-NEXT:    vpsrad $24, %xmm1, %xmm1
1673 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1674 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm1 = xmm1[0,1],xmm2[2,3],xmm1[4,5],xmm2[6,7]
1675 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1676 ; AVX1-NEXT:    vpsllq $56, %xmm0, %xmm0
1677 ; AVX1-NEXT:    vpsrad $31, %xmm0, %xmm2
1678 ; AVX1-NEXT:    vpsrad $24, %xmm0, %xmm0
1679 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
1680 ; AVX1-NEXT:    vpblendw {{.*#+}} xmm0 = xmm0[0,1],xmm2[2,3],xmm0[4,5],xmm2[6,7]
1681 ; AVX1-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
1682 ; AVX1-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
1683 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
1684 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
1685 ; AVX1-NEXT:    retq
1686 ;
1687 ; AVX2-LABEL: test_v2i8:
1688 ; AVX2:       # %bb.0:
1689 ; AVX2-NEXT:    vpsllq $56, %xmm0, %xmm1
1690 ; AVX2-NEXT:    vpsrad $31, %xmm1, %xmm2
1691 ; AVX2-NEXT:    vpsrad $24, %xmm1, %xmm1
1692 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm1[1,1,3,3]
1693 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm1 = xmm1[0],xmm2[1],xmm1[2],xmm2[3]
1694 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1695 ; AVX2-NEXT:    vpsllq $56, %xmm0, %xmm0
1696 ; AVX2-NEXT:    vpsrad $31, %xmm0, %xmm2
1697 ; AVX2-NEXT:    vpsrad $24, %xmm0, %xmm0
1698 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[1,1,3,3]
1699 ; AVX2-NEXT:    vpblendd {{.*#+}} xmm0 = xmm0[0],xmm2[1],xmm0[2],xmm2[3]
1700 ; AVX2-NEXT:    vpcmpgtq %xmm1, %xmm0, %xmm2
1701 ; AVX2-NEXT:    vblendvpd %xmm2, %xmm1, %xmm0, %xmm0
1702 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
1703 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
1704 ; AVX2-NEXT:    retq
1705 ;
1706 ; AVX512BW-LABEL: test_v2i8:
1707 ; AVX512BW:       # %bb.0:
1708 ; AVX512BW-NEXT:    vpsllq $56, %xmm0, %xmm1
1709 ; AVX512BW-NEXT:    vpsraq $56, %zmm1, %zmm1
1710 ; AVX512BW-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1711 ; AVX512BW-NEXT:    vpsllq $56, %xmm0, %xmm0
1712 ; AVX512BW-NEXT:    vpsraq $56, %zmm0, %zmm0
1713 ; AVX512BW-NEXT:    vpminsq %zmm0, %zmm1, %zmm0
1714 ; AVX512BW-NEXT:    vpextrb $0, %xmm0, %eax
1715 ; AVX512BW-NEXT:    # kill: def $al killed $al killed $eax
1716 ; AVX512BW-NEXT:    vzeroupper
1717 ; AVX512BW-NEXT:    retq
1718 ;
1719 ; AVX512VL-LABEL: test_v2i8:
1720 ; AVX512VL:       # %bb.0:
1721 ; AVX512VL-NEXT:    vpsllq $56, %xmm0, %xmm1
1722 ; AVX512VL-NEXT:    vpsraq $56, %xmm1, %xmm1
1723 ; AVX512VL-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1724 ; AVX512VL-NEXT:    vpsllq $56, %xmm0, %xmm0
1725 ; AVX512VL-NEXT:    vpsraq $56, %xmm0, %xmm0
1726 ; AVX512VL-NEXT:    vpminsq %xmm0, %xmm1, %xmm0
1727 ; AVX512VL-NEXT:    vpextrb $0, %xmm0, %eax
1728 ; AVX512VL-NEXT:    # kill: def $al killed $al killed $eax
1729 ; AVX512VL-NEXT:    retq
1730   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v2i8(<2 x i8> %a0)
1731   ret i8 %1
1732 }
1733
1734 define i8 @test_v4i8(<4 x i8> %a0) {
1735 ; SSE2-LABEL: test_v4i8:
1736 ; SSE2:       # %bb.0:
1737 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1738 ; SSE2-NEXT:    pslld $24, %xmm0
1739 ; SSE2-NEXT:    psrad $24, %xmm0
1740 ; SSE2-NEXT:    pslld $24, %xmm1
1741 ; SSE2-NEXT:    psrad $24, %xmm1
1742 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1743 ; SSE2-NEXT:    pcmpgtd %xmm0, %xmm2
1744 ; SSE2-NEXT:    pand %xmm2, %xmm0
1745 ; SSE2-NEXT:    pandn %xmm1, %xmm2
1746 ; SSE2-NEXT:    por %xmm0, %xmm2
1747 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
1748 ; SSE2-NEXT:    pslld $24, %xmm0
1749 ; SSE2-NEXT:    psrad $24, %xmm0
1750 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1751 ; SSE2-NEXT:    pcmpgtd %xmm2, %xmm1
1752 ; SSE2-NEXT:    pand %xmm1, %xmm2
1753 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1754 ; SSE2-NEXT:    por %xmm2, %xmm1
1755 ; SSE2-NEXT:    movd %xmm1, %eax
1756 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
1757 ; SSE2-NEXT:    retq
1758 ;
1759 ; SSE41-LABEL: test_v4i8:
1760 ; SSE41:       # %bb.0:
1761 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1762 ; SSE41-NEXT:    pslld $24, %xmm0
1763 ; SSE41-NEXT:    psrad $24, %xmm0
1764 ; SSE41-NEXT:    pslld $24, %xmm1
1765 ; SSE41-NEXT:    psrad $24, %xmm1
1766 ; SSE41-NEXT:    pminsd %xmm0, %xmm1
1767 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1768 ; SSE41-NEXT:    pslld $24, %xmm0
1769 ; SSE41-NEXT:    psrad $24, %xmm0
1770 ; SSE41-NEXT:    pminsd %xmm1, %xmm0
1771 ; SSE41-NEXT:    pextrb $0, %xmm0, %eax
1772 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
1773 ; SSE41-NEXT:    retq
1774 ;
1775 ; AVX-LABEL: test_v4i8:
1776 ; AVX:       # %bb.0:
1777 ; AVX-NEXT:    vpslld $24, %xmm0, %xmm1
1778 ; AVX-NEXT:    vpsrad $24, %xmm1, %xmm1
1779 ; AVX-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1780 ; AVX-NEXT:    vpslld $24, %xmm0, %xmm0
1781 ; AVX-NEXT:    vpsrad $24, %xmm0, %xmm0
1782 ; AVX-NEXT:    vpminsd %xmm0, %xmm1, %xmm0
1783 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1784 ; AVX-NEXT:    vpslld $24, %xmm1, %xmm1
1785 ; AVX-NEXT:    vpsrad $24, %xmm1, %xmm1
1786 ; AVX-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1787 ; AVX-NEXT:    vpextrb $0, %xmm0, %eax
1788 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
1789 ; AVX-NEXT:    retq
1790 ;
1791 ; AVX512-LABEL: test_v4i8:
1792 ; AVX512:       # %bb.0:
1793 ; AVX512-NEXT:    vpslld $24, %xmm0, %xmm1
1794 ; AVX512-NEXT:    vpsrad $24, %xmm1, %xmm1
1795 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1796 ; AVX512-NEXT:    vpslld $24, %xmm0, %xmm0
1797 ; AVX512-NEXT:    vpsrad $24, %xmm0, %xmm0
1798 ; AVX512-NEXT:    vpminsd %xmm0, %xmm1, %xmm0
1799 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1800 ; AVX512-NEXT:    vpslld $24, %xmm1, %xmm1
1801 ; AVX512-NEXT:    vpsrad $24, %xmm1, %xmm1
1802 ; AVX512-NEXT:    vpminsd %xmm1, %xmm0, %xmm0
1803 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
1804 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
1805 ; AVX512-NEXT:    retq
1806   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v4i8(<4 x i8> %a0)
1807   ret i8 %1
1808 }
1809
1810 define i8 @test_v8i8(<8 x i8> %a0) {
1811 ; SSE2-LABEL: test_v8i8:
1812 ; SSE2:       # %bb.0:
1813 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1814 ; SSE2-NEXT:    psllw $8, %xmm0
1815 ; SSE2-NEXT:    psraw $8, %xmm0
1816 ; SSE2-NEXT:    psllw $8, %xmm1
1817 ; SSE2-NEXT:    psraw $8, %xmm1
1818 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1819 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1820 ; SSE2-NEXT:    psllw $8, %xmm0
1821 ; SSE2-NEXT:    psraw $8, %xmm0
1822 ; SSE2-NEXT:    pminsw %xmm1, %xmm0
1823 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1824 ; SSE2-NEXT:    psrld $16, %xmm1
1825 ; SSE2-NEXT:    psllw $8, %xmm1
1826 ; SSE2-NEXT:    psraw $8, %xmm1
1827 ; SSE2-NEXT:    pminsw %xmm0, %xmm1
1828 ; SSE2-NEXT:    movd %xmm1, %eax
1829 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
1830 ; SSE2-NEXT:    retq
1831 ;
1832 ; SSE41-LABEL: test_v8i8:
1833 ; SSE41:       # %bb.0:
1834 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1835 ; SSE41-NEXT:    psllw $8, %xmm0
1836 ; SSE41-NEXT:    psraw $8, %xmm0
1837 ; SSE41-NEXT:    psllw $8, %xmm1
1838 ; SSE41-NEXT:    psraw $8, %xmm1
1839 ; SSE41-NEXT:    pminsw %xmm0, %xmm1
1840 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1841 ; SSE41-NEXT:    psllw $8, %xmm0
1842 ; SSE41-NEXT:    psraw $8, %xmm0
1843 ; SSE41-NEXT:    pminsw %xmm1, %xmm0
1844 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
1845 ; SSE41-NEXT:    psrld $16, %xmm1
1846 ; SSE41-NEXT:    psllw $8, %xmm1
1847 ; SSE41-NEXT:    psraw $8, %xmm1
1848 ; SSE41-NEXT:    pminsw %xmm0, %xmm1
1849 ; SSE41-NEXT:    pextrb $0, %xmm1, %eax
1850 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
1851 ; SSE41-NEXT:    retq
1852 ;
1853 ; AVX-LABEL: test_v8i8:
1854 ; AVX:       # %bb.0:
1855 ; AVX-NEXT:    vpsllw $8, %xmm0, %xmm1
1856 ; AVX-NEXT:    vpsraw $8, %xmm1, %xmm1
1857 ; AVX-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1858 ; AVX-NEXT:    vpsllw $8, %xmm0, %xmm0
1859 ; AVX-NEXT:    vpsraw $8, %xmm0, %xmm0
1860 ; AVX-NEXT:    vpminsw %xmm0, %xmm1, %xmm0
1861 ; AVX-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1862 ; AVX-NEXT:    vpsllw $8, %xmm1, %xmm1
1863 ; AVX-NEXT:    vpsraw $8, %xmm1, %xmm1
1864 ; AVX-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1865 ; AVX-NEXT:    vpsrld $16, %xmm0, %xmm1
1866 ; AVX-NEXT:    vpsllw $8, %xmm1, %xmm1
1867 ; AVX-NEXT:    vpsraw $8, %xmm1, %xmm1
1868 ; AVX-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1869 ; AVX-NEXT:    vpextrb $0, %xmm0, %eax
1870 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
1871 ; AVX-NEXT:    retq
1872 ;
1873 ; AVX512-LABEL: test_v8i8:
1874 ; AVX512:       # %bb.0:
1875 ; AVX512-NEXT:    vpsllw $8, %xmm0, %xmm1
1876 ; AVX512-NEXT:    vpsraw $8, %xmm1, %xmm1
1877 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
1878 ; AVX512-NEXT:    vpsllw $8, %xmm0, %xmm0
1879 ; AVX512-NEXT:    vpsraw $8, %xmm0, %xmm0
1880 ; AVX512-NEXT:    vpminsw %xmm0, %xmm1, %xmm0
1881 ; AVX512-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1882 ; AVX512-NEXT:    vpsllw $8, %xmm1, %xmm1
1883 ; AVX512-NEXT:    vpsraw $8, %xmm1, %xmm1
1884 ; AVX512-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1885 ; AVX512-NEXT:    vpsrld $16, %xmm0, %xmm1
1886 ; AVX512-NEXT:    vpsllw $8, %xmm1, %xmm1
1887 ; AVX512-NEXT:    vpsraw $8, %xmm1, %xmm1
1888 ; AVX512-NEXT:    vpminsw %xmm1, %xmm0, %xmm0
1889 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
1890 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
1891 ; AVX512-NEXT:    retq
1892   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v8i8(<8 x i8> %a0)
1893   ret i8 %1
1894 }
1895
1896 define i8 @test_v16i8(<16 x i8> %a0) {
1897 ; SSE2-LABEL: test_v16i8:
1898 ; SSE2:       # %bb.0:
1899 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
1900 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1901 ; SSE2-NEXT:    pcmpgtb %xmm0, %xmm2
1902 ; SSE2-NEXT:    pand %xmm2, %xmm0
1903 ; SSE2-NEXT:    pandn %xmm1, %xmm2
1904 ; SSE2-NEXT:    por %xmm0, %xmm2
1905 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
1906 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1907 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
1908 ; SSE2-NEXT:    pand %xmm1, %xmm2
1909 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1910 ; SSE2-NEXT:    por %xmm2, %xmm1
1911 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
1912 ; SSE2-NEXT:    psrld $16, %xmm0
1913 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1914 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
1915 ; SSE2-NEXT:    pand %xmm2, %xmm1
1916 ; SSE2-NEXT:    pandn %xmm0, %xmm2
1917 ; SSE2-NEXT:    por %xmm1, %xmm2
1918 ; SSE2-NEXT:    movdqa %xmm2, %xmm0
1919 ; SSE2-NEXT:    psrlw $8, %xmm0
1920 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1921 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
1922 ; SSE2-NEXT:    pand %xmm1, %xmm2
1923 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1924 ; SSE2-NEXT:    por %xmm2, %xmm1
1925 ; SSE2-NEXT:    movd %xmm1, %eax
1926 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
1927 ; SSE2-NEXT:    retq
1928 ;
1929 ; SSE41-LABEL: test_v16i8:
1930 ; SSE41:       # %bb.0:
1931 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
1932 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
1933 ; SSE41-NEXT:    psrlw $8, %xmm1
1934 ; SSE41-NEXT:    pminub %xmm0, %xmm1
1935 ; SSE41-NEXT:    phminposuw %xmm1, %xmm0
1936 ; SSE41-NEXT:    pextrb $0, %xmm0, %eax
1937 ; SSE41-NEXT:    xorb $-128, %al
1938 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
1939 ; SSE41-NEXT:    retq
1940 ;
1941 ; AVX-LABEL: test_v16i8:
1942 ; AVX:       # %bb.0:
1943 ; AVX-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1944 ; AVX-NEXT:    vpsrlw $8, %xmm0, %xmm1
1945 ; AVX-NEXT:    vpminub %xmm1, %xmm0, %xmm0
1946 ; AVX-NEXT:    vphminposuw %xmm0, %xmm0
1947 ; AVX-NEXT:    vpextrb $0, %xmm0, %eax
1948 ; AVX-NEXT:    xorb $-128, %al
1949 ; AVX-NEXT:    # kill: def $al killed $al killed $eax
1950 ; AVX-NEXT:    retq
1951 ;
1952 ; AVX512-LABEL: test_v16i8:
1953 ; AVX512:       # %bb.0:
1954 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
1955 ; AVX512-NEXT:    vpsrlw $8, %xmm0, %xmm1
1956 ; AVX512-NEXT:    vpminub %xmm1, %xmm0, %xmm0
1957 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
1958 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
1959 ; AVX512-NEXT:    xorb $-128, %al
1960 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
1961 ; AVX512-NEXT:    retq
1962   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v16i8(<16 x i8> %a0)
1963   ret i8 %1
1964 }
1965
1966 define i8 @test_v32i8(<32 x i8> %a0) {
1967 ; SSE2-LABEL: test_v32i8:
1968 ; SSE2:       # %bb.0:
1969 ; SSE2-NEXT:    movdqa %xmm1, %xmm2
1970 ; SSE2-NEXT:    pcmpgtb %xmm0, %xmm2
1971 ; SSE2-NEXT:    pand %xmm2, %xmm0
1972 ; SSE2-NEXT:    pandn %xmm1, %xmm2
1973 ; SSE2-NEXT:    por %xmm0, %xmm2
1974 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[2,3,0,1]
1975 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1976 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
1977 ; SSE2-NEXT:    pand %xmm1, %xmm2
1978 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1979 ; SSE2-NEXT:    por %xmm2, %xmm1
1980 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,1,2,3]
1981 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1982 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
1983 ; SSE2-NEXT:    pand %xmm2, %xmm1
1984 ; SSE2-NEXT:    pandn %xmm0, %xmm2
1985 ; SSE2-NEXT:    por %xmm1, %xmm2
1986 ; SSE2-NEXT:    movdqa %xmm2, %xmm0
1987 ; SSE2-NEXT:    psrld $16, %xmm0
1988 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1989 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
1990 ; SSE2-NEXT:    pand %xmm1, %xmm2
1991 ; SSE2-NEXT:    pandn %xmm0, %xmm1
1992 ; SSE2-NEXT:    por %xmm2, %xmm1
1993 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
1994 ; SSE2-NEXT:    psrlw $8, %xmm0
1995 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
1996 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
1997 ; SSE2-NEXT:    pand %xmm2, %xmm1
1998 ; SSE2-NEXT:    pandn %xmm0, %xmm2
1999 ; SSE2-NEXT:    por %xmm1, %xmm2
2000 ; SSE2-NEXT:    movd %xmm2, %eax
2001 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
2002 ; SSE2-NEXT:    retq
2003 ;
2004 ; SSE41-LABEL: test_v32i8:
2005 ; SSE41:       # %bb.0:
2006 ; SSE41-NEXT:    pminsb %xmm1, %xmm0
2007 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
2008 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
2009 ; SSE41-NEXT:    psrlw $8, %xmm1
2010 ; SSE41-NEXT:    pminub %xmm0, %xmm1
2011 ; SSE41-NEXT:    phminposuw %xmm1, %xmm0
2012 ; SSE41-NEXT:    pextrb $0, %xmm0, %eax
2013 ; SSE41-NEXT:    xorb $-128, %al
2014 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
2015 ; SSE41-NEXT:    retq
2016 ;
2017 ; AVX1-LABEL: test_v32i8:
2018 ; AVX1:       # %bb.0:
2019 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
2020 ; AVX1-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2021 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2022 ; AVX1-NEXT:    vpsrlw $8, %xmm0, %xmm1
2023 ; AVX1-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2024 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
2025 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
2026 ; AVX1-NEXT:    xorb $-128, %al
2027 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
2028 ; AVX1-NEXT:    vzeroupper
2029 ; AVX1-NEXT:    retq
2030 ;
2031 ; AVX2-LABEL: test_v32i8:
2032 ; AVX2:       # %bb.0:
2033 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
2034 ; AVX2-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2035 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2036 ; AVX2-NEXT:    vpsrlw $8, %xmm0, %xmm1
2037 ; AVX2-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2038 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
2039 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
2040 ; AVX2-NEXT:    xorb $-128, %al
2041 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
2042 ; AVX2-NEXT:    vzeroupper
2043 ; AVX2-NEXT:    retq
2044 ;
2045 ; AVX512-LABEL: test_v32i8:
2046 ; AVX512:       # %bb.0:
2047 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
2048 ; AVX512-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2049 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2050 ; AVX512-NEXT:    vpsrlw $8, %xmm0, %xmm1
2051 ; AVX512-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2052 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
2053 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
2054 ; AVX512-NEXT:    xorb $-128, %al
2055 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
2056 ; AVX512-NEXT:    vzeroupper
2057 ; AVX512-NEXT:    retq
2058   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v32i8(<32 x i8> %a0)
2059   ret i8 %1
2060 }
2061
2062 define i8 @test_v64i8(<64 x i8> %a0) {
2063 ; SSE2-LABEL: test_v64i8:
2064 ; SSE2:       # %bb.0:
2065 ; SSE2-NEXT:    movdqa %xmm2, %xmm4
2066 ; SSE2-NEXT:    pcmpgtb %xmm0, %xmm4
2067 ; SSE2-NEXT:    pand %xmm4, %xmm0
2068 ; SSE2-NEXT:    pandn %xmm2, %xmm4
2069 ; SSE2-NEXT:    por %xmm0, %xmm4
2070 ; SSE2-NEXT:    movdqa %xmm3, %xmm0
2071 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm0
2072 ; SSE2-NEXT:    pand %xmm0, %xmm1
2073 ; SSE2-NEXT:    pandn %xmm3, %xmm0
2074 ; SSE2-NEXT:    por %xmm1, %xmm0
2075 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2076 ; SSE2-NEXT:    pcmpgtb %xmm4, %xmm1
2077 ; SSE2-NEXT:    pand %xmm1, %xmm4
2078 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2079 ; SSE2-NEXT:    por %xmm4, %xmm1
2080 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
2081 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
2082 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
2083 ; SSE2-NEXT:    pand %xmm2, %xmm1
2084 ; SSE2-NEXT:    pandn %xmm0, %xmm2
2085 ; SSE2-NEXT:    por %xmm1, %xmm2
2086 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
2087 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2088 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
2089 ; SSE2-NEXT:    pand %xmm1, %xmm2
2090 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2091 ; SSE2-NEXT:    por %xmm2, %xmm1
2092 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
2093 ; SSE2-NEXT:    psrld $16, %xmm0
2094 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
2095 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
2096 ; SSE2-NEXT:    pand %xmm2, %xmm1
2097 ; SSE2-NEXT:    pandn %xmm0, %xmm2
2098 ; SSE2-NEXT:    por %xmm1, %xmm2
2099 ; SSE2-NEXT:    movdqa %xmm2, %xmm0
2100 ; SSE2-NEXT:    psrlw $8, %xmm0
2101 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2102 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
2103 ; SSE2-NEXT:    pand %xmm1, %xmm2
2104 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2105 ; SSE2-NEXT:    por %xmm2, %xmm1
2106 ; SSE2-NEXT:    movd %xmm1, %eax
2107 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
2108 ; SSE2-NEXT:    retq
2109 ;
2110 ; SSE41-LABEL: test_v64i8:
2111 ; SSE41:       # %bb.0:
2112 ; SSE41-NEXT:    pminsb %xmm3, %xmm1
2113 ; SSE41-NEXT:    pminsb %xmm2, %xmm0
2114 ; SSE41-NEXT:    pminsb %xmm1, %xmm0
2115 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
2116 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
2117 ; SSE41-NEXT:    psrlw $8, %xmm1
2118 ; SSE41-NEXT:    pminub %xmm0, %xmm1
2119 ; SSE41-NEXT:    phminposuw %xmm1, %xmm0
2120 ; SSE41-NEXT:    pextrb $0, %xmm0, %eax
2121 ; SSE41-NEXT:    xorb $-128, %al
2122 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
2123 ; SSE41-NEXT:    retq
2124 ;
2125 ; AVX1-LABEL: test_v64i8:
2126 ; AVX1:       # %bb.0:
2127 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
2128 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm3
2129 ; AVX1-NEXT:    vpminsb %xmm2, %xmm3, %xmm2
2130 ; AVX1-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2131 ; AVX1-NEXT:    vpminsb %xmm2, %xmm0, %xmm0
2132 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2133 ; AVX1-NEXT:    vpsrlw $8, %xmm0, %xmm1
2134 ; AVX1-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2135 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
2136 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
2137 ; AVX1-NEXT:    xorb $-128, %al
2138 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
2139 ; AVX1-NEXT:    vzeroupper
2140 ; AVX1-NEXT:    retq
2141 ;
2142 ; AVX2-LABEL: test_v64i8:
2143 ; AVX2:       # %bb.0:
2144 ; AVX2-NEXT:    vpminsb %ymm1, %ymm0, %ymm0
2145 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
2146 ; AVX2-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2147 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2148 ; AVX2-NEXT:    vpsrlw $8, %xmm0, %xmm1
2149 ; AVX2-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2150 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
2151 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
2152 ; AVX2-NEXT:    xorb $-128, %al
2153 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
2154 ; AVX2-NEXT:    vzeroupper
2155 ; AVX2-NEXT:    retq
2156 ;
2157 ; AVX512-LABEL: test_v64i8:
2158 ; AVX512:       # %bb.0:
2159 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
2160 ; AVX512-NEXT:    vpminsb %ymm1, %ymm0, %ymm0
2161 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
2162 ; AVX512-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2163 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2164 ; AVX512-NEXT:    vpsrlw $8, %xmm0, %xmm1
2165 ; AVX512-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2166 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
2167 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
2168 ; AVX512-NEXT:    xorb $-128, %al
2169 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
2170 ; AVX512-NEXT:    vzeroupper
2171 ; AVX512-NEXT:    retq
2172   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v64i8(<64 x i8> %a0)
2173   ret i8 %1
2174 }
2175
2176 define i8 @test_v128i8(<128 x i8> %a0) {
2177 ; SSE2-LABEL: test_v128i8:
2178 ; SSE2:       # %bb.0:
2179 ; SSE2-NEXT:    movdqa %xmm5, %xmm8
2180 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm8
2181 ; SSE2-NEXT:    pand %xmm8, %xmm1
2182 ; SSE2-NEXT:    pandn %xmm5, %xmm8
2183 ; SSE2-NEXT:    por %xmm1, %xmm8
2184 ; SSE2-NEXT:    movdqa %xmm7, %xmm1
2185 ; SSE2-NEXT:    pcmpgtb %xmm3, %xmm1
2186 ; SSE2-NEXT:    pand %xmm1, %xmm3
2187 ; SSE2-NEXT:    pandn %xmm7, %xmm1
2188 ; SSE2-NEXT:    por %xmm3, %xmm1
2189 ; SSE2-NEXT:    movdqa %xmm4, %xmm3
2190 ; SSE2-NEXT:    pcmpgtb %xmm0, %xmm3
2191 ; SSE2-NEXT:    pand %xmm3, %xmm0
2192 ; SSE2-NEXT:    pandn %xmm4, %xmm3
2193 ; SSE2-NEXT:    por %xmm0, %xmm3
2194 ; SSE2-NEXT:    movdqa %xmm6, %xmm0
2195 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm0
2196 ; SSE2-NEXT:    pand %xmm0, %xmm2
2197 ; SSE2-NEXT:    pandn %xmm6, %xmm0
2198 ; SSE2-NEXT:    por %xmm2, %xmm0
2199 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
2200 ; SSE2-NEXT:    pcmpgtb %xmm3, %xmm2
2201 ; SSE2-NEXT:    pand %xmm2, %xmm3
2202 ; SSE2-NEXT:    pandn %xmm0, %xmm2
2203 ; SSE2-NEXT:    por %xmm3, %xmm2
2204 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
2205 ; SSE2-NEXT:    pcmpgtb %xmm8, %xmm0
2206 ; SSE2-NEXT:    pand %xmm0, %xmm8
2207 ; SSE2-NEXT:    pandn %xmm1, %xmm0
2208 ; SSE2-NEXT:    por %xmm8, %xmm0
2209 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2210 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
2211 ; SSE2-NEXT:    pand %xmm1, %xmm2
2212 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2213 ; SSE2-NEXT:    por %xmm2, %xmm1
2214 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
2215 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
2216 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
2217 ; SSE2-NEXT:    pand %xmm2, %xmm1
2218 ; SSE2-NEXT:    pandn %xmm0, %xmm2
2219 ; SSE2-NEXT:    por %xmm1, %xmm2
2220 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm2[1,1,2,3]
2221 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2222 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
2223 ; SSE2-NEXT:    pand %xmm1, %xmm2
2224 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2225 ; SSE2-NEXT:    por %xmm2, %xmm1
2226 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
2227 ; SSE2-NEXT:    psrld $16, %xmm0
2228 ; SSE2-NEXT:    movdqa %xmm0, %xmm2
2229 ; SSE2-NEXT:    pcmpgtb %xmm1, %xmm2
2230 ; SSE2-NEXT:    pand %xmm2, %xmm1
2231 ; SSE2-NEXT:    pandn %xmm0, %xmm2
2232 ; SSE2-NEXT:    por %xmm1, %xmm2
2233 ; SSE2-NEXT:    movdqa %xmm2, %xmm0
2234 ; SSE2-NEXT:    psrlw $8, %xmm0
2235 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
2236 ; SSE2-NEXT:    pcmpgtb %xmm2, %xmm1
2237 ; SSE2-NEXT:    pand %xmm1, %xmm2
2238 ; SSE2-NEXT:    pandn %xmm0, %xmm1
2239 ; SSE2-NEXT:    por %xmm2, %xmm1
2240 ; SSE2-NEXT:    movd %xmm1, %eax
2241 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
2242 ; SSE2-NEXT:    retq
2243 ;
2244 ; SSE41-LABEL: test_v128i8:
2245 ; SSE41:       # %bb.0:
2246 ; SSE41-NEXT:    pminsb %xmm7, %xmm3
2247 ; SSE41-NEXT:    pminsb %xmm5, %xmm1
2248 ; SSE41-NEXT:    pminsb %xmm3, %xmm1
2249 ; SSE41-NEXT:    pminsb %xmm6, %xmm2
2250 ; SSE41-NEXT:    pminsb %xmm4, %xmm0
2251 ; SSE41-NEXT:    pminsb %xmm2, %xmm0
2252 ; SSE41-NEXT:    pminsb %xmm1, %xmm0
2253 ; SSE41-NEXT:    pxor {{.*}}(%rip), %xmm0
2254 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
2255 ; SSE41-NEXT:    psrlw $8, %xmm1
2256 ; SSE41-NEXT:    pminub %xmm0, %xmm1
2257 ; SSE41-NEXT:    phminposuw %xmm1, %xmm0
2258 ; SSE41-NEXT:    pextrb $0, %xmm0, %eax
2259 ; SSE41-NEXT:    xorb $-128, %al
2260 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
2261 ; SSE41-NEXT:    retq
2262 ;
2263 ; AVX1-LABEL: test_v128i8:
2264 ; AVX1:       # %bb.0:
2265 ; AVX1-NEXT:    vextractf128 $1, %ymm3, %xmm4
2266 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm5
2267 ; AVX1-NEXT:    vpminsb %xmm4, %xmm5, %xmm4
2268 ; AVX1-NEXT:    vextractf128 $1, %ymm2, %xmm5
2269 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm6
2270 ; AVX1-NEXT:    vpminsb %xmm5, %xmm6, %xmm5
2271 ; AVX1-NEXT:    vpminsb %xmm4, %xmm5, %xmm4
2272 ; AVX1-NEXT:    vpminsb %xmm3, %xmm1, %xmm1
2273 ; AVX1-NEXT:    vpminsb %xmm2, %xmm0, %xmm0
2274 ; AVX1-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2275 ; AVX1-NEXT:    vpminsb %xmm4, %xmm0, %xmm0
2276 ; AVX1-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2277 ; AVX1-NEXT:    vpsrlw $8, %xmm0, %xmm1
2278 ; AVX1-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2279 ; AVX1-NEXT:    vphminposuw %xmm0, %xmm0
2280 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
2281 ; AVX1-NEXT:    xorb $-128, %al
2282 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
2283 ; AVX1-NEXT:    vzeroupper
2284 ; AVX1-NEXT:    retq
2285 ;
2286 ; AVX2-LABEL: test_v128i8:
2287 ; AVX2:       # %bb.0:
2288 ; AVX2-NEXT:    vpminsb %ymm3, %ymm1, %ymm1
2289 ; AVX2-NEXT:    vpminsb %ymm2, %ymm0, %ymm0
2290 ; AVX2-NEXT:    vpminsb %ymm1, %ymm0, %ymm0
2291 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
2292 ; AVX2-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2293 ; AVX2-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2294 ; AVX2-NEXT:    vpsrlw $8, %xmm0, %xmm1
2295 ; AVX2-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2296 ; AVX2-NEXT:    vphminposuw %xmm0, %xmm0
2297 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
2298 ; AVX2-NEXT:    xorb $-128, %al
2299 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
2300 ; AVX2-NEXT:    vzeroupper
2301 ; AVX2-NEXT:    retq
2302 ;
2303 ; AVX512-LABEL: test_v128i8:
2304 ; AVX512:       # %bb.0:
2305 ; AVX512-NEXT:    vpminsb %zmm1, %zmm0, %zmm0
2306 ; AVX512-NEXT:    vextracti64x4 $1, %zmm0, %ymm1
2307 ; AVX512-NEXT:    vpminsb %ymm1, %ymm0, %ymm0
2308 ; AVX512-NEXT:    vextracti128 $1, %ymm0, %xmm1
2309 ; AVX512-NEXT:    vpminsb %xmm1, %xmm0, %xmm0
2310 ; AVX512-NEXT:    vpxor {{.*}}(%rip), %xmm0, %xmm0
2311 ; AVX512-NEXT:    vpsrlw $8, %xmm0, %xmm1
2312 ; AVX512-NEXT:    vpminub %xmm1, %xmm0, %xmm0
2313 ; AVX512-NEXT:    vphminposuw %xmm0, %xmm0
2314 ; AVX512-NEXT:    vpextrb $0, %xmm0, %eax
2315 ; AVX512-NEXT:    xorb $-128, %al
2316 ; AVX512-NEXT:    # kill: def $al killed $al killed $eax
2317 ; AVX512-NEXT:    vzeroupper
2318 ; AVX512-NEXT:    retq
2319   %1 = call i8 @llvm.experimental.vector.reduce.smin.i8.v128i8(<128 x i8> %a0)
2320   ret i8 %1
2321 }
2322
2323 declare i64 @llvm.experimental.vector.reduce.smin.i64.v2i64(<2 x i64>)
2324 declare i64 @llvm.experimental.vector.reduce.smin.i64.v4i64(<4 x i64>)
2325 declare i64 @llvm.experimental.vector.reduce.smin.i64.v8i64(<8 x i64>)
2326 declare i64 @llvm.experimental.vector.reduce.smin.i64.v16i64(<16 x i64>)
2327
2328 declare i32 @llvm.experimental.vector.reduce.smin.i32.v2i32(<2 x i32>)
2329 declare i32 @llvm.experimental.vector.reduce.smin.i32.v4i32(<4 x i32>)
2330 declare i32 @llvm.experimental.vector.reduce.smin.i32.v8i32(<8 x i32>)
2331 declare i32 @llvm.experimental.vector.reduce.smin.i32.v16i32(<16 x i32>)
2332 declare i32 @llvm.experimental.vector.reduce.smin.i32.v32i32(<32 x i32>)
2333
2334 declare i16 @llvm.experimental.vector.reduce.smin.i16.v2i16(<2 x i16>)
2335 declare i16 @llvm.experimental.vector.reduce.smin.i16.v4i16(<4 x i16>)
2336 declare i16 @llvm.experimental.vector.reduce.smin.i16.v8i16(<8 x i16>)
2337 declare i16 @llvm.experimental.vector.reduce.smin.i16.v16i16(<16 x i16>)
2338 declare i16 @llvm.experimental.vector.reduce.smin.i16.v32i16(<32 x i16>)
2339 declare i16 @llvm.experimental.vector.reduce.smin.i16.v64i16(<64 x i16>)
2340
2341 declare i8 @llvm.experimental.vector.reduce.smin.i8.v2i8(<2 x i8>)
2342 declare i8 @llvm.experimental.vector.reduce.smin.i8.v4i8(<4 x i8>)
2343 declare i8 @llvm.experimental.vector.reduce.smin.i8.v8i8(<8 x i8>)
2344 declare i8 @llvm.experimental.vector.reduce.smin.i8.v16i8(<16 x i8>)
2345 declare i8 @llvm.experimental.vector.reduce.smin.i8.v32i8(<32 x i8>)
2346 declare i8 @llvm.experimental.vector.reduce.smin.i8.v64i8(<64 x i8>)
2347 declare i8 @llvm.experimental.vector.reduce.smin.i8.v128i8(<128 x i8>)