blob: 12de51172739763165cda9c6fc9f649a8f6f34ed [file] [log] [blame]
Dan Gohmanf2f6ce62009-09-11 18:01:28 +00001; RUN: opt < %s -argpromotion -instcombine -S | not grep load
Kenneth Uildriksb908f8a2009-11-03 15:29:06 +00002target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
Chris Lattner95481b12004-03-08 00:58:19 +00003
Tanya Lattnerec9a35a2008-03-01 09:15:35 +00004%QuadTy = type { i32, i32, i32, i32 }
5@G = constant %QuadTy {
6 i32 0,
7 i32 0,
8 i32 17,
9 i32 25 } ; <%QuadTy*> [#uses=1]
Chris Lattner95481b12004-03-08 00:58:19 +000010
Tanya Lattnerec9a35a2008-03-01 09:15:35 +000011define internal i32 @test(%QuadTy* %P) {
12 %A = getelementptr %QuadTy* %P, i64 0, i32 3 ; <i32*> [#uses=1]
13 %B = getelementptr %QuadTy* %P, i64 0, i32 2 ; <i32*> [#uses=1]
14 %a = load i32* %A ; <i32> [#uses=1]
15 %b = load i32* %B ; <i32> [#uses=1]
16 %V = add i32 %a, %b ; <i32> [#uses=1]
17 ret i32 %V
Chris Lattner95481b12004-03-08 00:58:19 +000018}
19
Tanya Lattnerec9a35a2008-03-01 09:15:35 +000020define i32 @caller() {
21 %V = call i32 @test( %QuadTy* @G ) ; <i32> [#uses=1]
22 ret i32 %V
Chris Lattner95481b12004-03-08 00:58:19 +000023}
Tanya Lattnerec9a35a2008-03-01 09:15:35 +000024