27 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2 3 4; CHECK: Just Ref: call void @ro() <-> call void @f0()5 6declare void @f0()7declare void @ro() readonly8 9define void @test0() {10 call void @f0()11 call void @ro()12 ret void13}14 15; CHECK: NoModRef: call void @llvm.memset.p0.i64(ptr @A, i8 0, i64 1, i1 false) <-> call void @llvm.memset.p0.i64(ptr @B, i8 0, i64 1, i1 false)16; CHECK: NoModRef: call void @llvm.memset.p0.i64(ptr @B, i8 0, i64 1, i1 false) <-> call void @llvm.memset.p0.i64(ptr @A, i8 0, i64 1, i1 false)17 18declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind19 20@A = external global i821@B = external global i822define void @test1() {23 call void @llvm.memset.p0.i64(ptr @A, i8 0, i64 1, i1 false)24 call void @llvm.memset.p0.i64(ptr @B, i8 0, i64 1, i1 false)25 ret void26}27