test/CodeGen/X86/fcmp-constant.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
   3
   4 ;
   5 ; fcmp oeq
   6 ;
   7
   8 define <2 x i64> @fcmp_oeq_v2f64() {
   9 ; CHECK-LABEL: fcmp_oeq_v2f64:
  10 ; CHECK:       # %bb.0:
  11 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
  12 ; CHECK-NEXT:    retq
  13   %1 = fcmp oeq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>
  14   %2 = sext <2 x i1> %1 to <2 x i64>
  15   ret <2 x i64> %2
  16 }
  17
  18 define <2 x i64> @fcmp_oeq_v2f64_undef() {
  19 ; CHECK-LABEL: fcmp_oeq_v2f64_undef:
  20 ; CHECK:       # %bb.0:
  21 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  22 ; CHECK-NEXT:    retq
  23   %1 = fcmp oeq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, undef
  24   %2 = sext <2 x i1> %1 to <2 x i64>
  25   ret <2 x i64> %2
  26 }
  27
  28 define <2 x i64> @fcmp_oeq_v2f64_undef_elt() {
  29 ; CHECK-LABEL: fcmp_oeq_v2f64_undef_elt:
  30 ; CHECK:       # %bb.0:
  31 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  32 ; CHECK-NEXT:    retq
  33   %1 = fcmp oeq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double undef, double 0x3FF0000000000000>
  34   %2 = sext <2 x i1> %1 to <2 x i64>
  35   ret <2 x i64> %2
  36 }
  37
  38 define <4 x i32> @fcmp_oeq_v4f32() {
  39 ; CHECK-LABEL: fcmp_oeq_v4f32:
  40 ; CHECK:       # %bb.0:
  41 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
  42 ; CHECK-NEXT:    retq
  43   %1 = fcmp oeq <4 x float> <float -0.0, float 1.0, float -1.0, float +2.0>, <float +0.0, float 1.0, float -1.0, float +2.0>
  44   %2 = sext <4 x i1> %1 to <4 x i32>
  45   ret <4 x i32> %2
  46 }
  47
  48 define <4 x i32> @fcmp_oeq_v4f32_undef() {
  49 ; CHECK-LABEL: fcmp_oeq_v4f32_undef:
  50 ; CHECK:       # %bb.0:
  51 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  52 ; CHECK-NEXT:    retq
  53   %1 = fcmp oeq <4 x float> <float 1.0, float -1.0, float +2.0, float -0.0>, undef
  54   %2 = sext <4 x i1> %1 to <4 x i32>
  55   ret <4 x i32> %2
  56 }
  57
  58 define <4 x i32> @fcmp_oeq_v4f32_undef_elt() {
  59 ; CHECK-LABEL: fcmp_oeq_v4f32_undef_elt:
  60 ; CHECK:       # %bb.0:
  61 ; CHECK-NEXT:    movaps {{.*#+}} xmm0 = [0,4294967295,4294967295,0]
  62 ; CHECK-NEXT:    retq
  63   %1 = fcmp oeq <4 x float> <float -0.0, float 1.0, float -1.0, float undef>, <float undef, float 1.0, float -1.0, float +2.0>
  64   %2 = sext <4 x i1> %1 to <4 x i32>
  65   ret <4 x i32> %2
  66 }
  67
  68 ;
  69 ; fcmp ueq
  70 ;
  71
  72 define <2 x i64> @fcmp_ueq_v2f64() {
  73 ; CHECK-LABEL: fcmp_ueq_v2f64:
  74 ; CHECK:       # %bb.0:
  75 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
  76 ; CHECK-NEXT:    retq
  77   %1 = fcmp ueq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>
  78   %2 = sext <2 x i1> %1 to <2 x i64>
  79   ret <2 x i64> %2
  80 }
  81
  82 define <2 x i64> @fcmp_ueq_v2f64_undef() {
  83 ; CHECK-LABEL: fcmp_ueq_v2f64_undef:
  84 ; CHECK:       # %bb.0:
  85 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
  86 ; CHECK-NEXT:    retq
  87   %1 = fcmp ueq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, undef
  88   %2 = sext <2 x i1> %1 to <2 x i64>
  89   ret <2 x i64> %2
  90 }
  91
  92 define <2 x i64> @fcmp_ueq_v2f64_undef_elt() {
  93 ; CHECK-LABEL: fcmp_ueq_v2f64_undef_elt:
  94 ; CHECK:       # %bb.0:
  95 ; CHECK-NEXT:    movq $-1, %rax
  96 ; CHECK-NEXT:    movq %rax, %xmm0
  97 ; CHECK-NEXT:    retq
  98   %1 = fcmp ueq <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double undef, double 0x3FF0000000000000>
  99   %2 = sext <2 x i1> %1 to <2 x i64>
 100   ret <2 x i64> %2
 101 }
 102
 103 define <4 x i32> @fcmp_ueq_v4f32() {
 104 ; CHECK-LABEL: fcmp_ueq_v4f32:
 105 ; CHECK:       # %bb.0:
 106 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 107 ; CHECK-NEXT:    retq
 108   %1 = fcmp ueq <4 x float> <float -0.0, float 1.0, float -1.0, float +2.0>, <float +0.0, float 1.0, float -1.0, float +2.0>
 109   %2 = sext <4 x i1> %1 to <4 x i32>
 110   ret <4 x i32> %2
 111 }
 112
 113 define <4 x i32> @fcmp_ueq_v4f32_undef() {
 114 ; CHECK-LABEL: fcmp_ueq_v4f32_undef:
 115 ; CHECK:       # %bb.0:
 116 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 117 ; CHECK-NEXT:    retq
 118   %1 = fcmp ueq <4 x float> <float 1.0, float -1.0, float +2.0, float -0.0>, undef
 119   %2 = sext <4 x i1> %1 to <4 x i32>
 120   ret <4 x i32> %2
 121 }
 122
 123 define <4 x i32> @fcmp_ueq_v4f32_undef_elt() {
 124 ; CHECK-LABEL: fcmp_ueq_v4f32_undef_elt:
 125 ; CHECK:       # %bb.0:
 126 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 127 ; CHECK-NEXT:    retq
 128   %1 = fcmp ueq <4 x float> <float -0.0, float 1.0, float -1.0, float undef>, <float undef, float 1.0, float -1.0, float +2.0>
 129   %2 = sext <4 x i1> %1 to <4 x i32>
 130   ret <4 x i32> %2
 131 }
 132
 133 ;
 134 ; fcmp false
 135 ;
 136
 137 define <2 x i64> @fcmp_false_v2f64() {
 138 ; CHECK-LABEL: fcmp_false_v2f64:
 139 ; CHECK:       # %bb.0:
 140 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 141 ; CHECK-NEXT:    retq
 142   %1 = fcmp false <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>
 143   %2 = sext <2 x i1> %1 to <2 x i64>
 144   ret <2 x i64> %2
 145 }
 146
 147 define <2 x i64> @fcmp_false_v2f64_undef() {
 148 ; CHECK-LABEL: fcmp_false_v2f64_undef:
 149 ; CHECK:       # %bb.0:
 150 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 151 ; CHECK-NEXT:    retq
 152   %1 = fcmp false <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, undef
 153   %2 = sext <2 x i1> %1 to <2 x i64>
 154   ret <2 x i64> %2
 155 }
 156
 157 define <2 x i64> @fcmp_false_v2f64_undef_elt() {
 158 ; CHECK-LABEL: fcmp_false_v2f64_undef_elt:
 159 ; CHECK:       # %bb.0:
 160 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 161 ; CHECK-NEXT:    retq
 162   %1 = fcmp false <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double undef, double 0x3FF0000000000000>
 163   %2 = sext <2 x i1> %1 to <2 x i64>
 164   ret <2 x i64> %2
 165 }
 166
 167 define <4 x i32> @fcmp_false_v4f32() {
 168 ; CHECK-LABEL: fcmp_false_v4f32:
 169 ; CHECK:       # %bb.0:
 170 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 171 ; CHECK-NEXT:    retq
 172   %1 = fcmp false <4 x float> <float -0.0, float 1.0, float -1.0, float +2.0>, <float +0.0, float 1.0, float -1.0, float +2.0>
 173   %2 = sext <4 x i1> %1 to <4 x i32>
 174   ret <4 x i32> %2
 175 }
 176
 177 define <4 x i32> @fcmp_false_v4f32_undef() {
 178 ; CHECK-LABEL: fcmp_false_v4f32_undef:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 181 ; CHECK-NEXT:    retq
 182   %1 = fcmp false <4 x float> <float 1.0, float -1.0, float +2.0, float -0.0>, undef
 183   %2 = sext <4 x i1> %1 to <4 x i32>
 184   ret <4 x i32> %2
 185 }
 186
 187 define <4 x i32> @fcmp_false_v4f32_undef_elt() {
 188 ; CHECK-LABEL: fcmp_false_v4f32_undef_elt:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    xorps %xmm0, %xmm0
 191 ; CHECK-NEXT:    retq
 192   %1 = fcmp false <4 x float> <float -0.0, float 1.0, float -1.0, float undef>, <float undef, float 1.0, float -1.0, float +2.0>
 193   %2 = sext <4 x i1> %1 to <4 x i32>
 194   ret <4 x i32> %2
 195 }
 196
 197 ;
 198 ; fcmp true
 199 ;
 200
 201 define <2 x i64> @fcmp_true_v2f64() {
 202 ; CHECK-LABEL: fcmp_true_v2f64:
 203 ; CHECK:       # %bb.0:
 204 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 205 ; CHECK-NEXT:    retq
 206   %1 = fcmp true <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>
 207   %2 = sext <2 x i1> %1 to <2 x i64>
 208   ret <2 x i64> %2
 209 }
 210
 211 define <2 x i64> @fcmp_true_v2f64_undef() {
 212 ; CHECK-LABEL: fcmp_true_v2f64_undef:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 215 ; CHECK-NEXT:    retq
 216   %1 = fcmp true <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, undef
 217   %2 = sext <2 x i1> %1 to <2 x i64>
 218   ret <2 x i64> %2
 219 }
 220
 221 define <2 x i64> @fcmp_true_v2f64_undef_elt() {
 222 ; CHECK-LABEL: fcmp_true_v2f64_undef_elt:
 223 ; CHECK:       # %bb.0:
 224 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 225 ; CHECK-NEXT:    retq
 226   %1 = fcmp true <2 x double> <double 0x3FF0000000000000, double 0xFFEFFFFFFFFFFFFF>, <double undef, double 0x3FF0000000000000>
 227   %2 = sext <2 x i1> %1 to <2 x i64>
 228   ret <2 x i64> %2
 229 }
 230
 231 define <4 x i32> @fcmp_true_v4f32() {
 232 ; CHECK-LABEL: fcmp_true_v4f32:
 233 ; CHECK:       # %bb.0:
 234 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 235 ; CHECK-NEXT:    retq
 236   %1 = fcmp true <4 x float> <float -0.0, float 1.0, float -1.0, float +2.0>, <float +0.0, float 1.0, float -1.0, float +2.0>
 237   %2 = sext <4 x i1> %1 to <4 x i32>
 238   ret <4 x i32> %2
 239 }
 240
 241 define <4 x i32> @fcmp_true_v4f32_undef() {
 242 ; CHECK-LABEL: fcmp_true_v4f32_undef:
 243 ; CHECK:       # %bb.0:
 244 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 245 ; CHECK-NEXT:    retq
 246   %1 = fcmp true <4 x float> <float 1.0, float -1.0, float +2.0, float -0.0>, undef
 247   %2 = sext <4 x i1> %1 to <4 x i32>
 248   ret <4 x i32> %2
 249 }
 250
 251 define <4 x i32> @fcmp_true_v4f32_undef_elt() {
 252 ; CHECK-LABEL: fcmp_true_v4f32_undef_elt:
 253 ; CHECK:       # %bb.0:
 254 ; CHECK-NEXT:    pcmpeqd %xmm0, %xmm0
 255 ; CHECK-NEXT:    retq
 256   %1 = fcmp true <4 x float> <float -0.0, float 1.0, float -1.0, float undef>, <float undef, float 1.0, float -1.0, float +2.0>
 257   %2 = sext <4 x i1> %1 to <4 x i32>
 258   ret <4 x i32> %2
 259 }