xref: /aosp_15_r20/external/llvm/test/Transforms/IndVarSimplify/pr26974.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -indvars  -S < %s | FileCheck %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 Worker
5*9880d681SAndroid Build Coastguard Worker; indvars will try to replace %b.0.lcssa with %t.1. If it does this,
6*9880d681SAndroid Build Coastguard Worker; it will break LCSSA.
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker@c = external global i32, align 4
9*9880d681SAndroid Build Coastguard Worker
10*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @fn1
11*9880d681SAndroid Build Coastguard Workerdefine void @fn1() {
12*9880d681SAndroid Build Coastguard Workerentry:
13*9880d681SAndroid Build Coastguard Worker  br label %for.body
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Workerfor.cond1.preheader:                              ; preds = %for.body
16*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* @c, align 4
17*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %for.cond1.us.preheader, label %for.cond1
18*9880d681SAndroid Build Coastguard Worker
19*9880d681SAndroid Build Coastguard Workerfor.cond1.us.preheader:                           ; preds = %for.cond1.preheader
20*9880d681SAndroid Build Coastguard Worker  br label %for.cond1.us
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Workerfor.cond1.us:                                     ; preds = %for.cond1.us, %for.cond1.us.preheader
23*9880d681SAndroid Build Coastguard Worker  br label %for.cond1.us
24*9880d681SAndroid Build Coastguard Worker
25*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.body, %entry
26*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %for.body, label %for.cond1.preheader
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Workerfor.cond1:                                        ; preds = %for.cond1.preheader
29*9880d681SAndroid Build Coastguard Worker  br i1 true, label %for.body9.lr.ph, label %for.cond13.preheader
30*9880d681SAndroid Build Coastguard Worker
31*9880d681SAndroid Build Coastguard Workerfor.body9.lr.ph:                                  ; preds = %for.cond1
32*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %for.body9.us.preheader, label %for.body9
33*9880d681SAndroid Build Coastguard Worker
34*9880d681SAndroid Build Coastguard Workerfor.body9.us.preheader:                           ; preds = %for.body9.lr.ph
35*9880d681SAndroid Build Coastguard Worker  br label %for.body9.us
36*9880d681SAndroid Build Coastguard Worker
37*9880d681SAndroid Build Coastguard Workerfor.body9.us:                                     ; preds = %for.body9.us, %for.body9.us.preheader
38*9880d681SAndroid Build Coastguard Worker  br label %for.body9.us
39*9880d681SAndroid Build Coastguard Worker
40*9880d681SAndroid Build Coastguard Workerfor.cond13.preheader:                             ; preds = %for.body9, %for.cond1
41*9880d681SAndroid Build Coastguard Worker  %b.0.lcssa = phi i32 [ %0, %for.body9 ], [ 0, %for.cond1 ]
42*9880d681SAndroid Build Coastguard Worker  br label %for.cond13
43*9880d681SAndroid Build Coastguard Worker
44*9880d681SAndroid Build Coastguard Workerfor.body9:                                        ; preds = %for.body9.lr.ph
45*9880d681SAndroid Build Coastguard Worker  br label %for.cond13.preheader
46*9880d681SAndroid Build Coastguard Worker
47*9880d681SAndroid Build Coastguard Workerfor.cond13:                                       ; preds = %for.cond13, %for.cond13.preheader
48*9880d681SAndroid Build Coastguard Worker  %d.1 = phi i32 [ %t.1, %for.cond13 ], [ %0, %for.cond13.preheader ]
49*9880d681SAndroid Build Coastguard Worker  %t.1 = phi i32 [ %b.0.lcssa, %for.cond13 ], [ %0, %for.cond13.preheader ]
50*9880d681SAndroid Build Coastguard Worker  br i1 undef, label %for.cond18.preheader, label %for.cond13
51*9880d681SAndroid Build Coastguard Worker
52*9880d681SAndroid Build Coastguard Workerfor.cond18.preheader:                             ; preds = %for.cond13
53*9880d681SAndroid Build Coastguard Worker  br label %for.cond18
54*9880d681SAndroid Build Coastguard Worker
55*9880d681SAndroid Build Coastguard Workerfor.cond18:                                       ; preds = %for.cond18, %for.cond18.preheader
56*9880d681SAndroid Build Coastguard Worker  %b.1 = phi i32 [ %xor, %for.cond18 ], [ %b.0.lcssa, %for.cond18.preheader ]
57*9880d681SAndroid Build Coastguard Worker  %add = add nsw i32 %b.1, %d.1
58*9880d681SAndroid Build Coastguard Worker  %xor = xor i32 %add, %b.1
59*9880d681SAndroid Build Coastguard Worker  br label %for.cond18
60*9880d681SAndroid Build Coastguard Worker}
61