xref: /llvm-project/llvm/test/Analysis/BasicAA/2007-10-24-ArgumentsGlobals.ll (revision 05ff7606c9d47135ecf5b69e25b1327634f6fa27)
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,dce -S | FileCheck %s
2
3        %struct.A = type { i32 }
4        %struct.B = type { %struct.A }
5@a = global %struct.B zeroinitializer           ; <ptr> [#uses=2]
6
7define i32 @_Z3fooP1A(ptr %b) {
8; CHECK: %tmp7 = load
9; CHECK: ret i32 %tmp7
10entry:
11        store i32 1, ptr @a, align 8
12        %tmp4 = getelementptr %struct.A, ptr %b, i32 0, i32 0               ;<ptr> [#uses=1]
13        store i32 0, ptr %tmp4, align 4
14        %tmp7 = load i32, ptr @a, align 8           ; <i32> [#uses=1]
15        ret i32 %tmp7
16}
17