From a22ef48fee87843f53237a4812a4512e9820bde8 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 10 Mar 2004 21:41:47 +0000 Subject: [PATCH] New testcase for PR284: [indvars] Induction variable analysis violates LLVM invariants git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12274 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../2004-03-10-PHIInsertionBug.ll | 27 +++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll diff --git a/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll b/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll new file mode 100644 index 00000000000..dda6d9d4d20 --- /dev/null +++ b/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll @@ -0,0 +1,27 @@ +; RUN: llvm-as < %s | opt -indvars -disable-output + +implementation ; Functions: + +void %test() { + br label %endif.0.i + +endif.0.i: ; preds = %then.0.i + br bool false, label %then.3.i, label %endif.3.i + +then.3.i: ; preds = %endif.0.i + br label %endif.3.i + +endif.3.i: ; preds = %endif.0.i, %then.3.i + %inxm.0.i = phi int [ 8, %then.3.i ], [ 0, %endif.0.i ] + %doinner.1.i = phi int [ 0, %then.3.i ], [ 0, %endif.0.i ] + br label %loopentry.2.i + +loopentry.2.i: ; preds = %endif.3.i, %no_exit.2.i + %inxk.0.i = phi int [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ] + br label %no_exit.2.i + +no_exit.2.i: ; preds = %loopentry.2.i + %tmp.210.i = sub int %inxk.0.i, %inxm.0.i + %tmp.213.i = add int %tmp.210.i, 0 + br label %loopentry.2.i +} -- 2.34.1