blob: 59d7bb3bcfbe3241a68172f41e64553af3cf6acf [file] [log] [blame]
Chris Lattner8c4b0d02003-06-26 05:05:51 +00001; This test makes sure that these instructions are properly eliminated.
2;
Dan Gohman9737a632009-09-08 16:50:01 +00003; RUN: opt %s -instcombine | llvm-dis | not grep load
Chris Lattner8c4b0d02003-06-26 05:05:51 +00004
Tanya Lattner8bf97c22008-03-25 04:26:08 +00005@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]
Chris Lattner8c4b0d02003-06-26 05:05:51 +00009
Tanya Lattner8bf97c22008-03-25 04:26:08 +000010define i32 @test1() {
11 %B = load i32* @X ; <i32> [#uses=1]
12 ret i32 %B
Chris Lattner3a451492004-05-27 17:43:33 +000013}
14
Tanya Lattner8bf97c22008-03-25 04:26:08 +000015define 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]
Chris Lattner8c4b0d02003-06-26 05:05:51 +000018 ret float %B
19}
20
Tanya Lattner8bf97c22008-03-25 04:26:08 +000021define 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
Chris Lattner8c4b0d02003-06-26 05:05:51 +000025}
26
Tanya Lattner8bf97c22008-03-25 04:26:08 +000027define 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
Chris Lattner9b387432004-05-27 17:28:55 +000031}
Chris Lattner29dd8242004-09-19 18:43:01 +000032
Tanya Lattner8bf97c22008-03-25 04:26:08 +000033define 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
Chris Lattner29dd8242004-09-19 18:43:01 +000037}
38
Tanya Lattner8bf97c22008-03-25 04:26:08 +000039define 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
Chris Lattnerda96eeb2005-05-01 04:24:15 +000043}
Chris Lattner4cd474e2005-09-12 21:59:22 +000044
Tanya Lattner8bf97c22008-03-25 04:26:08 +000045define i32 @test8(i32* %P) {
46 store i32 1, i32* %P
47 %X = load i32* %P ; <i32> [#uses=1]
48 ret i32 %X
Chris Lattner4cd474e2005-09-12 21:59:22 +000049}
Chris Lattner20c1cc02005-09-12 22:19:46 +000050
Tanya Lattner8bf97c22008-03-25 04:26:08 +000051define 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
Chris Lattner20c1cc02005-09-12 22:19:46 +000056}
Chris Lattner42a6cef2005-09-12 23:22:17 +000057
Tanya Lattner8bf97c22008-03-25 04:26:08 +000058define i32 @test10(i1 %C.upgrd.1, i32* %P, i32* %Q) {
59 br i1 %C.upgrd.1, label %T, label %F
60T: ; preds = %0
61 store i32 1, i32* %Q
62 store i32 0, i32* %P
Chris Lattner42a6cef2005-09-12 23:22:17 +000063 br label %C
Tanya Lattner8bf97c22008-03-25 04:26:08 +000064F: ; preds = %0
65 store i32 0, i32* %P
Chris Lattner42a6cef2005-09-12 23:22:17 +000066 br label %C
Tanya Lattner8bf97c22008-03-25 04:26:08 +000067C: ; preds = %F, %T
68 %V = load i32* %P ; <i32> [#uses=1]
69 ret i32 %V
Chris Lattner42a6cef2005-09-12 23:22:17 +000070}
Dan Gohmanbc027842008-10-15 23:19:35 +000071
72define 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}