llvm/test/Transforms/InstCombine/X86/x86-sse2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -mtriple=x86_64-unknown-unknown -S | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 define double @test_sqrt_sd_0(double %a) {
   6 ; CHECK-LABEL: @test_sqrt_sd_0(
   7 ; CHECK-NEXT:    [[TMP1:%.*]] = call double @llvm.sqrt.f64(double [[A:%.*]])
   8 ; CHECK-NEXT:    ret double [[TMP1]]
   9 ;
  10   %1 = insertelement <2 x double> undef, double %a, i32 0
  11   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  12   %3 = tail call <2 x double> @llvm.x86.sse2.sqrt.sd(<2 x double> %2)
  13   %4 = extractelement <2 x double> %3, i32 0
  14   ret double %4
  15 }
  16
  17 define double @test_sqrt_sd_1(double %a) {
  18 ; CHECK-LABEL: @test_sqrt_sd_1(
  19 ; CHECK-NEXT:    ret double 1.000000e+00
  20 ;
  21   %1 = insertelement <2 x double> undef, double %a, i32 0
  22   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  23   %3 = tail call <2 x double> @llvm.x86.sse2.sqrt.sd(<2 x double> %2)
  24   %4 = extractelement <2 x double> %3, i32 1
  25   ret double %4
  26 }
  27
  28 define double @test_add_sd_0(double %a, double %b) {
  29 ; CHECK-LABEL: @test_add_sd_0(
  30 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd double [[A:%.*]], [[B:%.*]]
  31 ; CHECK-NEXT:    ret double [[TMP1]]
  32 ;
  33   %1 = insertelement <2 x double> undef, double %a, i32 0
  34   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  35   %3 = insertelement <2 x double> undef, double %b, i32 0
  36   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  37   %5 = tail call <2 x double> @llvm.x86.sse2.add.sd(<2 x double> %2, <2 x double> %4)
  38   %6 = extractelement <2 x double> %5, i32 0
  39   ret double %6
  40 }
  41
  42 define double @test_add_sd_1(double %a, double %b) {
  43 ; CHECK-LABEL: @test_add_sd_1(
  44 ; CHECK-NEXT:    ret double 1.000000e+00
  45 ;
  46   %1 = insertelement <2 x double> undef, double %a, i32 0
  47   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  48   %3 = insertelement <2 x double> undef, double %b, i32 0
  49   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  50   %5 = tail call <2 x double> @llvm.x86.sse2.add.sd(<2 x double> %2, <2 x double> %4)
  51   %6 = extractelement <2 x double> %5, i32 1
  52   ret double %6
  53 }
  54
  55 define double @test_add_sd_2(double %a) {
  56 ; CHECK-LABEL: @test_add_sd_2(
  57 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd double [[A:%.*]], [[A]]
  58 ; CHECK-NEXT:    ret double [[TMP1]]
  59 ;
  60   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
  61   %2 = tail call <2 x double> @llvm.x86.sse2.add.sd(<2 x double> %1, <2 x double> %1)
  62   %3 = extractelement <2 x double> %2, i32 0
  63   ret double %3
  64 }
  65
  66 define double @test_sub_sd_0(double %a, double %b) {
  67 ; CHECK-LABEL: @test_sub_sd_0(
  68 ; CHECK-NEXT:    [[TMP1:%.*]] = fsub double [[A:%.*]], [[B:%.*]]
  69 ; CHECK-NEXT:    ret double [[TMP1]]
  70 ;
  71   %1 = insertelement <2 x double> undef, double %a, i32 0
  72   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  73   %3 = insertelement <2 x double> undef, double %b, i32 0
  74   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  75   %5 = tail call <2 x double> @llvm.x86.sse2.sub.sd(<2 x double> %2, <2 x double> %4)
  76   %6 = extractelement <2 x double> %5, i32 0
  77   ret double %6
  78 }
  79
  80 define double @test_sub_sd_1(double %a, double %b) {
  81 ; CHECK-LABEL: @test_sub_sd_1(
  82 ; CHECK-NEXT:    ret double 1.000000e+00
  83 ;
  84   %1 = insertelement <2 x double> undef, double %a, i32 0
  85   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  86   %3 = insertelement <2 x double> undef, double %b, i32 0
  87   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  88   %5 = tail call <2 x double> @llvm.x86.sse2.sub.sd(<2 x double> %2, <2 x double> %4)
  89   %6 = extractelement <2 x double> %5, i32 1
  90   ret double %6
  91 }
  92
  93 define double @test_sub_sd_2(double %a) {
  94 ; CHECK-LABEL: @test_sub_sd_2(
  95 ; CHECK-NEXT:    [[TMP1:%.*]] = fsub double [[A:%.*]], [[A]]
  96 ; CHECK-NEXT:    ret double [[TMP1]]
  97 ;
  98   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
  99   %2 = tail call <2 x double> @llvm.x86.sse2.sub.sd(<2 x double> %1, <2 x double> %1)
 100   %3 = extractelement <2 x double> %2, i32 0
 101   ret double %3
 102 }
 103
 104 define double @test_mul_sd_0(double %a, double %b) {
 105 ; CHECK-LABEL: @test_mul_sd_0(
 106 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul double [[A:%.*]], [[B:%.*]]
 107 ; CHECK-NEXT:    ret double [[TMP1]]
 108 ;
 109   %1 = insertelement <2 x double> undef, double %a, i32 0
 110   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 111   %3 = insertelement <2 x double> undef, double %b, i32 0
 112   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 113   %5 = tail call <2 x double> @llvm.x86.sse2.mul.sd(<2 x double> %2, <2 x double> %4)
 114   %6 = extractelement <2 x double> %5, i32 0
 115   ret double %6
 116 }
 117
 118 define double @test_mul_sd_1(double %a, double %b) {
 119 ; CHECK-LABEL: @test_mul_sd_1(
 120 ; CHECK-NEXT:    ret double 1.000000e+00
 121 ;
 122   %1 = insertelement <2 x double> undef, double %a, i32 0
 123   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 124   %3 = insertelement <2 x double> undef, double %b, i32 0
 125   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 126   %5 = tail call <2 x double> @llvm.x86.sse2.mul.sd(<2 x double> %2, <2 x double> %4)
 127   %6 = extractelement <2 x double> %5, i32 1
 128   ret double %6
 129 }
 130
 131 define double @test_mul_sd_2(double %a) {
 132 ; CHECK-LABEL: @test_mul_sd_2(
 133 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul double [[A:%.*]], [[A]]
 134 ; CHECK-NEXT:    ret double [[TMP1]]
 135 ;
 136   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
 137   %2 = tail call <2 x double> @llvm.x86.sse2.mul.sd(<2 x double> %1, <2 x double> %1)
 138   %3 = extractelement <2 x double> %2, i32 0
 139   ret double %3
 140 }
 141
 142 define double @test_div_sd_0(double %a, double %b) {
 143 ; CHECK-LABEL: @test_div_sd_0(
 144 ; CHECK-NEXT:    [[TMP1:%.*]] = fdiv double [[A:%.*]], [[B:%.*]]
 145 ; CHECK-NEXT:    ret double [[TMP1]]
 146 ;
 147   %1 = insertelement <2 x double> undef, double %a, i32 0
 148   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 149   %3 = insertelement <2 x double> undef, double %b, i32 0
 150   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 151   %5 = tail call <2 x double> @llvm.x86.sse2.div.sd(<2 x double> %2, <2 x double> %4)
 152   %6 = extractelement <2 x double> %5, i32 0
 153   ret double %6
 154 }
 155
 156 define double @test_div_sd_1(double %a, double %b) {
 157 ; CHECK-LABEL: @test_div_sd_1(
 158 ; CHECK-NEXT:    ret double 1.000000e+00
 159 ;
 160   %1 = insertelement <2 x double> undef, double %a, i32 0
 161   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 162   %3 = insertelement <2 x double> undef, double %b, i32 0
 163   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 164   %5 = tail call <2 x double> @llvm.x86.sse2.div.sd(<2 x double> %2, <2 x double> %4)
 165   %6 = extractelement <2 x double> %5, i32 1
 166   ret double %6
 167 }
 168
 169 define double @test_div_sd_2(double %a) {
 170 ; CHECK-LABEL: @test_div_sd_2(
 171 ; CHECK-NEXT:    [[TMP1:%.*]] = fdiv double [[A:%.*]], [[A]]
 172 ; CHECK-NEXT:    ret double [[TMP1]]
 173 ;
 174   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
 175   %2 = tail call <2 x double> @llvm.x86.sse2.div.sd(<2 x double> %1, <2 x double> %1)
 176   %3 = extractelement <2 x double> %2, i32 0
 177   ret double %3
 178 }
 179
 180 define <2 x double> @test_min_sd(<2 x double> %a, <2 x double> %b) {
 181 ; CHECK-LABEL: @test_min_sd(
 182 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> [[A:%.*]], <2 x double> [[B:%.*]])
 183 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 184 ;
 185   %1 = insertelement <2 x double> %b, double 2.000000e+00, i32 1
 186   %2 = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> %a, <2 x double> %1)
 187   ret <2 x double> %2
 188 }
 189
 190 define double @test_min_sd_0(double %a, double %b) {
 191 ; CHECK-LABEL: @test_min_sd_0(
 192 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 193 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 194 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 195 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <2 x double> [[TMP3]], i64 0
 196 ; CHECK-NEXT:    ret double [[TMP4]]
 197 ;
 198   %1 = insertelement <2 x double> undef, double %a, i32 0
 199   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 200   %3 = insertelement <2 x double> undef, double %b, i32 0
 201   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 202   %5 = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> %2, <2 x double> %4)
 203   %6 = extractelement <2 x double> %5, i32 0
 204   ret double %6
 205 }
 206
 207 define double @test_min_sd_1(double %a, double %b) {
 208 ; CHECK-LABEL: @test_min_sd_1(
 209 ; CHECK-NEXT:    ret double 1.000000e+00
 210 ;
 211   %1 = insertelement <2 x double> undef, double %a, i32 0
 212   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 213   %3 = insertelement <2 x double> undef, double %b, i32 0
 214   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 215   %5 = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> %2, <2 x double> %4)
 216   %6 = extractelement <2 x double> %5, i32 1
 217   ret double %6
 218 }
 219
 220 define double @test_min_sd_2(double %a) {
 221 ; CHECK-LABEL: @test_min_sd_2(
 222 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> <double poison, double 0.000000e+00>, double [[A:%.*]], i64 0
 223 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> [[TMP1]], <2 x double> [[TMP1]])
 224 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i64 0
 225 ; CHECK-NEXT:    ret double [[TMP3]]
 226 ;
 227   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
 228   %2 = tail call <2 x double> @llvm.x86.sse2.min.sd(<2 x double> %1, <2 x double> %1)
 229   %3 = extractelement <2 x double> %2, i32 0
 230   ret double %3
 231 }
 232
 233 define <2 x double> @test_max_sd(<2 x double> %a, <2 x double> %b) {
 234 ; CHECK-LABEL: @test_max_sd(
 235 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> [[A:%.*]], <2 x double> [[B:%.*]])
 236 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 237 ;
 238   %1 = insertelement <2 x double> %b, double 2.000000e+00, i32 1
 239   %2 = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> %a, <2 x double> %1)
 240   ret <2 x double> %2
 241 }
 242
 243 define double @test_max_sd_0(double %a, double %b) {
 244 ; CHECK-LABEL: @test_max_sd_0(
 245 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 246 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 247 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 248 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <2 x double> [[TMP3]], i64 0
 249 ; CHECK-NEXT:    ret double [[TMP4]]
 250 ;
 251   %1 = insertelement <2 x double> undef, double %a, i32 0
 252   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 253   %3 = insertelement <2 x double> undef, double %b, i32 0
 254   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 255   %5 = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> %2, <2 x double> %4)
 256   %6 = extractelement <2 x double> %5, i32 0
 257   ret double %6
 258 }
 259
 260 define double @test_max_sd_1(double %a, double %b) {
 261 ; CHECK-LABEL: @test_max_sd_1(
 262 ; CHECK-NEXT:    ret double 1.000000e+00
 263 ;
 264   %1 = insertelement <2 x double> undef, double %a, i32 0
 265   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 266   %3 = insertelement <2 x double> undef, double %b, i32 0
 267   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 268   %5 = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> %2, <2 x double> %4)
 269   %6 = extractelement <2 x double> %5, i32 1
 270   ret double %6
 271 }
 272
 273 define double @test_max_sd_2(double %a) {
 274 ; CHECK-LABEL: @test_max_sd_2(
 275 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> <double poison, double 0.000000e+00>, double [[A:%.*]], i64 0
 276 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> [[TMP1]], <2 x double> [[TMP1]])
 277 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i64 0
 278 ; CHECK-NEXT:    ret double [[TMP3]]
 279 ;
 280   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
 281   %2 = tail call <2 x double> @llvm.x86.sse2.max.sd(<2 x double> %1, <2 x double> %1)
 282   %3 = extractelement <2 x double> %2, i32 0
 283   ret double %3
 284 }
 285
 286 define <2 x double> @test_cmp_sd(<2 x double> %a, <2 x double> %b) {
 287 ; CHECK-LABEL: @test_cmp_sd(
 288 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> [[A:%.*]], <2 x double> [[B:%.*]], i8 0)
 289 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 290 ;
 291   %1 = insertelement <2 x double> %b, double 2.000000e+00, i32 1
 292   %2 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %a, <2 x double> %1, i8 0)
 293   ret <2 x double> %2
 294 }
 295
 296 define double @test_cmp_sd_0(double %a, double %b) {
 297 ; CHECK-LABEL: @test_cmp_sd_0(
 298 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 299 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 300 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]], i8 0)
 301 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <2 x double> [[TMP3]], i64 0
 302 ; CHECK-NEXT:    ret double [[TMP4]]
 303 ;
 304   %1 = insertelement <2 x double> undef, double %a, i32 0
 305   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 306   %3 = insertelement <2 x double> undef, double %b, i32 0
 307   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 308   %5 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %2, <2 x double> %4, i8 0)
 309   %6 = extractelement <2 x double> %5, i32 0
 310   ret double %6
 311 }
 312
 313 define double @test_cmp_sd_1(double %a, double %b) {
 314 ; CHECK-LABEL: @test_cmp_sd_1(
 315 ; CHECK-NEXT:    ret double 1.000000e+00
 316 ;
 317   %1 = insertelement <2 x double> undef, double %a, i32 0
 318   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 319   %3 = insertelement <2 x double> undef, double %b, i32 0
 320   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 321   %5 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %2, <2 x double> %4, i8 0)
 322   %6 = extractelement <2 x double> %5, i32 1
 323   ret double %6
 324 }
 325
 326 define double @test_cmp_sd_2(double %a) {
 327 ; CHECK-LABEL: @test_cmp_sd_2(
 328 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> <double poison, double 0.000000e+00>, double [[A:%.*]], i64 0
 329 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> [[TMP1]], <2 x double> [[TMP1]], i8 3)
 330 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i64 0
 331 ; CHECK-NEXT:    ret double [[TMP3]]
 332 ;
 333   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
 334   %2 = tail call <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double> %1, <2 x double> %1, i8 3)
 335   %3 = extractelement <2 x double> %2, i32 0
 336   ret double %3
 337 }
 338
 339 define i32 @test_comieq_sd_0(double %a, double %b) {
 340 ; CHECK-LABEL: @test_comieq_sd_0(
 341 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 342 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 343 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comieq.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 344 ; CHECK-NEXT:    ret i32 [[TMP3]]
 345 ;
 346   %1 = insertelement <2 x double> undef, double %a, i32 0
 347   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 348   %3 = insertelement <2 x double> undef, double %b, i32 0
 349   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 350   %5 = tail call i32 @llvm.x86.sse2.comieq.sd(<2 x double> %2, <2 x double> %4)
 351   ret i32 %5
 352 }
 353
 354 define i32 @test_comige_sd_0(double %a, double %b) {
 355 ; CHECK-LABEL: @test_comige_sd_0(
 356 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 357 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 358 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comige.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 359 ; CHECK-NEXT:    ret i32 [[TMP3]]
 360 ;
 361   %1 = insertelement <2 x double> undef, double %a, i32 0
 362   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 363   %3 = insertelement <2 x double> undef, double %b, i32 0
 364   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 365   %5 = tail call i32 @llvm.x86.sse2.comige.sd(<2 x double> %2, <2 x double> %4)
 366   ret i32 %5
 367 }
 368
 369 define i32 @test_comigt_sd_0(double %a, double %b) {
 370 ; CHECK-LABEL: @test_comigt_sd_0(
 371 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 372 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 373 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comigt.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 374 ; CHECK-NEXT:    ret i32 [[TMP3]]
 375 ;
 376   %1 = insertelement <2 x double> undef, double %a, i32 0
 377   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 378   %3 = insertelement <2 x double> undef, double %b, i32 0
 379   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 380   %5 = tail call i32 @llvm.x86.sse2.comigt.sd(<2 x double> %2, <2 x double> %4)
 381   ret i32 %5
 382 }
 383
 384 define i32 @test_comile_sd_0(double %a, double %b) {
 385 ; CHECK-LABEL: @test_comile_sd_0(
 386 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 387 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 388 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comile.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 389 ; CHECK-NEXT:    ret i32 [[TMP3]]
 390 ;
 391   %1 = insertelement <2 x double> undef, double %a, i32 0
 392   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 393   %3 = insertelement <2 x double> undef, double %b, i32 0
 394   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 395   %5 = tail call i32 @llvm.x86.sse2.comile.sd(<2 x double> %2, <2 x double> %4)
 396   ret i32 %5
 397 }
 398
 399 define i32 @test_comilt_sd_0(double %a, double %b) {
 400 ; CHECK-LABEL: @test_comilt_sd_0(
 401 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 402 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 403 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comilt.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 404 ; CHECK-NEXT:    ret i32 [[TMP3]]
 405 ;
 406   %1 = insertelement <2 x double> undef, double %a, i32 0
 407   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 408   %3 = insertelement <2 x double> undef, double %b, i32 0
 409   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 410   %5 = tail call i32 @llvm.x86.sse2.comilt.sd(<2 x double> %2, <2 x double> %4)
 411   ret i32 %5
 412 }
 413
 414 define i32 @test_comineq_sd_0(double %a, double %b) {
 415 ; CHECK-LABEL: @test_comineq_sd_0(
 416 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 417 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 418 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.comineq.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 419 ; CHECK-NEXT:    ret i32 [[TMP3]]
 420 ;
 421   %1 = insertelement <2 x double> undef, double %a, i32 0
 422   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 423   %3 = insertelement <2 x double> undef, double %b, i32 0
 424   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 425   %5 = tail call i32 @llvm.x86.sse2.comineq.sd(<2 x double> %2, <2 x double> %4)
 426   ret i32 %5
 427 }
 428
 429 define i32 @test_ucomieq_sd_0(double %a, double %b) {
 430 ; CHECK-LABEL: @test_ucomieq_sd_0(
 431 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 432 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 433 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomieq.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 434 ; CHECK-NEXT:    ret i32 [[TMP3]]
 435 ;
 436   %1 = insertelement <2 x double> undef, double %a, i32 0
 437   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 438   %3 = insertelement <2 x double> undef, double %b, i32 0
 439   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 440   %5 = tail call i32 @llvm.x86.sse2.ucomieq.sd(<2 x double> %2, <2 x double> %4)
 441   ret i32 %5
 442 }
 443
 444 define i32 @test_ucomige_sd_0(double %a, double %b) {
 445 ; CHECK-LABEL: @test_ucomige_sd_0(
 446 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 447 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 448 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomige.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 449 ; CHECK-NEXT:    ret i32 [[TMP3]]
 450 ;
 451   %1 = insertelement <2 x double> undef, double %a, i32 0
 452   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 453   %3 = insertelement <2 x double> undef, double %b, i32 0
 454   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 455   %5 = tail call i32 @llvm.x86.sse2.ucomige.sd(<2 x double> %2, <2 x double> %4)
 456   ret i32 %5
 457 }
 458
 459 define i32 @test_ucomigt_sd_0(double %a, double %b) {
 460 ; CHECK-LABEL: @test_ucomigt_sd_0(
 461 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 462 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 463 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomigt.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 464 ; CHECK-NEXT:    ret i32 [[TMP3]]
 465 ;
 466   %1 = insertelement <2 x double> undef, double %a, i32 0
 467   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 468   %3 = insertelement <2 x double> undef, double %b, i32 0
 469   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 470   %5 = tail call i32 @llvm.x86.sse2.ucomigt.sd(<2 x double> %2, <2 x double> %4)
 471   ret i32 %5
 472 }
 473
 474 define i32 @test_ucomile_sd_0(double %a, double %b) {
 475 ; CHECK-LABEL: @test_ucomile_sd_0(
 476 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 477 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 478 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomile.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 479 ; CHECK-NEXT:    ret i32 [[TMP3]]
 480 ;
 481   %1 = insertelement <2 x double> undef, double %a, i32 0
 482   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 483   %3 = insertelement <2 x double> undef, double %b, i32 0
 484   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 485   %5 = tail call i32 @llvm.x86.sse2.ucomile.sd(<2 x double> %2, <2 x double> %4)
 486   ret i32 %5
 487 }
 488
 489 define i32 @test_ucomilt_sd_0(double %a, double %b) {
 490 ; CHECK-LABEL: @test_ucomilt_sd_0(
 491 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 492 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 493 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomilt.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 494 ; CHECK-NEXT:    ret i32 [[TMP3]]
 495 ;
 496   %1 = insertelement <2 x double> undef, double %a, i32 0
 497   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 498   %3 = insertelement <2 x double> undef, double %b, i32 0
 499   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 500   %5 = tail call i32 @llvm.x86.sse2.ucomilt.sd(<2 x double> %2, <2 x double> %4)
 501   ret i32 %5
 502 }
 503
 504 define i32 @test_ucomineq_sd_0(double %a, double %b) {
 505 ; CHECK-LABEL: @test_ucomineq_sd_0(
 506 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
 507 ; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
 508 ; CHECK-NEXT:    [[TMP3:%.*]] = tail call i32 @llvm.x86.sse2.ucomineq.sd(<2 x double> [[TMP1]], <2 x double> [[TMP2]])
 509 ; CHECK-NEXT:    ret i32 [[TMP3]]
 510 ;
 511   %1 = insertelement <2 x double> undef, double %a, i32 0
 512   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
 513   %3 = insertelement <2 x double> undef, double %b, i32 0
 514   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
 515   %5 = tail call i32 @llvm.x86.sse2.ucomineq.sd(<2 x double> %2, <2 x double> %4)
 516   ret i32 %5
 517 }
 518
 519 declare <2 x double> @llvm.x86.sse2.sqrt.sd(<2 x double>) nounwind readnone
 520
 521 declare <2 x double> @llvm.x86.sse2.add.sd(<2 x double>, <2 x double>)
 522 declare <2 x double> @llvm.x86.sse2.sub.sd(<2 x double>, <2 x double>)
 523 declare <2 x double> @llvm.x86.sse2.mul.sd(<2 x double>, <2 x double>)
 524 declare <2 x double> @llvm.x86.sse2.div.sd(<2 x double>, <2 x double>)
 525 declare <2 x double> @llvm.x86.sse2.min.sd(<2 x double>, <2 x double>)
 526 declare <2 x double> @llvm.x86.sse2.max.sd(<2 x double>, <2 x double>)
 527 declare <2 x double> @llvm.x86.sse2.cmp.sd(<2 x double>, <2 x double>, i8)
 528
 529 declare i32 @llvm.x86.sse2.comieq.sd(<2 x double>, <2 x double>)
 530 declare i32 @llvm.x86.sse2.comige.sd(<2 x double>, <2 x double>)
 531 declare i32 @llvm.x86.sse2.comigt.sd(<2 x double>, <2 x double>)
 532 declare i32 @llvm.x86.sse2.comile.sd(<2 x double>, <2 x double>)
 533 declare i32 @llvm.x86.sse2.comilt.sd(<2 x double>, <2 x double>)
 534 declare i32 @llvm.x86.sse2.comineq.sd(<2 x double>, <2 x double>)
 535
 536 declare i32 @llvm.x86.sse2.ucomieq.sd(<2 x double>, <2 x double>)
 537 declare i32 @llvm.x86.sse2.ucomige.sd(<2 x double>, <2 x double>)
 538 declare i32 @llvm.x86.sse2.ucomigt.sd(<2 x double>, <2 x double>)
 539 declare i32 @llvm.x86.sse2.ucomile.sd(<2 x double>, <2 x double>)
 540 declare i32 @llvm.x86.sse2.ucomilt.sd(<2 x double>, <2 x double>)
 541 declare i32 @llvm.x86.sse2.ucomineq.sd(<2 x double>, <2 x double>)