llvm/test/Transforms/InstSimplify/ConstProp/2002-03-11-ConstPropCrash.ll

   1 ; When constant propagating terminator instructions, the basic block iterator
   2 ; was not updated to refer to the final position of the new terminator.  This
   3 ; can be bad, f.e. because constproping a terminator can lead to the
   4 ; destruction of PHI nodes, which invalidates the iterator!
   5 ;
   6 ; Fixed by adding new arguments to ConstantFoldTerminator
   7 ;
   8 ; RUN: opt < %s -passes=instsimplify
   9
  10 define void @build_tree(i32 %ml) {
  11 ; <label>:0
  12         br label %bb2
  13
  14 bb2:            ; preds = %bb2, %0
  15         %reg137 = phi i32 [ %reg140, %bb2 ], [ 12, %0 ]         ; <i32> [#uses=1]
  16         %reg138 = phi i32 [ %reg139, %bb2 ], [ 0, %0 ]          ; <i32> [#uses=1]
  17         %reg139 = add i32 %reg138, 1            ; <i32> [#uses=1]
  18         %reg140 = add i32 %reg137, -1           ; <i32> [#uses=1]
  19         br i1 false, label %bb2, label %bb3
  20
  21 bb3:            ; preds = %bb2
  22         ret void
  23 }
  24