21 lines · plain
1; RUN: opt < %s -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s2 3; CHECK-LABEL: test4; CHECK: NoAlias: i8* %p.minus.2, i8* %p.plus.25; CHECK: MayAlias: i8* %p.idx.maybeneg, i8* %p.minus.26; CHECK: MayAlias: i8* %p.idx.maybeneg, i8* %p.plus.27; CHECK: NoAlias: i8* %p.idx.nneg, i8* %p.minus.28; CHECK: MayAlias: i8* %p.idx.nneg, i8* %p.plus.29; CHECK: MustAlias: i8* %p.idx.maybeneg, i8* %p.idx.nneg10define void @test(ptr %p, i64 %idx) {11 %p.minus.2 = getelementptr i8, ptr %p, i64 -212 %p.plus.2 = getelementptr i8, ptr %p, i64 213 %p.idx.maybeneg = getelementptr inbounds i8, ptr %p, i64 %idx14 %p.idx.nneg = getelementptr nuw nusw i8, ptr %p, i64 %idx15 load i8, ptr %p.minus.216 load i8, ptr %p.plus.217 load i8, ptr %p.idx.maybeneg18 load i8, ptr %p.idx.nneg19 ret void20}21