1 ; RUN: opt < %s -reassociate -S | FileCheck %s
3 define i32 @test1(i32 %a, i32 %b) {
5 ; CHECK: mul i32 %a, %a
6 ; CHECK-NEXT: mul i32 %a, 2
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
22 define i32 @test2(i32 %t) {
23 ; CHECK-LABEL: @test2(
36 define i32 @test3(i32 %x) {
38 ; CHECK-LABEL: @test3(
55 define i32 @test4(i32 %x) {
57 ; CHECK-LABEL: @test4(
74 define i32 @test5(i32 %x, i32 %y) {
76 ; CHECK-LABEL: @test5(
91 define i32 @test6(i32 %x, i32 %y, i32 %z) {
93 ; CHECK-LABEL: @test6(
114 define i32 @test7(i32 %x, i32 %y, i32 %z) {
115 ; (x^4) * (y^3) * (z^2)
116 ; CHECK-LABEL: @test7(