1 ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& FileCheck %s 2 3 4 ; CHECK: Just Ref: call void @ro() <-> call void @f0() 5 6 declare void @f0() 7 declare void @ro() readonly 8 9 define void @test0() { 10 call void @f0() 11 call void @ro() 12 ret void 13 } 14 15 ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i32 1, i1 false) <-> call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i32 1, i1 false) 16 ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i32 1, i1 false) <-> call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i32 1, i1 false) 17 18 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind 19 20 @A = external global i8 21 @B = external global i8 22 define void @test1() { 23 call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i32 1, i1 false) 24 call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i32 1, i1 false) 25 ret void 26 } 27
