1; RUN: opt < %s -reassociate -S | FileCheck %s 2 3define 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 12entry: 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 22define i32 @test2(i32 %t) { 23; CHECK-LABEL: @test2( 24; CHECK: mul 25; CHECK-NEXT: add 26; CHECK-NEXT: ret 27 28entry: 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 36define 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 44entry: 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 55define 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 64entry: 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 74define 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 82entry: 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 91define 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 102entry: 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 114define 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 124entry: 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} 135