llvm/test/CodeGen/Thumb2/thumb2-cpsr-liveness.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-linux-gnueabi -misched-postra=true
   2
   3 define i32 @test_cpsr() {
   4 entry:
   5   %a = alloca [10 x i32], align 4
   6   br label %for.body
   7
   8 for.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
  12 for.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
  22 if.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
  29 for.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
  35 for.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 }