llvm/test/Transforms/GlobalOpt/phi-select.ll

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