New testcase for failure

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1857 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-03-11 22:09:43 +00:00
parent cb05e78cb7
commit 81ba70445f

View File

@ -0,0 +1,25 @@
; 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: as < %s | opt -constprop
implementation
void "build_tree"(int %ml)
begin
br label %bb2
bb2:
%reg137 = phi int [ %reg140, %bb2 ], [ 12, %0 ] ; <int> [#uses=2]
%reg138 = phi uint [ %reg139, %bb2 ], [ 0, %0 ] ; <uint> [#uses=3]
%reg139 = add uint %reg138, 1 ; <uint> [#uses=1]
%reg140 = add int %reg137, -1 ; <int> [#uses=1]
br bool false, label %bb2, label %bb3
bb3:
ret void
end