test/Transforms/IndVarSimplify/2003-12-10-IndVarDeadCode.ll

   1 ; The induction variable canonicalization pass shouldn't leave dead
   2 ; instructions laying around!
   3 ;
   4 ; RUN: opt < %s -indvars -S | \
   5 ; RUN:   not grep {#uses=0}
   6
   7 define i32 @mul(i32 %x, i32 %y) {
   8 entry:
   9         br label %tailrecurse
  10
  11 tailrecurse:            ; preds = %endif, %entry
  12         %accumulator.tr = phi i32 [ %x, %entry ], [ %tmp.9, %endif ]            ; <i32> [#uses=2]
  13         %y.tr = phi i32 [ %y, %entry ], [ %tmp.8, %endif ]              ; <i32> [#uses=2]
  14         %tmp.1 = icmp eq i32 %y.tr, 0           ; <i1> [#uses=1]
  15         br i1 %tmp.1, label %return, label %endif
  16
  17 endif:          ; preds = %tailrecurse
  18         %tmp.8 = add i32 %y.tr, -1              ; <i32> [#uses=1]
  19         %tmp.9 = add i32 %accumulator.tr, %x            ; <i32> [#uses=1]
  20         br label %tailrecurse
  21
  22 return:         ; preds = %tailrecurse
  23         ret i32 %accumulator.tr
  24 }
  25