New testcase that the constifier should handle

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15734 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2004-08-14 20:47:56 +00:00
parent 0c3bba3d9c
commit 9a8e008751

View File

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