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@GLOBAL = internal constant [4 x i32] zeroinitializer 11 12 13define i32 @test1() { 14 %B = load i32* @X ; <i32> [#uses=1] 15 ret i32 %B 16} 17 18define float @test2() { 19 %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 1, i32 1 ; <float*> [#uses=1] 20 %B = load float* %A ; <float> [#uses=1] 21 ret float %B 22} 23 24define i32 @test3() { 25 %A = getelementptr [2 x { i32, float }]* @Y, i64 0, i64 0, i32 0 ; <i32*> [#uses=1] 26 %B = load i32* %A ; <i32> [#uses=1] 27 ret i32 %B 28} 29 30define i32 @test4() { 31 %A = getelementptr [2 x { i32, float }]* @Z, i64 0, i64 1, i32 0 ; <i32*> [#uses=1] 32 %B = load i32* %A ; <i32> [#uses=1] 33 ret i32 %B 34} 35 36define i32 @test5(i1 %C) { 37 %Y = select i1 %C, i32* @X, i32* @X2 ; <i32*> [#uses=1] 38 %Z = load i32* %Y ; <i32> [#uses=1] 39 ret i32 %Z 40} 41 42define i32 @test7(i32 %X) { 43 %V = getelementptr i32* null, i32 %X ; <i32*> [#uses=1] 44 %R = load i32* %V ; <i32> [#uses=1] 45 ret i32 %R 46} 47 48define i32 @test8(i32* %P) { 49 store i32 1, i32* %P 50 %X = load i32* %P ; <i32> [#uses=1] 51 ret i32 %X 52} 53 54define i32 @test9(i32* %P) { 55 %X = load i32* %P ; <i32> [#uses=1] 56 %Y = load i32* %P ; <i32> [#uses=1] 57 %Z = sub i32 %X, %Y ; <i32> [#uses=1] 58 ret i32 %Z 59} 60 61define i32 @test10(i1 %C.upgrd.1, i32* %P, i32* %Q) { 62 br i1 %C.upgrd.1, label %T, label %F 63T: ; preds = %0 64 store i32 1, i32* %Q 65 store i32 0, i32* %P 66 br label %C 67F: ; preds = %0 68 store i32 0, i32* %P 69 br label %C 70C: ; preds = %F, %T 71 %V = load i32* %P ; <i32> [#uses=1] 72 ret i32 %V 73} 74 75define double @test11(double* %p) { 76 %t0 = getelementptr double* %p, i32 1 77 store double 2.0, double* %t0 78 %t1 = getelementptr double* %p, i32 1 79 %x = load double* %t1 80 ret double %x 81} 82 83define i32 @test12(i32* %P) { 84 %A = alloca i32 85 store i32 123, i32* %A 86 ; Cast the result of the load not the source 87 %Q = bitcast i32* %A to i32* 88 %V = load i32* %Q 89 ret i32 %V 90} 91 92define <16 x i8> @test13(<2 x i64> %x) { 93entry: 94 %tmp = load <16 x i8> * bitcast ([4 x i32]* @GLOBAL to <16 x i8>*) 95 ret <16 x i8> %tmp 96} 97 98 99