From 5fdd902b55a19a556cfc90855a014d7f8a9eaea2 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 12 Oct 2003 22:26:42 +0000 Subject: [PATCH] new testcase git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9064 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/LoopSimplify/single-backedge.ll | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 test/Transforms/LoopSimplify/single-backedge.ll diff --git a/test/Transforms/LoopSimplify/single-backedge.ll b/test/Transforms/LoopSimplify/single-backedge.ll new file mode 100644 index 00000000000..63fa33a9583 --- /dev/null +++ b/test/Transforms/LoopSimplify/single-backedge.ll @@ -0,0 +1,17 @@ +; The loop canonicalization pass should guarantee that there is one backedge +; for all loops. This allows the -indvars pass to recognize the %IV +; induction variable in this testcase. + +; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar + +int %test(bool %C) { + br label %Loop +Loop: + %IV = phi uint [0, %0], [%IV2, %BE1], [%IV2, %BE2] + %IV2 = add uint %IV, 2 + br bool %C, label %BE1, label %BE2 +BE1: + br label %Loop +BE2: + br label %Loop +}