test/Transforms/InstCombine/load.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ;
   3 ; RUN: opt < %s -instcombine -S | not grep load
   4
   5 @X = constant i32 42            ; <i32*> [#uses=2]
   6 @X2 = constant i32 47           ; <i32*> [#uses=1]
   7 @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]
   8 @Z = constant [2 x { i32, float }] zeroinitializer              ; <[2 x { i32, float }]*> [#uses=1]
   9
  10 define i32 @test1() {
  11         %B = load i32* @X               ; <i32> [#uses=1]
  12         ret i32 %B
  13 }
  14
  15 define float @test2() {
  16         %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 1, i32 1                ; <float*> [#uses=1]
  17         %B = load float* %A             ; <float> [#uses=1]
  18         ret float %B
  19 }
  20
  21 define i32 @test3() {
  22         %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 0, i32 0                ; <i32*> [#uses=1]
  23         %B = load i32* %A               ; <i32> [#uses=1]
  24         ret i32 %B
  25 }
  26
  27 define i32 @test4() {
  28         %A = getelementptr [2 x { i32, float }]* @Z, i64 0, i64 1, i32 0                ; <i32*> [#uses=1]
  29         %B = load i32* %A               ; <i32> [#uses=1]
  30         ret i32 %B
  31 }
  32
  33 define i32 @test5(i1 %C) {
  34         %Y = select i1 %C, i32* @X, i32* @X2            ; <i32*> [#uses=1]
  35         %Z = load i32* %Y               ; <i32> [#uses=1]
  36         ret i32 %Z
  37 }
  38
  39 define i32 @test7(i32 %X) {
  40         %V = getelementptr i32* null, i32 %X            ; <i32*> [#uses=1]
  41         %R = load i32* %V               ; <i32> [#uses=1]
  42         ret i32 %R
  43 }
  44
  45 define i32 @test8(i32* %P) {
  46         store i32 1, i32* %P
  47         %X = load i32* %P               ; <i32> [#uses=1]
  48         ret i32 %X
  49 }
  50
  51 define i32 @test9(i32* %P) {
  52         %X = load i32* %P               ; <i32> [#uses=1]
  53         %Y = load i32* %P               ; <i32> [#uses=1]
  54         %Z = sub i32 %X, %Y             ; <i32> [#uses=1]
  55         ret i32 %Z
  56 }
  57
  58 define i32 @test10(i1 %C.upgrd.1, i32* %P, i32* %Q) {
  59         br i1 %C.upgrd.1, label %T, label %F
  60 T:              ; preds = %0
  61         store i32 1, i32* %Q
  62         store i32 0, i32* %P
  63         br label %C
  64 F:              ; preds = %0
  65         store i32 0, i32* %P
  66         br label %C
  67 C:              ; preds = %F, %T
  68         %V = load i32* %P               ; <i32> [#uses=1]
  69         ret i32 %V
  70 }
  71
  72 define double @test11(double* %p) {
  73   %t0 = getelementptr double* %p, i32 1
  74   store double 2.0, double* %t0
  75   %t1 = getelementptr double* %p, i32 1
  76   %x = load double* %t1
  77   ret double %x
  78 }