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

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