New testcase that the constifier should handle

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

diff --git a/test/Transforms/GlobalConstifier/phi-select.llx b/test/Transforms/GlobalConstifier/phi-select.llx
new file mode 100644 (file)
index 0000000..633ecd9
--- /dev/null
+++ b/test/Transforms/GlobalConstifier/phi-select.llx
@@ -0,0 +1,29 @@
+; Test that PHI nodes and select instructions do not necessarily make stuff
+; non-constant.
+
+; RUN: llvm-as < %s | opt -constify | llvm-dis | not grep global
+
+%X = internal global int 4
+%Y = internal global int 5
+
+int %test1(bool %C) {
+       %P = select bool %C, int* %X, int* %Y
+       %V = load int* %P
+       ret int %V
+}
+
+
+int %test2(bool %C) {
+       br bool %C, label %T, label %Cont
+T:
+       br label %Cont
+Cont:
+       %P = phi int* [%X, %0], [%Y, %T]
+       %V = load int* %P
+       ret int %V
+}
+
+
+
+
+