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