aboutsummaryrefslogtreecommitdiff
path: root/test/Other/2002-03-11-ConstPropCrash.ll
blob: a6d4f5b3dbcc3d895e59705ba7134b0ac00e4b3e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
; When constant propogating terminator instructions, the basic block iterator
; was not updated to refer to the final position of the new terminator.  This
; can be bad, f.e. because constproping a terminator can lead to the 
; destruction of PHI nodes, which invalidates the iterator!
;
; Fixed by adding new arguments to ConstantFoldTerminator
;
; RUN: opt < %s -constprop

define void @build_tree(i32 %ml) {
; <label>:0
        br label %bb2

bb2:            ; preds = %bb2, %0
        %reg137 = phi i32 [ %reg140, %bb2 ], [ 12, %0 ]         ; <i32> [#uses=1]
        %reg138 = phi i32 [ %reg139, %bb2 ], [ 0, %0 ]          ; <i32> [#uses=1]
        %reg139 = add i32 %reg138, 1            ; <i32> [#uses=1]
        %reg140 = add i32 %reg137, -1           ; <i32> [#uses=1]
        br i1 false, label %bb2, label %bb3

bb3:            ; preds = %bb2
        ret void
}