xref: /llvm-project/llvm/test/CodeGen/Thumb2/thumb2-cpsr-liveness.ll (revision b5b663aac17415625340eb29c8010832bfc4c21c)
1; RUN: llc < %s -mtriple=thumbv7-linux-gnueabi -misched-postra=true
2
3define i32 @test_cpsr() {
4entry:
5  %a = alloca [10 x i32], align 4
6  br label %for.body
7
8for.cond.cleanup:
9  %c.1.reg2mem.0.lcssa = phi i32 [ %c.1.reg2mem.0, %for.inc ]
10  ret i32 %c.1.reg2mem.0.lcssa
11
12for.body:
13  %0 = phi i32 [ 0, %entry ], [ %.pre, %for.inc.for.body_crit_edge ]
14  %c.018.reg2mem.0 = phi i32 [ 0, %entry ], [ %c.1.reg2mem.0, %for.inc.for.body_crit_edge ]
15  %b.017.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %b.1.reg2mem.0, %for.inc.for.body_crit_edge ]
16  %arrayidx.phi = phi ptr [ %a, %entry ], [ %arrayidx.inc, %for.inc.for.body_crit_edge ]
17  %i.019 = phi i32 [ 0, %entry ], [ %inc, %for.inc.for.body_crit_edge ]
18  %cmp1 = icmp slt i32 %0, 10
19  %arrayidx.inc = getelementptr i32, ptr %arrayidx.phi, i32 1
20  br i1 %cmp1, label %for.inc, label %if.end
21
22if.end:
23  %conv = sitofp i32 %i.019 to double
24  %cmp2 = fcmp nsz ogt double %conv, %b.017.reg2mem.0
25  %selv = select i1 %cmp2, double %conv, double %b.017.reg2mem.0
26  %selv7 = select i1 %cmp2, i32 %i.019, i32 %c.018.reg2mem.0
27  br label %for.inc
28
29for.inc:
30  %b.1.reg2mem.0 = phi double [ %b.017.reg2mem.0, %for.body ], [ %selv, %if.end ]
31  %c.1.reg2mem.0 = phi i32 [ %c.018.reg2mem.0, %for.body ], [ %selv7, %if.end ]
32  %exitcond = icmp eq i32 %i.019, 9
33  br i1 %exitcond, label %for.cond.cleanup, label %for.inc.for.body_crit_edge
34
35for.inc.for.body_crit_edge:
36  %inc = add nuw nsw i32 %i.019, 1
37  %.pre = load i32, ptr %arrayidx.inc, align 4
38  br label %for.body
39}
40