xref: /aosp_15_r20/external/llvm/test/Analysis/ScalarEvolution/pr22856.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -loop-reduce -verify < %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64--linux-gnu"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine void @unbounded() {
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Workerblock_A:
9*9880d681SAndroid Build Coastguard Worker  %0 = sext i32 undef to i64
10*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %block_F, label %block_G
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerblock_C:                ; preds = %block_F
13*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %block_D, label %block_E
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Workerblock_D:                  ; preds = %block_D, %block_C
16*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %block_E, label %block_D
17*9880d681SAndroid Build Coastguard Worker
18*9880d681SAndroid Build Coastguard Workerblock_E:              ; preds = %block_D, %block_C
19*9880d681SAndroid Build Coastguard Worker  %iv2 = phi i64 [ %4, %block_D ], [ %4, %block_C ]
20*9880d681SAndroid Build Coastguard Worker  %1 = add nsw i32 %iv1, 1
21*9880d681SAndroid Build Coastguard Worker  %2 = icmp eq i32 %1, undef
22*9880d681SAndroid Build Coastguard Worker  br i1 %2, label %block_G, label %block_F
23*9880d681SAndroid Build Coastguard Worker
24*9880d681SAndroid Build Coastguard Workerblock_F:          ; preds = %block_E, %block_A
25*9880d681SAndroid Build Coastguard Worker  %iv3 = phi i64 [ %iv2, %block_E ], [ %0, %block_A ]
26*9880d681SAndroid Build Coastguard Worker  %iv1 = phi i32 [ %1, %block_E ], [ undef, %block_A ]
27*9880d681SAndroid Build Coastguard Worker  %3 = add nsw i64 %iv3, 2
28*9880d681SAndroid Build Coastguard Worker  %4 = add nsw i64 %iv3, 1
29*9880d681SAndroid Build Coastguard Worker  br label %block_C
30*9880d681SAndroid Build Coastguard Worker
31*9880d681SAndroid Build Coastguard Workerblock_G:                              ; preds = %block_E, %block_A
32*9880d681SAndroid Build Coastguard Worker  ret void
33*9880d681SAndroid Build Coastguard Worker}
34