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   %0 = bitcast [10 x i32]* %a to i8*
   7   %arrayidx.gep = getelementptr [10 x i32], [10 x i32]* %a, i32 0, i32 0
   8   br label %for.body
   9
  10 for.cond.cleanup:
  11   %c.1.reg2mem.0.lcssa = phi i32 [ %c.1.reg2mem.0, %for.inc ]
  12   ret i32 %c.1.reg2mem.0.lcssa
  13
  14 for.body:
  15   %1 = phi i32 [ 0, %entry ], [ %.pre, %for.inc.for.body_crit_edge ]
  16   %c.018.reg2mem.0 = phi i32 [ 0, %entry ], [ %c.1.reg2mem.0, %for.inc.for.body_crit_edge ]
  17   %b.017.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %b.1.reg2mem.0, %for.inc.for.body_crit_edge ]
  18   %arrayidx.phi = phi i32* [ %arrayidx.gep, %entry ], [ %arrayidx.inc, %for.inc.for.body_crit_edge ]
  19   %i.019 = phi i32 [ 0, %entry ], [ %inc, %for.inc.for.body_crit_edge ]
  20   %cmp1 = icmp slt i32 %1, 10
  21   %arrayidx.inc = getelementptr i32, i32* %arrayidx.phi, i32 1
  22   br i1 %cmp1, label %for.inc, label %if.end
  23
  24 if.end:
  25   %conv = sitofp i32 %i.019 to double
  26   %cmp2 = fcmp nsz ogt double %conv, %b.017.reg2mem.0
  27   %selv = select i1 %cmp2, double %conv, double %b.017.reg2mem.0
  28   %selv7 = select i1 %cmp2, i32 %i.019, i32 %c.018.reg2mem.0
  29   br label %for.inc
  30
  31 for.inc:
  32   %b.1.reg2mem.0 = phi double [ %b.017.reg2mem.0, %for.body ], [ %selv, %if.end ]
  33   %c.1.reg2mem.0 = phi i32 [ %c.018.reg2mem.0, %for.body ], [ %selv7, %if.end ]
  34   %exitcond = icmp eq i32 %i.019, 9
  35   br i1 %exitcond, label %for.cond.cleanup, label %for.inc.for.body_crit_edge
  36
  37 for.inc.for.body_crit_edge:
  38   %inc = add nuw nsw i32 %i.019, 1
  39   %.pre = load i32, i32* %arrayidx.inc, align 4
  40   br label %for.body
  41 }