test/Transforms/Reassociate/mulfactor.ll

   1 ; RUN: opt < %s -reassociate -S | FileCheck %s
   2
   3 define i32 @test1(i32 %a, i32 %b) {
   4 ; CHECK-LABEL: @test1(
   5 ; CHECK: mul i32 %a, %a
   6 ; CHECK-NEXT: mul i32 %a, 2
   7 ; CHECK-NEXT: add
   8 ; CHECK-NEXT: mul
   9 ; CHECK-NEXT: add
  10 ; CHECK-NEXT: ret
  11
  12 entry:
  13         %tmp.2 = mul i32 %a, %a
  14         %tmp.5 = shl i32 %a, 1
  15         %tmp.6 = mul i32 %tmp.5, %b
  16         %tmp.10 = mul i32 %b, %b
  17         %tmp.7 = add i32 %tmp.6, %tmp.2
  18         %tmp.11 = add i32 %tmp.7, %tmp.10
  19         ret i32 %tmp.11
  20 }
  21
  22 define i32 @test2(i32 %t) {
  23 ; CHECK-LABEL: @test2(
  24 ; CHECK: mul
  25 ; CHECK-NEXT: add
  26 ; CHECK-NEXT: ret
  27
  28 entry:
  29         %a = mul i32 %t, 6
  30         %b = mul i32 %t, 36
  31         %c = add i32 %b, 15
  32         %d = add i32 %c, %a
  33         ret i32 %d
  34 }
  35
  36 define i32 @test3(i32 %x) {
  37 ; (x^8)
  38 ; CHECK-LABEL: @test3(
  39 ; CHECK: mul
  40 ; CHECK-NEXT: mul
  41 ; CHECK-NEXT: mul
  42 ; CHECK-NEXT: ret
  43
  44 entry:
  45   %a = mul i32 %x, %x
  46   %b = mul i32 %a, %x
  47   %c = mul i32 %b, %x
  48   %d = mul i32 %c, %x
  49   %e = mul i32 %d, %x
  50   %f = mul i32 %e, %x
  51   %g = mul i32 %f, %x
  52   ret i32 %g
  53 }
  54
  55 define i32 @test4(i32 %x) {
  56 ; (x^7)
  57 ; CHECK-LABEL: @test4(
  58 ; CHECK: mul
  59 ; CHECK-NEXT: mul
  60 ; CHECK-NEXT: mul
  61 ; CHECK-NEXT: mul
  62 ; CHECK-NEXT: ret
  63
  64 entry:
  65   %a = mul i32 %x, %x
  66   %b = mul i32 %a, %x
  67   %c = mul i32 %b, %x
  68   %d = mul i32 %c, %x
  69   %e = mul i32 %d, %x
  70   %f = mul i32 %e, %x
  71   ret i32 %f
  72 }
  73
  74 define i32 @test5(i32 %x, i32 %y) {
  75 ; (x^4) * (y^2)
  76 ; CHECK-LABEL: @test5(
  77 ; CHECK: mul
  78 ; CHECK-NEXT: mul
  79 ; CHECK-NEXT: mul
  80 ; CHECK-NEXT: ret
  81
  82 entry:
  83   %a = mul i32 %x, %y
  84   %b = mul i32 %a, %y
  85   %c = mul i32 %b, %x
  86   %d = mul i32 %c, %x
  87   %e = mul i32 %d, %x
  88   ret i32 %e
  89 }
  90
  91 define i32 @test6(i32 %x, i32 %y, i32 %z) {
  92 ; (x^5) * (y^3) * z
  93 ; CHECK-LABEL: @test6(
  94 ; CHECK: mul
  95 ; CHECK-NEXT: mul
  96 ; CHECK-NEXT: mul
  97 ; CHECK-NEXT: mul
  98 ; CHECK-NEXT: mul
  99 ; CHECK-NEXT: mul
 100 ; CHECK-NEXT: ret
 101
 102 entry:
 103   %a = mul i32 %x, %y
 104   %b = mul i32 %a, %x
 105   %c = mul i32 %b, %y
 106   %d = mul i32 %c, %x
 107   %e = mul i32 %d, %y
 108   %f = mul i32 %e, %x
 109   %g = mul i32 %f, %z
 110   %h = mul i32 %g, %x
 111   ret i32 %h
 112 }
 113
 114 define i32 @test7(i32 %x, i32 %y, i32 %z) {
 115 ; (x^4) * (y^3) * (z^2)
 116 ; CHECK-LABEL: @test7(
 117 ; CHECK: mul
 118 ; CHECK-NEXT: mul
 119 ; CHECK-NEXT: mul
 120 ; CHECK-NEXT: mul
 121 ; CHECK-NEXT: mul
 122 ; CHECK-NEXT: ret
 123
 124 entry:
 125   %a = mul i32 %y, %x
 126   %b = mul i32 %a, %z
 127   %c = mul i32 %b, %z
 128   %d = mul i32 %c, %x
 129   %e = mul i32 %d, %y
 130   %f = mul i32 %e, %y
 131   %g = mul i32 %f, %x
 132   %h = mul i32 %g, %x
 133   ret i32 %h
 134 }