xref: /llvm-project/llvm/test/Analysis/GlobalsModRef/pr12351.ll (revision 47f0b6630c78ab52c2197ec5e1c2d13a6acffed1) 
1; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes=gvn -S -disable-verify | FileCheck %s
2
3declare void @llvm.memcpy.p0.p0.i32(ptr, ptr, i32, i1)
4define void @foo(ptr %x, ptr %y) {
5  call void @llvm.memcpy.p0.p0.i32(ptr %x, ptr %y, i32 1, i1 false);
6  ret void
7}
8
9define void @bar(ptr %y, ptr %z) {
10  %x = alloca i8
11  call void @foo(ptr %x, ptr %y)
12  %t = load i8, ptr %x
13  store i8 %t, ptr %y
14; CHECK: store i8 %t, ptr %y
15  ret void
16}
17
18
19define i32 @foo2() {
20  %foo = alloca i32
21  call void @bar2(ptr %foo)
22  %t0 = load i32, ptr %foo, align 4
23; CHECK: %t0 = load i32, ptr %foo, align 4
24  ret i32 %t0
25}
26
27define void @bar2(ptr %foo)  {
28  store i32 0, ptr %foo, align 4
29  tail call void @llvm.dbg.value(metadata !{}, i64 0, metadata !{}, metadata !{})
30  ret void
31}
32
33declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
34