1*9880d681SAndroid Build Coastguard Worker; Test that PHI nodes and select instructions do not necessarily make stuff 2*9880d681SAndroid Build Coastguard Worker; non-constant. 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -globalopt -S | FileCheck %s 5*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: global 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker@X = internal global i32 4 ; <i32*> [#uses=2] 8*9880d681SAndroid Build Coastguard Worker@Y = internal global i32 5 ; <i32*> [#uses=2] 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i1 %C) { 11*9880d681SAndroid Build Coastguard Worker %P = select i1 %C, i32* @X, i32* @Y ; <i32*> [#uses=1] 12*9880d681SAndroid Build Coastguard Worker %V = load i32, i32* %P ; <i32> [#uses=1] 13*9880d681SAndroid Build Coastguard Worker ret i32 %V 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerdefine i32 @test2(i1 %C) { 17*9880d681SAndroid Build Coastguard Worker; <label>:0 18*9880d681SAndroid Build Coastguard Worker br i1 %C, label %T, label %Cont 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard WorkerT: ; preds = %0 21*9880d681SAndroid Build Coastguard Worker br label %Cont 22*9880d681SAndroid Build Coastguard Worker 23*9880d681SAndroid Build Coastguard WorkerCont: ; preds = %T, %0 24*9880d681SAndroid Build Coastguard Worker %P = phi i32* [ @X, %0 ], [ @Y, %T ] ; <i32*> [#uses=1] 25*9880d681SAndroid Build Coastguard Worker %V = load i32, i32* %P ; <i32> [#uses=1] 26*9880d681SAndroid Build Coastguard Worker ret i32 %V 27*9880d681SAndroid Build Coastguard Worker} 28