test/Transforms/SCCP/loadtest.ll

   1 ; This test makes sure that these instructions are properly constant propagated.
   2
   3 target datalayout = "e-p:32:32"
   4
   5 ; RUN: opt < %s -sccp -S | not grep load
   6
   7
   8 @X = constant i32 42            ; <i32*> [#uses=1]
   9 @Y = constant [2 x { i32, float }] [ { i32, float } { i32 12, float 1.000000e+00 }, { i32, float } { i32 37, float 0x3FF3B2FEC0000000 } ]               ; <[2 x { i32, float }]*> [#uses=2]
  10
  11 define i32 @test1() {
  12         %B = load i32* @X               ; <i32> [#uses=1]
  13         ret i32 %B
  14 }
  15
  16 define float @test2() {
  17         %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 1, i32 1                ; <float*> [#uses=1]
  18         %B = load float* %A             ; <float> [#uses=1]
  19         ret float %B
  20 }
  21
  22 define i32 @test3() {
  23         %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 0, i32 0                ; <i32*> [#uses=1]
  24         %B = load i32* %A
  25         ret i32 %B
  26 }
  27
  28 define i8 @test4() {
  29         %A = bitcast i32* @X to i8*
  30         %B = load i8* %A
  31         ret i8 %B
  32 }
  33