| ; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s |
| ; CHECK: Just Ref: call void @ro() <-> call void @f0() |
| declare void @ro() readonly |
| ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i1 false) <-> call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i1 false) |
| ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i1 false) <-> call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i1 false) |
| declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1) nounwind |
| call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i1 false) |
| call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i1 false) |