test/Transforms/SCCP/apint-ipsccp4.ll

   1 ; This test makes sure that these instructions are properly constant propagated.
   2
   3 ; RUN: opt < %s -ipsccp -S | not grep load
   4 ; RUN: opt < %s -ipsccp -S | not grep add
   5 ; RUN: opt < %s -ipsccp -S | not grep phi
   6
   7
   8 @Y = constant [2 x { i212, float }] [ { i212, float } { i212 12, float 1.0 },
   9                                      { i212, float } { i212 37, float 2.0 } ]
  10
  11 define internal float @test2() {
  12         %A = getelementptr [2 x { i212, float}], [2 x { i212, float}]* @Y, i32 0, i32 1, i32 1
  13         %B = load float, float* %A
  14         ret float %B
  15 }
  16
  17 define internal float  @test3() {
  18         %A = getelementptr [2 x { i212, float}], [2 x { i212, float}]* @Y, i32 0, i32 0, i32 1
  19         %B = load float, float* %A
  20         ret float %B
  21 }
  22
  23 define internal float @test()
  24 {
  25    %A = call float @test2()
  26    %B = call float @test3()
  27
  28    %E = fdiv float %B, %A
  29    ret float %E
  30 }
  31
  32 define float @All()
  33 {
  34   %A = call float @test()
  35   %B = fcmp oge float %A, 1.0
  36   br i1 %B, label %T, label %F
  37 T:
  38   %C = fadd float %A, 1.0
  39   br label %exit
  40 F:
  41   %D = fadd float %A, 2.0
  42   br label %exit
  43 exit:
  44   %E = phi float [%C, %T], [%D, %F]
  45   ret float %E
  46 }
  47
  48
  49