llvm/test/Transforms/Reassociate/fast-ReassociateVector.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -reassociate -S | FileCheck %s
   3
   4 ; Check that a*c+b*c is turned into (a+b)*c
   5
   6 define <4 x float> @test1(<4 x float> %a, <4 x float> %b, <4 x float> %c) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:    [[REASS_ADD:%.*]] = fadd fast <4 x float> [[B:%.*]], [[A:%.*]]
   9 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast <4 x float> [[REASS_ADD]], [[C:%.*]]
  10 ; CHECK-NEXT:    ret <4 x float> [[REASS_MUL]]
  11 ;
  12   %mul = fmul fast <4 x float> %a, %c
  13   %mul1 = fmul fast <4 x float> %b, %c
  14   %add = fadd fast <4 x float> %mul, %mul1
  15   ret <4 x float> %add
  16 }
  17
  18 ; Check that a*c+b*c is turned into (a+b)*c - minimum FMF subset version
  19
  20 define <4 x float> @test1_reassoc(<4 x float> %a, <4 x float> %b, <4 x float> %c) {
  21 ; CHECK-LABEL: @test1_reassoc(
  22 ; CHECK-NEXT:    [[MUL:%.*]] = fmul reassoc <4 x float> [[A:%.*]], [[C:%.*]]
  23 ; CHECK-NEXT:    [[MUL1:%.*]] = fmul reassoc <4 x float> [[B:%.*]], [[C]]
  24 ; CHECK-NEXT:    [[ADD:%.*]] = fadd reassoc <4 x float> [[MUL]], [[MUL1]]
  25 ; CHECK-NEXT:    ret <4 x float> [[ADD]]
  26 ;
  27   %mul = fmul reassoc <4 x float> %a, %c
  28   %mul1 = fmul reassoc <4 x float> %b, %c
  29   %add = fadd reassoc <4 x float> %mul, %mul1
  30   ret <4 x float> %add
  31 }
  32
  33 ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)).
  34
  35 define <2 x float> @test2(<2 x float> %a, <2 x float> %b, <2 x float> %c) {
  36 ; CHECK-LABEL: @test2(
  37 ; CHECK-NEXT:    [[REASS_ADD1:%.*]] = fadd fast <2 x float> [[C:%.*]], [[B:%.*]]
  38 ; CHECK-NEXT:    [[REASS_MUL2:%.*]] = fmul fast <2 x float> [[A:%.*]], [[A]]
  39 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast <2 x float> [[REASS_MUL2]], [[REASS_ADD1]]
  40 ; CHECK-NEXT:    ret <2 x float> [[REASS_MUL]]
  41 ;
  42   %t0 = fmul fast <2 x float> %a, %b
  43   %t1 = fmul fast <2 x float> %a, %t0
  44   %t2 = fmul fast <2 x float> %a, %c
  45   %t3 = fmul fast <2 x float> %a, %t2
  46   %t4 = fadd fast <2 x float> %t1, %t3
  47   ret <2 x float> %t4
  48 }
  49
  50 ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)) - minimum FMF subset version
  51
  52 define <2 x float> @test2_reassoc(<2 x float> %a, <2 x float> %b, <2 x float> %c) {
  53 ; CHECK-LABEL: @test2_reassoc(
  54 ; CHECK-NEXT:    [[T0:%.*]] = fmul reassoc <2 x float> [[A:%.*]], [[B:%.*]]
  55 ; CHECK-NEXT:    [[T1:%.*]] = fmul reassoc <2 x float> [[A]], [[T0]]
  56 ; CHECK-NEXT:    [[T2:%.*]] = fmul reassoc <2 x float> [[A]], [[C:%.*]]
  57 ; CHECK-NEXT:    [[T3:%.*]] = fmul reassoc <2 x float> [[A]], [[T2]]
  58 ; CHECK-NEXT:    [[T4:%.*]] = fadd reassoc <2 x float> [[T1]], [[T3]]
  59 ; CHECK-NEXT:    ret <2 x float> [[T4]]
  60 ;
  61   %t0 = fmul reassoc <2 x float> %a, %b
  62   %t1 = fmul reassoc <2 x float> %a, %t0
  63   %t2 = fmul reassoc <2 x float> %a, %c
  64   %t3 = fmul reassoc <2 x float> %a, %t2
  65   %t4 = fadd reassoc <2 x float> %t1, %t3
  66   ret <2 x float> %t4
  67 }
  68
  69 ; Check that a*b+a*c+d is turned into a*(b+c)+d.
  70
  71 define <2 x double> @test3(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) {
  72 ; CHECK-LABEL: @test3(
  73 ; CHECK-NEXT:    [[REASS_ADD:%.*]] = fadd fast <2 x double> [[C:%.*]], [[B:%.*]]
  74 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast <2 x double> [[REASS_ADD]], [[A:%.*]]
  75 ; CHECK-NEXT:    [[T3:%.*]] = fadd fast <2 x double> [[REASS_MUL]], [[D:%.*]]
  76 ; CHECK-NEXT:    ret <2 x double> [[T3]]
  77 ;
  78   %t0 = fmul fast <2 x double> %a, %b
  79   %t1 = fmul fast <2 x double> %a, %c
  80   %t2 = fadd fast <2 x double> %t1, %d
  81   %t3 = fadd fast <2 x double> %t0, %t2
  82   ret <2 x double> %t3
  83 }
  84
  85 ; Check that a*b+a*c+d is turned into a*(b+c)+d - minimum FMF subset version
  86
  87 define <2 x double> @test3_reassoc(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) {
  88 ; CHECK-LABEL: @test3_reassoc(
  89 ; CHECK-NEXT:    [[T0:%.*]] = fmul reassoc <2 x double> [[A:%.*]], [[B:%.*]]
  90 ; CHECK-NEXT:    [[T1:%.*]] = fmul reassoc <2 x double> [[A]], [[C:%.*]]
  91 ; CHECK-NEXT:    [[T2:%.*]] = fadd reassoc <2 x double> [[T1]], [[D:%.*]]
  92 ; CHECK-NEXT:    [[T3:%.*]] = fadd reassoc <2 x double> [[T0]], [[T2]]
  93 ; CHECK-NEXT:    ret <2 x double> [[T3]]
  94 ;
  95   %t0 = fmul reassoc <2 x double> %a, %b
  96   %t1 = fmul reassoc <2 x double> %a, %c
  97   %t2 = fadd reassoc <2 x double> %t1, %d
  98   %t3 = fadd reassoc <2 x double> %t0, %t2
  99   ret <2 x double> %t3
 100 }
 101
 102 ; No fast-math.
 103
 104 define <2 x float> @test4(<2 x float> %A) {
 105 ; CHECK-LABEL: @test4(
 106 ; CHECK-NEXT:    [[X:%.*]] = fadd <2 x float> [[A:%.*]], <float 1.000000e+00, float 1.000000e+00>
 107 ; CHECK-NEXT:    [[Y:%.*]] = fadd <2 x float> [[A]], <float 1.000000e+00, float 1.000000e+00>
 108 ; CHECK-NEXT:    [[R:%.*]] = fsub <2 x float> [[X]], [[Y]]
 109 ; CHECK-NEXT:    ret <2 x float> [[R]]
 110 ;
 111   %X = fadd <2 x float> %A, < float 1.000000e+00, float 1.000000e+00 >
 112   %Y = fadd <2 x float> %A, < float 1.000000e+00, float 1.000000e+00 >
 113   %R = fsub <2 x float> %X, %Y
 114   ret <2 x float> %R
 115 }
 116
 117 ; Check 47*X + 47*X -> 94*X.
 118
 119 define <2 x float> @test5(<2 x float> %X) {
 120 ; CHECK-LABEL: @test5(
 121 ; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast <2 x float> [[X:%.*]], <float 9.400000e+01, float 9.400000e+01>
 122 ; CHECK-NEXT:    ret <2 x float> [[FACTOR]]
 123 ;
 124   %Y = fmul fast <2 x float> %X, <float 4.700000e+01, float 4.700000e+01>
 125   %Z = fadd fast <2 x float> %Y, %Y
 126   ret <2 x float> %Z
 127 }
 128
 129 ; Check 47*X + 47*X -> 94*X - minimum FMF subset version
 130
 131 define <2 x float> @test5_reassoc(<2 x float> %X) {
 132 ; CHECK-LABEL: @test5_reassoc(
 133 ; CHECK-NEXT:    [[Y:%.*]] = fmul reassoc <2 x float> [[X:%.*]], <float 4.700000e+01, float 4.700000e+01>
 134 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc <2 x float> [[Y]], [[Y]]
 135 ; CHECK-NEXT:    ret <2 x float> [[Z]]
 136 ;
 137   %Y = fmul reassoc <2 x float> %X, <float 4.700000e+01, float 4.700000e+01>
 138   %Z = fadd reassoc <2 x float> %Y, %Y
 139   ret <2 x float> %Z
 140 }
 141
 142 ; Check X+X+X -> 3*X.
 143
 144 define <2 x float> @test6(<2 x float> %X) {
 145 ; CHECK-LABEL: @test6(
 146 ; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast <2 x float> [[X:%.*]], <float 3.000000e+00, float 3.000000e+00>
 147 ; CHECK-NEXT:    ret <2 x float> [[FACTOR]]
 148 ;
 149   %Y = fadd fast <2 x float> %X ,%X
 150   %Z = fadd fast <2 x float> %Y, %X
 151   ret <2 x float> %Z
 152 }
 153
 154 ; Check X+X+X -> 3*X - minimum FMF subset version
 155
 156 define <2 x float> @test6_reassoc(<2 x float> %X) {
 157 ; CHECK-LABEL: @test6_reassoc(
 158 ; CHECK-NEXT:    [[Y:%.*]] = fadd reassoc <2 x float> [[X:%.*]], [[X]]
 159 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc <2 x float> [[X]], [[Y]]
 160 ; CHECK-NEXT:    ret <2 x float> [[Z]]
 161 ;
 162   %Y = fadd reassoc <2 x float> %X ,%X
 163   %Z = fadd reassoc <2 x float> %Y, %X
 164   ret <2 x float> %Z
 165 }
 166
 167 ; Check 127*W+50*W -> 177*W.
 168
 169 define <2 x double> @test7(<2 x double> %W) {
 170 ; CHECK-LABEL: @test7(
 171 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast <2 x double> [[W:%.*]], <double 1.770000e+02, double 1.770000e+02>
 172 ; CHECK-NEXT:    ret <2 x double> [[REASS_MUL]]
 173 ;
 174   %X = fmul fast <2 x double> %W, <double 127.0, double 127.0>
 175   %Y = fmul fast <2 x double> %W, <double 50.0, double 50.0>
 176   %Z = fadd fast <2 x double> %Y, %X
 177   ret <2 x double> %Z
 178 }
 179
 180 ; Check 127*W+50*W -> 177*W - minimum FMF subset version
 181
 182 define <2 x double> @test7_reassoc(<2 x double> %W) {
 183 ; CHECK-LABEL: @test7_reassoc(
 184 ; CHECK-NEXT:    [[X:%.*]] = fmul reassoc <2 x double> [[W:%.*]], <double 1.270000e+02, double 1.270000e+02>
 185 ; CHECK-NEXT:    [[Y:%.*]] = fmul reassoc <2 x double> [[W]], <double 5.000000e+01, double 5.000000e+01>
 186 ; CHECK-NEXT:    [[Z:%.*]] = fadd reassoc <2 x double> [[Y]], [[X]]
 187 ; CHECK-NEXT:    ret <2 x double> [[Z]]
 188 ;
 189   %X = fmul reassoc <2 x double> %W, <double 127.0, double 127.0>
 190   %Y = fmul reassoc <2 x double> %W, <double 50.0, double 50.0>
 191   %Z = fadd reassoc <2 x double> %Y, %X
 192   ret <2 x double> %Z
 193 }
 194
 195 ; Check X*12*12 -> X*144.
 196
 197 define <2 x float> @test8(<2 x float> %arg) {
 198 ; CHECK-LABEL: @test8(
 199 ; CHECK-NEXT:    [[TMP2:%.*]] = fmul fast <2 x float> [[ARG:%.*]], <float 1.440000e+02, float 1.440000e+02>
 200 ; CHECK-NEXT:    ret <2 x float> [[TMP2]]
 201 ;
 202   %tmp1 = fmul fast <2 x float> <float 1.200000e+01, float 1.200000e+01>, %arg
 203   %tmp2 = fmul fast <2 x float> %tmp1, <float 1.200000e+01, float 1.200000e+01>
 204   ret <2 x float> %tmp2
 205 }
 206
 207 ; Check X*12*12 -> X*144 - minimum FMF subset version
 208
 209 define <2 x float> @test8_reassoc(<2 x float> %arg) {
 210 ; CHECK-LABEL: @test8_reassoc(
 211 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul reassoc <2 x float> [[ARG:%.*]], <float 1.200000e+01, float 1.200000e+01>
 212 ; CHECK-NEXT:    [[TMP2:%.*]] = fmul reassoc <2 x float> [[TMP1]], <float 1.200000e+01, float 1.200000e+01>
 213 ; CHECK-NEXT:    ret <2 x float> [[TMP2]]
 214 ;
 215   %tmp1 = fmul reassoc <2 x float> <float 1.200000e+01, float 1.200000e+01>, %arg
 216   %tmp2 = fmul reassoc <2 x float> %tmp1, <float 1.200000e+01, float 1.200000e+01>
 217   ret <2 x float> %tmp2
 218 }
 219
 220 ; Check (b+(a+1234))+-a -> b+1234.
 221
 222 define <2 x double> @test9(<2 x double> %b, <2 x double> %a) {
 223 ; CHECK-LABEL: @test9(
 224 ; CHECK-NEXT:    [[TMP1:%.*]] = fsub fast <2 x double> zeroinitializer, [[A:%.*]]
 225 ; CHECK-NEXT:    [[TMP2:%.*]] = fadd fast <2 x double> [[B:%.*]], <double 1.234000e+03, double 1.234000e+03>
 226 ; CHECK-NEXT:    ret <2 x double> [[TMP2]]
 227 ;
 228   %1 = fadd fast <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
 229   %2 = fadd fast <2 x double> %b, %1
 230   %3 = fsub fast <2 x double> <double 0.000000e+00, double 0.000000e+00>, %a
 231   %4 = fadd fast <2 x double> %2, %3
 232   ret <2 x double> %4
 233 }
 234
 235 define <2 x double> @test9_unary_fneg(<2 x double> %b, <2 x double> %a) {
 236 ; CHECK-LABEL: @test9_unary_fneg(
 237 ; CHECK-NEXT:    [[TMP1:%.*]] = fneg fast <2 x double> [[A:%.*]]
 238 ; CHECK-NEXT:    [[TMP2:%.*]] = fadd fast <2 x double> [[B:%.*]], <double 1.234000e+03, double 1.234000e+03>
 239 ; CHECK-NEXT:    ret <2 x double> [[TMP2]]
 240 ;
 241   %1 = fadd fast <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
 242   %2 = fadd fast <2 x double> %b, %1
 243   %3 = fneg fast <2 x double> %a
 244   %4 = fadd fast <2 x double> %2, %3
 245   ret <2 x double> %4
 246 }
 247
 248 ; Check (b+(a+1234))+-a -> b+1234 - minimum FMF subset version
 249
 250 define <2 x double> @test9_reassoc(<2 x double> %b, <2 x double> %a) {
 251 ; CHECK-LABEL: @test9_reassoc(
 252 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc <2 x double> [[A:%.*]], <double 1.234000e+03, double 1.234000e+03>
 253 ; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc <2 x double> [[B:%.*]], [[TMP1]]
 254 ; CHECK-NEXT:    [[TMP3:%.*]] = fsub reassoc <2 x double> zeroinitializer, [[A]]
 255 ; CHECK-NEXT:    [[TMP4:%.*]] = fadd reassoc <2 x double> [[TMP3]], [[TMP2]]
 256 ; CHECK-NEXT:    ret <2 x double> [[TMP4]]
 257 ;
 258   %1 = fadd reassoc <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
 259   %2 = fadd reassoc <2 x double> %b, %1
 260   %3 = fsub reassoc <2 x double> <double 0.000000e+00, double 0.000000e+00>, %a
 261   %4 = fadd reassoc <2 x double> %2, %3
 262   ret <2 x double> %4
 263 }
 264
 265 define <2 x double> @test9_reassoc_unary_fneg(<2 x double> %b, <2 x double> %a) {
 266 ; CHECK-LABEL: @test9_reassoc_unary_fneg(
 267 ; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc <2 x double> [[A:%.*]], <double 1.234000e+03, double 1.234000e+03>
 268 ; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc <2 x double> [[B:%.*]], [[TMP1]]
 269 ; CHECK-NEXT:    [[TMP3:%.*]] = fneg reassoc <2 x double> [[A]]
 270 ; CHECK-NEXT:    [[TMP4:%.*]] = fadd reassoc <2 x double> [[TMP3]], [[TMP2]]
 271 ; CHECK-NEXT:    ret <2 x double> [[TMP4]]
 272 ;
 273   %1 = fadd reassoc <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
 274   %2 = fadd reassoc <2 x double> %b, %1
 275   %3 = fneg reassoc <2 x double> %a
 276   %4 = fadd reassoc <2 x double> %2, %3
 277   ret <2 x double> %4
 278 }
 279
 280 ; Check -(-(z*40)*a) -> a*40*z.
 281
 282 define <2 x float> @test10(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
 283 ; CHECK-LABEL: @test10(
 284 ; CHECK-NEXT:    [[TMP1:%.*]] = fsub fast <2 x float> zeroinitializer, zeroinitializer
 285 ; CHECK-NEXT:    [[C:%.*]] = fmul fast <2 x float> [[A:%.*]], <float 4.000000e+01, float 4.000000e+01>
 286 ; CHECK-NEXT:    [[E:%.*]] = fmul fast <2 x float> [[C]], [[Z:%.*]]
 287 ; CHECK-NEXT:    [[TMP2:%.*]] = fadd fast <2 x float> [[E]], zeroinitializer
 288 ; CHECK-NEXT:    ret <2 x float> [[TMP2]]
 289 ;
 290   %d = fmul fast <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
 291   %c = fsub fast <2 x float> <float 0.000000e+00, float 0.000000e+00>, %d
 292   %e = fmul fast <2 x float> %a, %c
 293   %f = fsub fast <2 x float> <float 0.000000e+00, float 0.000000e+00>, %e
 294   ret <2 x float> %f
 295 }
 296
 297 define <2 x float> @test10_unary_fneg(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
 298 ; CHECK-LABEL: @test10_unary_fneg(
 299 ; CHECK-NEXT:    [[TMP1:%.*]] = fneg fast <2 x float> zeroinitializer
 300 ; CHECK-NEXT:    [[E:%.*]] = fmul fast <2 x float> [[A:%.*]], <float 4.000000e+01, float 4.000000e+01>
 301 ; CHECK-NEXT:    [[F:%.*]] = fmul fast <2 x float> [[E]], [[Z:%.*]]
 302 ; CHECK-NEXT:    ret <2 x float> [[F]]
 303 ;
 304   %d = fmul fast <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
 305   %c = fneg fast <2 x float> %d
 306   %e = fmul fast <2 x float> %a, %c
 307   %f = fneg fast <2 x float> %e
 308   ret <2 x float> %f
 309 }
 310
 311 ; Check -(-(z*40)*a) -> a*40*z - minimum FMF subset version
 312
 313 define <2 x float> @test10_reassoc(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
 314 ; CHECK-LABEL: @test10_reassoc(
 315 ; CHECK-NEXT:    [[D:%.*]] = fmul reassoc <2 x float> [[Z:%.*]], <float 4.000000e+01, float 4.000000e+01>
 316 ; CHECK-NEXT:    [[C:%.*]] = fsub reassoc <2 x float> zeroinitializer, [[D]]
 317 ; CHECK-NEXT:    [[E:%.*]] = fmul reassoc <2 x float> [[A:%.*]], [[C]]
 318 ; CHECK-NEXT:    [[F:%.*]] = fsub reassoc <2 x float> zeroinitializer, [[E]]
 319 ; CHECK-NEXT:    ret <2 x float> [[F]]
 320 ;
 321   %d = fmul reassoc <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
 322   %c = fsub reassoc <2 x float> <float 0.000000e+00, float 0.000000e+00>, %d
 323   %e = fmul reassoc <2 x float> %a, %c
 324   %f = fsub reassoc <2 x float> <float 0.000000e+00, float 0.000000e+00>, %e
 325   ret <2 x float> %f
 326 }
 327
 328 define <2 x float> @test10_reassoc_unary_fneg(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
 329 ; CHECK-LABEL: @test10_reassoc_unary_fneg(
 330 ; CHECK-NEXT:    [[D:%.*]] = fmul reassoc <2 x float> [[Z:%.*]], <float 4.000000e+01, float 4.000000e+01>
 331 ; CHECK-NEXT:    [[C:%.*]] = fneg reassoc <2 x float> [[D]]
 332 ; CHECK-NEXT:    [[E:%.*]] = fmul reassoc <2 x float> [[A:%.*]], [[C]]
 333 ; CHECK-NEXT:    [[F:%.*]] = fneg reassoc <2 x float> [[E]]
 334 ; CHECK-NEXT:    ret <2 x float> [[F]]
 335 ;
 336   %d = fmul reassoc <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
 337   %c = fneg reassoc <2 x float> %d
 338   %e = fmul reassoc <2 x float> %a, %c
 339   %f = fneg reassoc <2 x float> %e
 340   ret <2 x float> %f
 341 }
 342
 343 ; Check x*y+y*x -> x*y*2.
 344
 345 define <2 x double> @test11(<2 x double> %x, <2 x double> %y) {
 346 ; CHECK-LABEL: @test11(
 347 ; CHECK-NEXT:    [[FACTOR:%.*]] = fmul fast <2 x double> [[Y:%.*]], [[X:%.*]]
 348 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast <2 x double> [[FACTOR]], <double 2.000000e+00, double 2.000000e+00>
 349 ; CHECK-NEXT:    ret <2 x double> [[REASS_MUL]]
 350 ;
 351   %1 = fmul fast <2 x double> %x, %y
 352   %2 = fmul fast <2 x double> %y, %x
 353   %3 = fadd fast <2 x double> %1, %2
 354   ret <2 x double> %3
 355 }
 356
 357 ; Check x*y+y*x -> x*y*2 - minimum FMF subset version
 358
 359 define <2 x double> @test11_reassoc(<2 x double> %x, <2 x double> %y) {
 360 ; CHECK-LABEL: @test11_reassoc(
 361 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul reassoc <2 x double> [[X:%.*]], [[Y:%.*]]
 362 ; CHECK-NEXT:    [[TMP2:%.*]] = fmul reassoc <2 x double> [[X]], [[Y]]
 363 ; CHECK-NEXT:    [[TMP3:%.*]] = fadd reassoc <2 x double> [[TMP1]], [[TMP2]]
 364 ; CHECK-NEXT:    ret <2 x double> [[TMP3]]
 365 ;
 366   %1 = fmul reassoc <2 x double> %x, %y
 367   %2 = fmul reassoc <2 x double> %y, %x
 368   %3 = fadd reassoc <2 x double> %1, %2
 369   ret <2 x double> %3
 370 }
 371
 372 ; FIXME: shifts should be converted to mul to assist further reassociation.
 373
 374 define <2 x i64> @test12(<2 x i64> %b, <2 x i64> %c) {
 375 ; CHECK-LABEL: @test12(
 376 ; CHECK-NEXT:    [[MUL:%.*]] = mul <2 x i64> [[C:%.*]], [[B:%.*]]
 377 ; CHECK-NEXT:    [[SHL:%.*]] = shl <2 x i64> [[MUL]], <i64 5, i64 5>
 378 ; CHECK-NEXT:    ret <2 x i64> [[SHL]]
 379 ;
 380   %mul = mul <2 x i64> %c, %b
 381   %shl = shl <2 x i64> %mul, <i64 5, i64 5>
 382   ret <2 x i64> %shl
 383 }
 384
 385 ; (-5*b)+a -> a-(5*b)
 386
 387 define <4 x float> @test13(<4 x float> %a, <4 x float> %b) {
 388 ; CHECK-LABEL: @test13(
 389 ; CHECK-NEXT:    [[MUL:%.*]] = fmul fast <4 x float> [[B:%.*]], <float 5.000000e+00, float 5.000000e+00, float 5.000000e+00, float 5.000000e+00>
 390 ; CHECK-NEXT:    [[TMP1:%.*]] = fsub fast <4 x float> [[A:%.*]], [[MUL]]
 391 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 392 ;
 393   %mul = fmul fast <4 x float> <float -5.000000e+00, float -5.000000e+00, float -5.000000e+00, float -5.000000e+00>, %b
 394   %add = fadd fast <4 x float> %mul, %a
 395   ret <4 x float> %add
 396 }
 397
 398 ; Break up subtract to assist further reassociation.
 399 ; Check a+b-c -> a+b+-c.
 400
 401 define <2 x i64> @test14(<2 x i64> %a, <2 x i64> %b, <2 x i64> %c) {
 402 ; CHECK-LABEL: @test14(
 403 ; CHECK-NEXT:    [[ADD:%.*]] = add <2 x i64> [[B:%.*]], [[A:%.*]]
 404 ; CHECK-NEXT:    [[C_NEG:%.*]] = sub <2 x i64> zeroinitializer, [[C:%.*]]
 405 ; CHECK-NEXT:    [[SUB:%.*]] = add <2 x i64> [[ADD]], [[C_NEG]]
 406 ; CHECK-NEXT:    ret <2 x i64> [[SUB]]
 407 ;
 408   %add = add <2 x i64> %b, %a
 409   %sub = sub <2 x i64> %add, %c
 410   ret <2 x i64> %sub
 411 }
 412
 413 define <2 x i32> @test15(<2 x i32> %x, <2 x i32> %y) {
 414 ; CHECK-LABEL: @test15(
 415 ; CHECK-NEXT:    [[TMP3:%.*]] = and <2 x i32> [[Y:%.*]], [[X:%.*]]
 416 ; CHECK-NEXT:    ret <2 x i32> [[TMP3]]
 417 ;
 418   %tmp1 = and <2 x i32> %x, %y
 419   %tmp2 = and <2 x i32> %y, %x
 420   %tmp3 = and <2 x i32> %tmp1, %tmp2
 421   ret <2 x i32> %tmp3
 422 }
 423
 424 define <2 x i32> @test16(<2 x i32> %x, <2 x i32> %y) {
 425 ; CHECK-LABEL: @test16(
 426 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i32> [[Y:%.*]], [[X:%.*]]
 427 ; CHECK-NEXT:    ret <2 x i32> [[TMP3]]
 428 ;
 429   %tmp1 = or <2 x i32> %x, %y
 430   %tmp2 = or <2 x i32> %y, %x
 431   %tmp3 = or <2 x i32> %tmp1, %tmp2
 432   ret <2 x i32> %tmp3
 433 }
 434
 435 define <2 x i32> @test17(<2 x i32> %x, <2 x i32> %y) {
 436 ; CHECK-LABEL: @test17(
 437 ; CHECK-NEXT:    ret <2 x i32> zeroinitializer
 438 ;
 439   %tmp1 = xor <2 x i32> %x, %y
 440   %tmp2 = xor <2 x i32> %y, %x
 441   %tmp3 = xor <2 x i32> %tmp1, %tmp2
 442   ret <2 x i32> %tmp3
 443 }
 444
 445 define <2 x i32> @test18(<2 x i32> %x, <2 x i32> %y) {
 446 ; CHECK-LABEL: @test18(
 447 ; CHECK-NEXT:    [[TMP5:%.*]] = xor <2 x i32> [[Y:%.*]], [[X:%.*]]
 448 ; CHECK-NEXT:    ret <2 x i32> [[TMP5]]
 449 ;
 450   %tmp1 = xor <2 x i32> %x, %y
 451   %tmp2 = xor <2 x i32> %y, %x
 452   %tmp3 = xor <2 x i32> %x, %y
 453   %tmp4 = xor <2 x i32> %tmp1, %tmp2
 454   %tmp5 = xor <2 x i32> %tmp4, %tmp3
 455   ret <2 x i32> %tmp5
 456 }