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 +}