34 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes=gvn -S -disable-verify | FileCheck %s2 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 void7}8 9define void @bar(ptr %y, ptr %z) {10 %x = alloca i811 call void @foo(ptr %x, ptr %y)12 %t = load i8, ptr %x13 store i8 %t, ptr %y14; CHECK: store i8 %t, ptr %y15 ret void16}17 18 19define i32 @foo2() {20 %foo = alloca i3221 call void @bar2(ptr %foo)22 %t0 = load i32, ptr %foo, align 423; CHECK: %t0 = load i32, ptr %foo, align 424 ret i32 %t025}26 27define void @bar2(ptr %foo) {28 store i32 0, ptr %foo, align 429 tail call void @llvm.dbg.value(metadata !{}, i64 0, metadata !{}, metadata !{})30 ret void31}32 33declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone34