From 81ba70445fce530384a8e7e36be56b5cb804fc30 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 11 Mar 2002 22:09:43 +0000 Subject: New testcase for failure git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1857 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Other/2002-03-11-ConstPropCrash.ll | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 test/Other/2002-03-11-ConstPropCrash.ll (limited to 'test/Other/2002-03-11-ConstPropCrash.ll') diff --git a/test/Other/2002-03-11-ConstPropCrash.ll b/test/Other/2002-03-11-ConstPropCrash.ll new file mode 100644 index 0000000000..6eca639378 --- /dev/null +++ b/test/Other/2002-03-11-ConstPropCrash.ll @@ -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 ] ; [#uses=2] + %reg138 = phi uint [ %reg139, %bb2 ], [ 0, %0 ] ; [#uses=3] + %reg139 = add uint %reg138, 1 ; [#uses=1] + %reg140 = add int %reg137, -1 ; [#uses=1] + br bool false, label %bb2, label %bb3 + +bb3: + ret void +end -- cgit v1.2.3