xref: /aosp_15_r20/external/llvm/test/Transforms/Reassociate/2005-09-01-ArrayOutOfBounds.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdefine i32 @f1(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) {
4*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f1
5*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 0
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker  %tmp.2 = add i32 %a4, %a3
8*9880d681SAndroid Build Coastguard Worker  %tmp.4 = add i32 %tmp.2, %a2
9*9880d681SAndroid Build Coastguard Worker  %tmp.6 = add i32 %tmp.4, %a1
10*9880d681SAndroid Build Coastguard Worker  %tmp.8 = add i32 %tmp.6, %a0
11*9880d681SAndroid Build Coastguard Worker  %tmp.11 = add i32 %a3, %a2
12*9880d681SAndroid Build Coastguard Worker  %tmp.13 = add i32 %tmp.11, %a1
13*9880d681SAndroid Build Coastguard Worker  %tmp.15 = add i32 %tmp.13, %a0
14*9880d681SAndroid Build Coastguard Worker  %tmp.18 = add i32 %a2, %a1
15*9880d681SAndroid Build Coastguard Worker  %tmp.20 = add i32 %tmp.18, %a0
16*9880d681SAndroid Build Coastguard Worker  %tmp.23 = add i32 %a1, %a0
17*9880d681SAndroid Build Coastguard Worker  %tmp.26 = sub i32 %tmp.8, %tmp.15
18*9880d681SAndroid Build Coastguard Worker  %tmp.28 = add i32 %tmp.26, %tmp.20
19*9880d681SAndroid Build Coastguard Worker  %tmp.30 = sub i32 %tmp.28, %tmp.23
20*9880d681SAndroid Build Coastguard Worker  %tmp.32 = sub i32 %tmp.30, %a4
21*9880d681SAndroid Build Coastguard Worker  %tmp.34 = sub i32 %tmp.32, %a2
22*9880d681SAndroid Build Coastguard Worker  %T = mul i32 %tmp.34, %tmp.34
23*9880d681SAndroid Build Coastguard Worker  ret i32 %T
24*9880d681SAndroid Build Coastguard Worker}
25