llvm/test/CodeGen/X86/vec-strict-cmp-512-fp16.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx512fp16 -O3 | FileCheck %s --check-prefixes=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512fp16 -O3 | FileCheck %s --check-prefixes=X64
   4
   5 define <32 x i16> @test_v32f16_oeq_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
   6 ; X86-LABEL: test_v32f16_oeq_q:
   7 ; X86:       # %bb.0:
   8 ; X86-NEXT:    pushl %ebp
   9 ; X86-NEXT:    movl %esp, %ebp
  10 ; X86-NEXT:    andl $-64, %esp
  11 ; X86-NEXT:    subl $64, %esp
  12 ; X86-NEXT:    vcmpeqph 8(%ebp), %zmm2, %k1
  13 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  14 ; X86-NEXT:    movl %ebp, %esp
  15 ; X86-NEXT:    popl %ebp
  16 ; X86-NEXT:    retl
  17 ;
  18 ; X64-LABEL: test_v32f16_oeq_q:
  19 ; X64:       # %bb.0:
  20 ; X64-NEXT:    vcmpeqph %zmm3, %zmm2, %k1
  21 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  22 ; X64-NEXT:    retq
  23   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
  24                                                <32 x half> %f1, <32 x half> %f2, metadata !"oeq",
  25                                                metadata !"fpexcept.strict") #0
  26   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
  27   ret <32 x i16> %res
  28 }
  29
  30 define <32 x i16> @test_v32f16_ogt_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
  31 ; X86-LABEL: test_v32f16_ogt_q:
  32 ; X86:       # %bb.0:
  33 ; X86-NEXT:    pushl %ebp
  34 ; X86-NEXT:    movl %esp, %ebp
  35 ; X86-NEXT:    andl $-64, %esp
  36 ; X86-NEXT:    subl $64, %esp
  37 ; X86-NEXT:    vcmpgt_oqph 8(%ebp), %zmm2, %k1
  38 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  39 ; X86-NEXT:    movl %ebp, %esp
  40 ; X86-NEXT:    popl %ebp
  41 ; X86-NEXT:    retl
  42 ;
  43 ; X64-LABEL: test_v32f16_ogt_q:
  44 ; X64:       # %bb.0:
  45 ; X64-NEXT:    vcmplt_oqph %zmm2, %zmm3, %k1
  46 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  47 ; X64-NEXT:    retq
  48   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
  49                                                <32 x half> %f1, <32 x half> %f2, metadata !"ogt",
  50                                                metadata !"fpexcept.strict") #0
  51   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
  52   ret <32 x i16> %res
  53 }
  54
  55 define <32 x i16> @test_v32f16_oge_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
  56 ; X86-LABEL: test_v32f16_oge_q:
  57 ; X86:       # %bb.0:
  58 ; X86-NEXT:    pushl %ebp
  59 ; X86-NEXT:    movl %esp, %ebp
  60 ; X86-NEXT:    andl $-64, %esp
  61 ; X86-NEXT:    subl $64, %esp
  62 ; X86-NEXT:    vcmpge_oqph 8(%ebp), %zmm2, %k1
  63 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  64 ; X86-NEXT:    movl %ebp, %esp
  65 ; X86-NEXT:    popl %ebp
  66 ; X86-NEXT:    retl
  67 ;
  68 ; X64-LABEL: test_v32f16_oge_q:
  69 ; X64:       # %bb.0:
  70 ; X64-NEXT:    vcmple_oqph %zmm2, %zmm3, %k1
  71 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  72 ; X64-NEXT:    retq
  73   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
  74                                                <32 x half> %f1, <32 x half> %f2, metadata !"oge",
  75                                                metadata !"fpexcept.strict") #0
  76   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
  77   ret <32 x i16> %res
  78 }
  79
  80 define <32 x i16> @test_v32f16_olt_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
  81 ; X86-LABEL: test_v32f16_olt_q:
  82 ; X86:       # %bb.0:
  83 ; X86-NEXT:    pushl %ebp
  84 ; X86-NEXT:    movl %esp, %ebp
  85 ; X86-NEXT:    andl $-64, %esp
  86 ; X86-NEXT:    subl $64, %esp
  87 ; X86-NEXT:    vcmplt_oqph 8(%ebp), %zmm2, %k1
  88 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  89 ; X86-NEXT:    movl %ebp, %esp
  90 ; X86-NEXT:    popl %ebp
  91 ; X86-NEXT:    retl
  92 ;
  93 ; X64-LABEL: test_v32f16_olt_q:
  94 ; X64:       # %bb.0:
  95 ; X64-NEXT:    vcmplt_oqph %zmm3, %zmm2, %k1
  96 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
  97 ; X64-NEXT:    retq
  98   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
  99                                                <32 x half> %f1, <32 x half> %f2, metadata !"olt",
 100                                                metadata !"fpexcept.strict") #0
 101   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 102   ret <32 x i16> %res
 103 }
 104
 105 define <32 x i16> @test_v32f16_ole_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 106 ; X86-LABEL: test_v32f16_ole_q:
 107 ; X86:       # %bb.0:
 108 ; X86-NEXT:    pushl %ebp
 109 ; X86-NEXT:    movl %esp, %ebp
 110 ; X86-NEXT:    andl $-64, %esp
 111 ; X86-NEXT:    subl $64, %esp
 112 ; X86-NEXT:    vcmple_oqph 8(%ebp), %zmm2, %k1
 113 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 114 ; X86-NEXT:    movl %ebp, %esp
 115 ; X86-NEXT:    popl %ebp
 116 ; X86-NEXT:    retl
 117 ;
 118 ; X64-LABEL: test_v32f16_ole_q:
 119 ; X64:       # %bb.0:
 120 ; X64-NEXT:    vcmple_oqph %zmm3, %zmm2, %k1
 121 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 122 ; X64-NEXT:    retq
 123   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 124                                                <32 x half> %f1, <32 x half> %f2, metadata !"ole",
 125                                                metadata !"fpexcept.strict") #0
 126   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 127   ret <32 x i16> %res
 128 }
 129
 130 define <32 x i16> @test_v32f16_one_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 131 ; X86-LABEL: test_v32f16_one_q:
 132 ; X86:       # %bb.0:
 133 ; X86-NEXT:    pushl %ebp
 134 ; X86-NEXT:    movl %esp, %ebp
 135 ; X86-NEXT:    andl $-64, %esp
 136 ; X86-NEXT:    subl $64, %esp
 137 ; X86-NEXT:    vcmpneq_oqph 8(%ebp), %zmm2, %k1
 138 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 139 ; X86-NEXT:    movl %ebp, %esp
 140 ; X86-NEXT:    popl %ebp
 141 ; X86-NEXT:    retl
 142 ;
 143 ; X64-LABEL: test_v32f16_one_q:
 144 ; X64:       # %bb.0:
 145 ; X64-NEXT:    vcmpneq_oqph %zmm3, %zmm2, %k1
 146 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 147 ; X64-NEXT:    retq
 148   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 149                                                <32 x half> %f1, <32 x half> %f2, metadata !"one",
 150                                                metadata !"fpexcept.strict") #0
 151   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 152   ret <32 x i16> %res
 153 }
 154
 155 define <32 x i16> @test_v32f16_ord_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 156 ; X86-LABEL: test_v32f16_ord_q:
 157 ; X86:       # %bb.0:
 158 ; X86-NEXT:    pushl %ebp
 159 ; X86-NEXT:    movl %esp, %ebp
 160 ; X86-NEXT:    andl $-64, %esp
 161 ; X86-NEXT:    subl $64, %esp
 162 ; X86-NEXT:    vcmpordph 8(%ebp), %zmm2, %k1
 163 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 164 ; X86-NEXT:    movl %ebp, %esp
 165 ; X86-NEXT:    popl %ebp
 166 ; X86-NEXT:    retl
 167 ;
 168 ; X64-LABEL: test_v32f16_ord_q:
 169 ; X64:       # %bb.0:
 170 ; X64-NEXT:    vcmpordph %zmm3, %zmm2, %k1
 171 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 172 ; X64-NEXT:    retq
 173   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 174                                                <32 x half> %f1, <32 x half> %f2, metadata !"ord",
 175                                                metadata !"fpexcept.strict") #0
 176   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 177   ret <32 x i16> %res
 178 }
 179
 180 define <32 x i16> @test_v32f16_ueq_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 181 ; X86-LABEL: test_v32f16_ueq_q:
 182 ; X86:       # %bb.0:
 183 ; X86-NEXT:    pushl %ebp
 184 ; X86-NEXT:    movl %esp, %ebp
 185 ; X86-NEXT:    andl $-64, %esp
 186 ; X86-NEXT:    subl $64, %esp
 187 ; X86-NEXT:    vcmpeq_uqph 8(%ebp), %zmm2, %k1
 188 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 189 ; X86-NEXT:    movl %ebp, %esp
 190 ; X86-NEXT:    popl %ebp
 191 ; X86-NEXT:    retl
 192 ;
 193 ; X64-LABEL: test_v32f16_ueq_q:
 194 ; X64:       # %bb.0:
 195 ; X64-NEXT:    vcmpeq_uqph %zmm3, %zmm2, %k1
 196 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 197 ; X64-NEXT:    retq
 198   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 199                                                <32 x half> %f1, <32 x half> %f2, metadata !"ueq",
 200                                                metadata !"fpexcept.strict") #0
 201   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 202   ret <32 x i16> %res
 203 }
 204
 205 define <32 x i16> @test_v32f16_ugt_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 206 ; X86-LABEL: test_v32f16_ugt_q:
 207 ; X86:       # %bb.0:
 208 ; X86-NEXT:    pushl %ebp
 209 ; X86-NEXT:    movl %esp, %ebp
 210 ; X86-NEXT:    andl $-64, %esp
 211 ; X86-NEXT:    subl $64, %esp
 212 ; X86-NEXT:    vcmpnle_uqph 8(%ebp), %zmm2, %k1
 213 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 214 ; X86-NEXT:    movl %ebp, %esp
 215 ; X86-NEXT:    popl %ebp
 216 ; X86-NEXT:    retl
 217 ;
 218 ; X64-LABEL: test_v32f16_ugt_q:
 219 ; X64:       # %bb.0:
 220 ; X64-NEXT:    vcmpnle_uqph %zmm3, %zmm2, %k1
 221 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 222 ; X64-NEXT:    retq
 223   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 224                                                <32 x half> %f1, <32 x half> %f2, metadata !"ugt",
 225                                                metadata !"fpexcept.strict") #0
 226   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 227   ret <32 x i16> %res
 228 }
 229
 230 define <32 x i16> @test_v32f16_uge_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 231 ; X86-LABEL: test_v32f16_uge_q:
 232 ; X86:       # %bb.0:
 233 ; X86-NEXT:    pushl %ebp
 234 ; X86-NEXT:    movl %esp, %ebp
 235 ; X86-NEXT:    andl $-64, %esp
 236 ; X86-NEXT:    subl $64, %esp
 237 ; X86-NEXT:    vcmpnlt_uqph 8(%ebp), %zmm2, %k1
 238 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 239 ; X86-NEXT:    movl %ebp, %esp
 240 ; X86-NEXT:    popl %ebp
 241 ; X86-NEXT:    retl
 242 ;
 243 ; X64-LABEL: test_v32f16_uge_q:
 244 ; X64:       # %bb.0:
 245 ; X64-NEXT:    vcmpnlt_uqph %zmm3, %zmm2, %k1
 246 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 247 ; X64-NEXT:    retq
 248   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 249                                                <32 x half> %f1, <32 x half> %f2, metadata !"uge",
 250                                                metadata !"fpexcept.strict") #0
 251   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 252   ret <32 x i16> %res
 253 }
 254
 255 define <32 x i16> @test_v32f16_ult_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 256 ; X86-LABEL: test_v32f16_ult_q:
 257 ; X86:       # %bb.0:
 258 ; X86-NEXT:    pushl %ebp
 259 ; X86-NEXT:    movl %esp, %ebp
 260 ; X86-NEXT:    andl $-64, %esp
 261 ; X86-NEXT:    subl $64, %esp
 262 ; X86-NEXT:    vcmpnge_uqph 8(%ebp), %zmm2, %k1
 263 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 264 ; X86-NEXT:    movl %ebp, %esp
 265 ; X86-NEXT:    popl %ebp
 266 ; X86-NEXT:    retl
 267 ;
 268 ; X64-LABEL: test_v32f16_ult_q:
 269 ; X64:       # %bb.0:
 270 ; X64-NEXT:    vcmpnle_uqph %zmm2, %zmm3, %k1
 271 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 272 ; X64-NEXT:    retq
 273   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 274                                                <32 x half> %f1, <32 x half> %f2, metadata !"ult",
 275                                                metadata !"fpexcept.strict") #0
 276   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 277   ret <32 x i16> %res
 278 }
 279
 280 define <32 x i16> @test_v32f16_ule_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 281 ; X86-LABEL: test_v32f16_ule_q:
 282 ; X86:       # %bb.0:
 283 ; X86-NEXT:    pushl %ebp
 284 ; X86-NEXT:    movl %esp, %ebp
 285 ; X86-NEXT:    andl $-64, %esp
 286 ; X86-NEXT:    subl $64, %esp
 287 ; X86-NEXT:    vcmpngt_uqph 8(%ebp), %zmm2, %k1
 288 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 289 ; X86-NEXT:    movl %ebp, %esp
 290 ; X86-NEXT:    popl %ebp
 291 ; X86-NEXT:    retl
 292 ;
 293 ; X64-LABEL: test_v32f16_ule_q:
 294 ; X64:       # %bb.0:
 295 ; X64-NEXT:    vcmpnlt_uqph %zmm2, %zmm3, %k1
 296 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 297 ; X64-NEXT:    retq
 298   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 299                                                <32 x half> %f1, <32 x half> %f2, metadata !"ule",
 300                                                metadata !"fpexcept.strict") #0
 301   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 302   ret <32 x i16> %res
 303 }
 304
 305 define <32 x i16> @test_v32f16_une_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 306 ; X86-LABEL: test_v32f16_une_q:
 307 ; X86:       # %bb.0:
 308 ; X86-NEXT:    pushl %ebp
 309 ; X86-NEXT:    movl %esp, %ebp
 310 ; X86-NEXT:    andl $-64, %esp
 311 ; X86-NEXT:    subl $64, %esp
 312 ; X86-NEXT:    vcmpneqph 8(%ebp), %zmm2, %k1
 313 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 314 ; X86-NEXT:    movl %ebp, %esp
 315 ; X86-NEXT:    popl %ebp
 316 ; X86-NEXT:    retl
 317 ;
 318 ; X64-LABEL: test_v32f16_une_q:
 319 ; X64:       # %bb.0:
 320 ; X64-NEXT:    vcmpneqph %zmm3, %zmm2, %k1
 321 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 322 ; X64-NEXT:    retq
 323   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 324                                                <32 x half> %f1, <32 x half> %f2, metadata !"une",
 325                                                metadata !"fpexcept.strict") #0
 326   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 327   ret <32 x i16> %res
 328 }
 329
 330 define <32 x i16> @test_v32f16_uno_q(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 331 ; X86-LABEL: test_v32f16_uno_q:
 332 ; X86:       # %bb.0:
 333 ; X86-NEXT:    pushl %ebp
 334 ; X86-NEXT:    movl %esp, %ebp
 335 ; X86-NEXT:    andl $-64, %esp
 336 ; X86-NEXT:    subl $64, %esp
 337 ; X86-NEXT:    vcmpunordph 8(%ebp), %zmm2, %k1
 338 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 339 ; X86-NEXT:    movl %ebp, %esp
 340 ; X86-NEXT:    popl %ebp
 341 ; X86-NEXT:    retl
 342 ;
 343 ; X64-LABEL: test_v32f16_uno_q:
 344 ; X64:       # %bb.0:
 345 ; X64-NEXT:    vcmpunordph %zmm3, %zmm2, %k1
 346 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 347 ; X64-NEXT:    retq
 348   %cond = call <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(
 349                                                <32 x half> %f1, <32 x half> %f2, metadata !"uno",
 350                                                metadata !"fpexcept.strict") #0
 351   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 352   ret <32 x i16> %res
 353 }
 354
 355 define <32 x i16> @test_v32f16_oeq_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 356 ; X86-LABEL: test_v32f16_oeq_s:
 357 ; X86:       # %bb.0:
 358 ; X86-NEXT:    pushl %ebp
 359 ; X86-NEXT:    movl %esp, %ebp
 360 ; X86-NEXT:    andl $-64, %esp
 361 ; X86-NEXT:    subl $64, %esp
 362 ; X86-NEXT:    vcmpeq_osph 8(%ebp), %zmm2, %k1
 363 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 364 ; X86-NEXT:    movl %ebp, %esp
 365 ; X86-NEXT:    popl %ebp
 366 ; X86-NEXT:    retl
 367 ;
 368 ; X64-LABEL: test_v32f16_oeq_s:
 369 ; X64:       # %bb.0:
 370 ; X64-NEXT:    vcmpeq_osph %zmm3, %zmm2, %k1
 371 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 372 ; X64-NEXT:    retq
 373   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 374                                                <32 x half> %f1, <32 x half> %f2, metadata !"oeq",
 375                                                metadata !"fpexcept.strict") #0
 376   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 377   ret <32 x i16> %res
 378 }
 379
 380 define <32 x i16> @test_v32f16_ogt_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 381 ; X86-LABEL: test_v32f16_ogt_s:
 382 ; X86:       # %bb.0:
 383 ; X86-NEXT:    pushl %ebp
 384 ; X86-NEXT:    movl %esp, %ebp
 385 ; X86-NEXT:    andl $-64, %esp
 386 ; X86-NEXT:    subl $64, %esp
 387 ; X86-NEXT:    vcmpgtph 8(%ebp), %zmm2, %k1
 388 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 389 ; X86-NEXT:    movl %ebp, %esp
 390 ; X86-NEXT:    popl %ebp
 391 ; X86-NEXT:    retl
 392 ;
 393 ; X64-LABEL: test_v32f16_ogt_s:
 394 ; X64:       # %bb.0:
 395 ; X64-NEXT:    vcmpltph %zmm2, %zmm3, %k1
 396 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 397 ; X64-NEXT:    retq
 398   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 399                                                <32 x half> %f1, <32 x half> %f2, metadata !"ogt",
 400                                                metadata !"fpexcept.strict") #0
 401   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 402   ret <32 x i16> %res
 403 }
 404
 405 define <32 x i16> @test_v32f16_oge_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 406 ; X86-LABEL: test_v32f16_oge_s:
 407 ; X86:       # %bb.0:
 408 ; X86-NEXT:    pushl %ebp
 409 ; X86-NEXT:    movl %esp, %ebp
 410 ; X86-NEXT:    andl $-64, %esp
 411 ; X86-NEXT:    subl $64, %esp
 412 ; X86-NEXT:    vcmpgeph 8(%ebp), %zmm2, %k1
 413 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 414 ; X86-NEXT:    movl %ebp, %esp
 415 ; X86-NEXT:    popl %ebp
 416 ; X86-NEXT:    retl
 417 ;
 418 ; X64-LABEL: test_v32f16_oge_s:
 419 ; X64:       # %bb.0:
 420 ; X64-NEXT:    vcmpleph %zmm2, %zmm3, %k1
 421 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 422 ; X64-NEXT:    retq
 423   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 424                                                <32 x half> %f1, <32 x half> %f2, metadata !"oge",
 425                                                metadata !"fpexcept.strict") #0
 426   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 427   ret <32 x i16> %res
 428 }
 429
 430 define <32 x i16> @test_v32f16_olt_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 431 ; X86-LABEL: test_v32f16_olt_s:
 432 ; X86:       # %bb.0:
 433 ; X86-NEXT:    pushl %ebp
 434 ; X86-NEXT:    movl %esp, %ebp
 435 ; X86-NEXT:    andl $-64, %esp
 436 ; X86-NEXT:    subl $64, %esp
 437 ; X86-NEXT:    vcmpltph 8(%ebp), %zmm2, %k1
 438 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 439 ; X86-NEXT:    movl %ebp, %esp
 440 ; X86-NEXT:    popl %ebp
 441 ; X86-NEXT:    retl
 442 ;
 443 ; X64-LABEL: test_v32f16_olt_s:
 444 ; X64:       # %bb.0:
 445 ; X64-NEXT:    vcmpltph %zmm3, %zmm2, %k1
 446 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 447 ; X64-NEXT:    retq
 448   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 449                                                <32 x half> %f1, <32 x half> %f2, metadata !"olt",
 450                                                metadata !"fpexcept.strict") #0
 451   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 452   ret <32 x i16> %res
 453 }
 454
 455 define <32 x i16> @test_v32f16_ole_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 456 ; X86-LABEL: test_v32f16_ole_s:
 457 ; X86:       # %bb.0:
 458 ; X86-NEXT:    pushl %ebp
 459 ; X86-NEXT:    movl %esp, %ebp
 460 ; X86-NEXT:    andl $-64, %esp
 461 ; X86-NEXT:    subl $64, %esp
 462 ; X86-NEXT:    vcmpleph 8(%ebp), %zmm2, %k1
 463 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 464 ; X86-NEXT:    movl %ebp, %esp
 465 ; X86-NEXT:    popl %ebp
 466 ; X86-NEXT:    retl
 467 ;
 468 ; X64-LABEL: test_v32f16_ole_s:
 469 ; X64:       # %bb.0:
 470 ; X64-NEXT:    vcmpleph %zmm3, %zmm2, %k1
 471 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 472 ; X64-NEXT:    retq
 473   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 474                                                <32 x half> %f1, <32 x half> %f2, metadata !"ole",
 475                                                metadata !"fpexcept.strict") #0
 476   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 477   ret <32 x i16> %res
 478 }
 479
 480 define <32 x i16> @test_v32f16_one_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 481 ; X86-LABEL: test_v32f16_one_s:
 482 ; X86:       # %bb.0:
 483 ; X86-NEXT:    pushl %ebp
 484 ; X86-NEXT:    movl %esp, %ebp
 485 ; X86-NEXT:    andl $-64, %esp
 486 ; X86-NEXT:    subl $64, %esp
 487 ; X86-NEXT:    vcmpneq_osph 8(%ebp), %zmm2, %k1
 488 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 489 ; X86-NEXT:    movl %ebp, %esp
 490 ; X86-NEXT:    popl %ebp
 491 ; X86-NEXT:    retl
 492 ;
 493 ; X64-LABEL: test_v32f16_one_s:
 494 ; X64:       # %bb.0:
 495 ; X64-NEXT:    vcmpneq_osph %zmm3, %zmm2, %k1
 496 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 497 ; X64-NEXT:    retq
 498   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 499                                                <32 x half> %f1, <32 x half> %f2, metadata !"one",
 500                                                metadata !"fpexcept.strict") #0
 501   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 502   ret <32 x i16> %res
 503 }
 504
 505 define <32 x i16> @test_v32f16_ord_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 506 ; X86-LABEL: test_v32f16_ord_s:
 507 ; X86:       # %bb.0:
 508 ; X86-NEXT:    pushl %ebp
 509 ; X86-NEXT:    movl %esp, %ebp
 510 ; X86-NEXT:    andl $-64, %esp
 511 ; X86-NEXT:    subl $64, %esp
 512 ; X86-NEXT:    vcmpord_sph 8(%ebp), %zmm2, %k1
 513 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 514 ; X86-NEXT:    movl %ebp, %esp
 515 ; X86-NEXT:    popl %ebp
 516 ; X86-NEXT:    retl
 517 ;
 518 ; X64-LABEL: test_v32f16_ord_s:
 519 ; X64:       # %bb.0:
 520 ; X64-NEXT:    vcmpord_sph %zmm3, %zmm2, %k1
 521 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 522 ; X64-NEXT:    retq
 523   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 524                                                <32 x half> %f1, <32 x half> %f2, metadata !"ord",
 525                                                metadata !"fpexcept.strict") #0
 526   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 527   ret <32 x i16> %res
 528 }
 529
 530 define <32 x i16> @test_v32f16_ueq_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 531 ; X86-LABEL: test_v32f16_ueq_s:
 532 ; X86:       # %bb.0:
 533 ; X86-NEXT:    pushl %ebp
 534 ; X86-NEXT:    movl %esp, %ebp
 535 ; X86-NEXT:    andl $-64, %esp
 536 ; X86-NEXT:    subl $64, %esp
 537 ; X86-NEXT:    vcmpeq_usph 8(%ebp), %zmm2, %k1
 538 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 539 ; X86-NEXT:    movl %ebp, %esp
 540 ; X86-NEXT:    popl %ebp
 541 ; X86-NEXT:    retl
 542 ;
 543 ; X64-LABEL: test_v32f16_ueq_s:
 544 ; X64:       # %bb.0:
 545 ; X64-NEXT:    vcmpeq_usph %zmm3, %zmm2, %k1
 546 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 547 ; X64-NEXT:    retq
 548   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 549                                                <32 x half> %f1, <32 x half> %f2, metadata !"ueq",
 550                                                metadata !"fpexcept.strict") #0
 551   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 552   ret <32 x i16> %res
 553 }
 554
 555 define <32 x i16> @test_v32f16_ugt_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 556 ; X86-LABEL: test_v32f16_ugt_s:
 557 ; X86:       # %bb.0:
 558 ; X86-NEXT:    pushl %ebp
 559 ; X86-NEXT:    movl %esp, %ebp
 560 ; X86-NEXT:    andl $-64, %esp
 561 ; X86-NEXT:    subl $64, %esp
 562 ; X86-NEXT:    vcmpnleph 8(%ebp), %zmm2, %k1
 563 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 564 ; X86-NEXT:    movl %ebp, %esp
 565 ; X86-NEXT:    popl %ebp
 566 ; X86-NEXT:    retl
 567 ;
 568 ; X64-LABEL: test_v32f16_ugt_s:
 569 ; X64:       # %bb.0:
 570 ; X64-NEXT:    vcmpnleph %zmm3, %zmm2, %k1
 571 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 572 ; X64-NEXT:    retq
 573   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 574                                                <32 x half> %f1, <32 x half> %f2, metadata !"ugt",
 575                                                metadata !"fpexcept.strict") #0
 576   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 577   ret <32 x i16> %res
 578 }
 579
 580 define <32 x i16> @test_v32f16_uge_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 581 ; X86-LABEL: test_v32f16_uge_s:
 582 ; X86:       # %bb.0:
 583 ; X86-NEXT:    pushl %ebp
 584 ; X86-NEXT:    movl %esp, %ebp
 585 ; X86-NEXT:    andl $-64, %esp
 586 ; X86-NEXT:    subl $64, %esp
 587 ; X86-NEXT:    vcmpnltph 8(%ebp), %zmm2, %k1
 588 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 589 ; X86-NEXT:    movl %ebp, %esp
 590 ; X86-NEXT:    popl %ebp
 591 ; X86-NEXT:    retl
 592 ;
 593 ; X64-LABEL: test_v32f16_uge_s:
 594 ; X64:       # %bb.0:
 595 ; X64-NEXT:    vcmpnltph %zmm3, %zmm2, %k1
 596 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 597 ; X64-NEXT:    retq
 598   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 599                                                <32 x half> %f1, <32 x half> %f2, metadata !"uge",
 600                                                metadata !"fpexcept.strict") #0
 601   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 602   ret <32 x i16> %res
 603 }
 604
 605 define <32 x i16> @test_v32f16_ult_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 606 ; X86-LABEL: test_v32f16_ult_s:
 607 ; X86:       # %bb.0:
 608 ; X86-NEXT:    pushl %ebp
 609 ; X86-NEXT:    movl %esp, %ebp
 610 ; X86-NEXT:    andl $-64, %esp
 611 ; X86-NEXT:    subl $64, %esp
 612 ; X86-NEXT:    vcmpngeph 8(%ebp), %zmm2, %k1
 613 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 614 ; X86-NEXT:    movl %ebp, %esp
 615 ; X86-NEXT:    popl %ebp
 616 ; X86-NEXT:    retl
 617 ;
 618 ; X64-LABEL: test_v32f16_ult_s:
 619 ; X64:       # %bb.0:
 620 ; X64-NEXT:    vcmpnleph %zmm2, %zmm3, %k1
 621 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 622 ; X64-NEXT:    retq
 623   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 624                                                <32 x half> %f1, <32 x half> %f2, metadata !"ult",
 625                                                metadata !"fpexcept.strict") #0
 626   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 627   ret <32 x i16> %res
 628 }
 629
 630 define <32 x i16> @test_v32f16_ule_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 631 ; X86-LABEL: test_v32f16_ule_s:
 632 ; X86:       # %bb.0:
 633 ; X86-NEXT:    pushl %ebp
 634 ; X86-NEXT:    movl %esp, %ebp
 635 ; X86-NEXT:    andl $-64, %esp
 636 ; X86-NEXT:    subl $64, %esp
 637 ; X86-NEXT:    vcmpngtph 8(%ebp), %zmm2, %k1
 638 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 639 ; X86-NEXT:    movl %ebp, %esp
 640 ; X86-NEXT:    popl %ebp
 641 ; X86-NEXT:    retl
 642 ;
 643 ; X64-LABEL: test_v32f16_ule_s:
 644 ; X64:       # %bb.0:
 645 ; X64-NEXT:    vcmpnltph %zmm2, %zmm3, %k1
 646 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 647 ; X64-NEXT:    retq
 648   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 649                                                <32 x half> %f1, <32 x half> %f2, metadata !"ule",
 650                                                metadata !"fpexcept.strict") #0
 651   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 652   ret <32 x i16> %res
 653 }
 654
 655 define <32 x i16> @test_v32f16_une_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 656 ; X86-LABEL: test_v32f16_une_s:
 657 ; X86:       # %bb.0:
 658 ; X86-NEXT:    pushl %ebp
 659 ; X86-NEXT:    movl %esp, %ebp
 660 ; X86-NEXT:    andl $-64, %esp
 661 ; X86-NEXT:    subl $64, %esp
 662 ; X86-NEXT:    vcmpneq_usph 8(%ebp), %zmm2, %k1
 663 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 664 ; X86-NEXT:    movl %ebp, %esp
 665 ; X86-NEXT:    popl %ebp
 666 ; X86-NEXT:    retl
 667 ;
 668 ; X64-LABEL: test_v32f16_une_s:
 669 ; X64:       # %bb.0:
 670 ; X64-NEXT:    vcmpneq_usph %zmm3, %zmm2, %k1
 671 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 672 ; X64-NEXT:    retq
 673   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 674                                                <32 x half> %f1, <32 x half> %f2, metadata !"une",
 675                                                metadata !"fpexcept.strict") #0
 676   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 677   ret <32 x i16> %res
 678 }
 679
 680 define <32 x i16> @test_v32f16_uno_s(<32 x i16> %a, <32 x i16> %b, <32 x half> %f1, <32 x half> %f2) #0 {
 681 ; X86-LABEL: test_v32f16_uno_s:
 682 ; X86:       # %bb.0:
 683 ; X86-NEXT:    pushl %ebp
 684 ; X86-NEXT:    movl %esp, %ebp
 685 ; X86-NEXT:    andl $-64, %esp
 686 ; X86-NEXT:    subl $64, %esp
 687 ; X86-NEXT:    vcmpunord_sph 8(%ebp), %zmm2, %k1
 688 ; X86-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 689 ; X86-NEXT:    movl %ebp, %esp
 690 ; X86-NEXT:    popl %ebp
 691 ; X86-NEXT:    retl
 692 ;
 693 ; X64-LABEL: test_v32f16_uno_s:
 694 ; X64:       # %bb.0:
 695 ; X64-NEXT:    vcmpunord_sph %zmm3, %zmm2, %k1
 696 ; X64-NEXT:    vpblendmw %zmm0, %zmm1, %zmm0 {%k1}
 697 ; X64-NEXT:    retq
 698   %cond = call <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(
 699                                                <32 x half> %f1, <32 x half> %f2, metadata !"uno",
 700                                                metadata !"fpexcept.strict") #0
 701   %res = select <32 x i1> %cond, <32 x i16> %a, <32 x i16> %b
 702   ret <32 x i16> %res
 703 }
 704
 705 attributes #0 = { strictfp nounwind }
 706
 707 declare <32 x i1> @llvm.experimental.constrained.fcmp.v32f16(<32 x half>, <32 x half>, metadata, metadata)
 708 declare <32 x i1> @llvm.experimental.constrained.fcmps.v32f16(<32 x half>, <32 x half>, metadata, metadata)