From 9a8e0087514e4b8de20b555ace77e3b191fa1ade Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 14 Aug 2004 20:47:56 +0000 Subject: [PATCH] New testcase that the constifier should handle git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15734 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../GlobalConstifier/phi-select.llx | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 test/Transforms/GlobalConstifier/phi-select.llx diff --git a/test/Transforms/GlobalConstifier/phi-select.llx b/test/Transforms/GlobalConstifier/phi-select.llx new file mode 100644 index 00000000000..633ecd920eb --- /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 +} + + + + +