diff --git a/test/Transforms/SimplifyCFG/branch-fold-test.ll b/test/Transforms/SimplifyCFG/branch-fold-test.ll new file mode 100644 index 00000000000..207eaa9a2eb --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-fold-test.ll @@ -0,0 +1,19 @@ +; This test ensures that the simplifycfg pass continues to constant fold +; terminator instructions. + +; RUN: if as < %s | opt -simplifycfg | grep br +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +int %test(int %A, int %B) { +J: + %C = add int %A, 12 + br bool true, label %L, label %K ; K is dead! +L: + %D = add int %C, %B + ret int %D +K: + %E = add int %C, %B + ret int %E +}