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 | grep {#uses=0} | count 1
   5
   6 define i32 @mul(i32 %x, i32 %y) {
   7 entry:
   8         br label %tailrecurse
   9
  10 tailrecurse:            ; preds = %endif, %entry
  11         %accumulator.tr = phi i32 [ %x, %entry ], [ %tmp.9, %endif ]            ; <i32> [#uses=2]
  12         %y.tr = phi i32 [ %y, %entry ], [ %tmp.8, %endif ]              ; <i32> [#uses=2]
  13         %tmp.1 = icmp eq i32 %y.tr, 0           ; <i1> [#uses=1]
  14         br i1 %tmp.1, label %return, label %endif
  15
  16 endif:          ; preds = %tailrecurse
  17         %tmp.8 = add i32 %y.tr, -1              ; <i32> [#uses=1]
  18         %tmp.9 = add i32 %accumulator.tr, %x            ; <i32> [#uses=1]
  19         br label %tailrecurse
  20
  21 return:         ; preds = %tailrecurse
  22         ret i32 %accumulator.tr
  23 }
  24