28 lines · plain
1; Test that PHI nodes and select instructions do not necessarily make stuff2; non-constant.3 4; RUN: opt < %s -passes=globalopt -S | FileCheck %s5; CHECK-NOT: global6 7@X = internal global i32 4 ; <ptr> [#uses=2]8@Y = internal global i32 5 ; <ptr> [#uses=2]9 10define i32 @test1(i1 %C) {11 %P = select i1 %C, ptr @X, ptr @Y ; <ptr> [#uses=1]12 %V = load i32, ptr %P ; <i32> [#uses=1]13 ret i32 %V14}15 16define i32 @test2(i1 %C) {17; <label>:018 br i1 %C, label %T, label %Cont19 20T: ; preds = %021 br label %Cont22 23Cont: ; preds = %T, %024 %P = phi ptr [ @X, %0 ], [ @Y, %T ] ; <ptr> [#uses=1]25 %V = load i32, ptr %P ; <i32> [#uses=1]26 ret i32 %V27}28