[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / Reassociate / mightymul.ll
blobae915da8e57681c76804c08b830857d29a4c7797
1 ; RUN: opt < %s -reassociate -disable-output
2 ; PR13021
4 define i32 @test1(i32 %x) {
5   %t0 = mul i32 %x, %x
6   %t1 = mul i32 %t0, %t0
7   %t2 = mul i32 %t1, %t1
8   %t3 = mul i32 %t2, %t2
9   %t4 = mul i32 %t3, %t3
10   %t5 = mul i32 %t4, %t4
11   %t6 = mul i32 %t5, %t5
12   %t7 = mul i32 %t6, %t6
13   %t8 = mul i32 %t7, %t7
14   %t9 = mul i32 %t8, %t8
15   %t10 = mul i32 %t9, %t9
16   %t11 = mul i32 %t10, %t10
17   %t12 = mul i32 %t11, %t11
18   %t13 = mul i32 %t12, %t12
19   %t14 = mul i32 %t13, %t13
20   %t15 = mul i32 %t14, %t14
21   %t16 = mul i32 %t15, %t15
22   %t17 = mul i32 %t16, %t16
23   %t18 = mul i32 %t17, %t17
24   %t19 = mul i32 %t18, %t18
25   %t20 = mul i32 %t19, %t19
26   %t21 = mul i32 %t20, %t20
27   %t22 = mul i32 %t21, %t21
28   %t23 = mul i32 %t22, %t22
29   %t24 = mul i32 %t23, %t23
30   %t25 = mul i32 %t24, %t24
31   %t26 = mul i32 %t25, %t25
32   %t27 = mul i32 %t26, %t26
33   %t28 = mul i32 %t27, %t27
34   ret i32 %t28