test/Transforms/LoopIndexSplit/2008-09-17-IVUse.ll

   1 ; RUN: opt < %s -loop-index-split -stats -disable-output | not grep "loop-index-split"
   2 ; PR 2791
   3 @g_40 = common global i32 0             ; <i32*> [#uses=1]
   4 @g_192 = common global i32 0            ; <i32*> [#uses=2]
   5 @"\01LC" = internal constant [4 x i8] c"%d\0A\00"               ; <[4 x i8]*> [#uses=1]
   6
   7 define void @func_29() nounwind {
   8 entry:
   9         %0 = load i32* @g_40, align 4           ; <i32> [#uses=1]
  10         %1 = icmp eq i32 %0, 0          ; <i1> [#uses=1]
  11         %g_192.promoted = load i32* @g_192              ; <i32> [#uses=0]
  12         br i1 %1, label %entry.split.us, label %entry.split
  13
  14 entry.split.us:         ; preds = %entry
  15         br label %bb.us
  16
  17 bb.us:          ; preds = %bb5.us, %entry.split.us
  18         %i.0.reg2mem.0.us = phi i32 [ 0, %entry.split.us ], [ %3, %bb5.us ]             ; <i32> [#uses=2]
  19         %2 = icmp eq i32 %i.0.reg2mem.0.us, 0           ; <i1> [#uses=1]
  20         br i1 %2, label %bb1.us, label %bb5.us
  21
  22 bb5.us:         ; preds = %bb1.us, %bb4.us, %bb.us
  23         %iftmp.0.0.us = phi i32 [ 0, %bb4.us ], [ 1, %bb.us ], [ 1, %bb1.us ]           ; <i32> [#uses=1]
  24         %3 = add i32 %i.0.reg2mem.0.us, 1               ; <i32> [#uses=3]
  25         %4 = icmp ult i32 %3, 10                ; <i1> [#uses=1]
  26         br i1 %4, label %bb.us, label %bb8.us
  27
  28 bb4.us:         ; preds = %bb1.us
  29         br label %bb5.us
  30
  31 bb1.us:         ; preds = %bb.us
  32         br i1 true, label %bb4.us, label %bb5.us
  33
  34 bb8.us:         ; preds = %bb5.us
  35         %iftmp.0.0.lcssa.us = phi i32 [ %iftmp.0.0.us, %bb5.us ]                ; <i32> [#uses=1]
  36         %.lcssa.us = phi i32 [ %3, %bb5.us ]            ; <i32> [#uses=1]
  37         br label %bb8.split
  38
  39 entry.split:            ; preds = %entry
  40         br label %bb
  41
  42 bb:             ; preds = %bb5, %entry.split
  43         %i.0.reg2mem.0 = phi i32 [ 0, %entry.split ], [ %6, %bb5 ]              ; <i32> [#uses=2]
  44         %5 = icmp eq i32 %i.0.reg2mem.0, 0              ; <i1> [#uses=1]
  45         br i1 %5, label %bb1, label %bb5
  46
  47 bb1:            ; preds = %bb
  48         br i1 false, label %bb4, label %bb5
  49
  50 bb4:            ; preds = %bb1
  51         br label %bb5
  52
  53 bb5:            ; preds = %bb1, %bb, %bb4
  54         %iftmp.0.0 = phi i32 [ 0, %bb4 ], [ 1, %bb ], [ 1, %bb1 ]               ; <i32> [#uses=1]
  55         %6 = add i32 %i.0.reg2mem.0, 1          ; <i32> [#uses=3]
  56         %7 = icmp ult i32 %6, 10                ; <i1> [#uses=1]
  57         br i1 %7, label %bb, label %bb8
  58
  59 bb8:            ; preds = %bb5
  60         %iftmp.0.0.lcssa = phi i32 [ %iftmp.0.0, %bb5 ]         ; <i32> [#uses=1]
  61         %.lcssa = phi i32 [ %6, %bb5 ]          ; <i32> [#uses=1]
  62         br label %bb8.split
  63
  64 bb8.split:              ; preds = %bb8.us, %bb8
  65         %iftmp.0.0.lcssa.us-lcssa = phi i32 [ %iftmp.0.0.lcssa, %bb8 ], [ %iftmp.0.0.lcssa.us, %bb8.us ]                ; <i32> [#uses=1]
  66         %.lcssa.us-lcssa = phi i32 [ %.lcssa, %bb8 ], [ %.lcssa.us, %bb8.us ]           ; <i32> [#uses=1]
  67         store i32 %iftmp.0.0.lcssa.us-lcssa, i32* @g_192
  68         %8 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @"\01LC", i32 0, i32 0), i32 %.lcssa.us-lcssa ) nounwind           ; <i32> [#uses=0]
  69         ret void
  70 }
  71
  72 declare i32 @printf(i8*, ...) nounwind
  73
  74 define i32 @main() nounwind {
  75 entry:
  76         call void @func_29( ) nounwind
  77         ret i32 0
  78 }