xref: /aosp_15_r20/external/llvm/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker; PR2088
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Worker; CHECK: Unpredictable
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine void @fun() {
7*9880d681SAndroid Build Coastguard Workerentry:
8*9880d681SAndroid Build Coastguard Worker        br label %loop
9*9880d681SAndroid Build Coastguard Workerloop:
10*9880d681SAndroid Build Coastguard Worker        %i = phi i8 [ 0, %entry ], [ %i.next, %loop ]
11*9880d681SAndroid Build Coastguard Worker        %i.next = add i8 %i, 4
12*9880d681SAndroid Build Coastguard Worker        %cond = icmp ne i8 %i.next, 6
13*9880d681SAndroid Build Coastguard Worker        br i1 %cond, label %loop, label %exit
14*9880d681SAndroid Build Coastguard Workerexit:
15*9880d681SAndroid Build Coastguard Worker        ret void
16*9880d681SAndroid Build Coastguard Worker}
17