diff options
| -rw-r--r-- | test/Other/2002-03-11-ConstPropCrash.ll | 25 |
1 files changed, 25 insertions, 0 deletions
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 ] ; <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 |