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 -globalopt -S | not grep global
   5
   6 @X = internal global i32 4              ; <i32*> [#uses=2]
   7 @Y = internal global i32 5              ; <i32*> [#uses=2]
   8
   9 define i32 @test1(i1 %C) {
  10         %P = select i1 %C, i32* @X, i32* @Y             ; <i32*> [#uses=1]
  11         %V = load i32* %P               ; <i32> [#uses=1]
  12         ret i32 %V
  13 }
  14
  15 define i32 @test2(i1 %C) {
  16 ; <label>:0
  17         br i1 %C, label %T, label %Cont
  18
  19 T:              ; preds = %0
  20         br label %Cont
  21
  22 Cont:           ; preds = %T, %0
  23         %P = phi i32* [ @X, %0 ], [ @Y, %T ]            ; <i32*> [#uses=1]
  24         %V = load i32* %P               ; <i32> [#uses=1]
  25         ret i32 %V
  26 }
  27
  28
  29
  30
  31