xref: /aosp_15_r20/external/llvm/test/Transforms/IRCE/bug-loop-varying-upper-limit.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -irce-print-changed-loops -S -irce -verify < %s 2>&1 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: constrained loop
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Workerdefine void @single_access_no_preloop_no_offset(i32 *%arr, i32 *%a_len_ptr, i32 %n) {
6*9880d681SAndroid Build Coastguard Worker entry:
7*9880d681SAndroid Build Coastguard Worker  %first.itr.check = icmp sgt i32 %n, 0
8*9880d681SAndroid Build Coastguard Worker  br i1 %first.itr.check, label %loop, label %exit
9*9880d681SAndroid Build Coastguard Worker
10*9880d681SAndroid Build Coastguard Worker loop:
11*9880d681SAndroid Build Coastguard Worker  %idx = phi i32 [ 0, %entry ] , [ %idx.next, %in.bounds ]
12*9880d681SAndroid Build Coastguard Worker  %idx.next = add i32 %idx, 1
13*9880d681SAndroid Build Coastguard Worker  %len = load i32, i32* %a_len_ptr, !range !0
14*9880d681SAndroid Build Coastguard Worker  %abc = icmp slt i32 %idx, %len
15*9880d681SAndroid Build Coastguard Worker  br i1 %abc, label %in.bounds, label %out.of.bounds, !prof !1
16*9880d681SAndroid Build Coastguard Worker
17*9880d681SAndroid Build Coastguard Worker in.bounds:
18*9880d681SAndroid Build Coastguard Worker  %addr = getelementptr i32, i32* %arr, i32 %idx
19*9880d681SAndroid Build Coastguard Worker  store i32 0, i32* %addr
20*9880d681SAndroid Build Coastguard Worker  %next = icmp slt i32 %idx.next, %n
21*9880d681SAndroid Build Coastguard Worker  br i1 %next, label %loop, label %exit
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Worker out.of.bounds:
24*9880d681SAndroid Build Coastguard Worker  ret void
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Worker exit:
27*9880d681SAndroid Build Coastguard Worker  ret void
28*9880d681SAndroid Build Coastguard Worker}
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Worker!0 = !{i32 0, i32 2147483647}
31*9880d681SAndroid Build Coastguard Worker!1 = !{!"branch_weights", i32 64, i32 4}
32