New feature test for something we have done for a long time

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3914 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/SimplifyCFG/branch-fold-test.ll b/test/Transforms/SimplifyCFG/branch-fold-test.ll
new file mode 100644 (file)
index 0000000..207eaa9
--- /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
+}