1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s 2 3declare i32* @captures(i32* %cap) nounwind readonly 4 5define void @no(i32* noalias %a, i32* %b) nounwind { 6entry: 7 store i32 1, i32* %a 8 %cap = call i32* @captures(i32* %a) nounwind readonly 9 %l = load i32, i32* %b 10 ret void 11} 12 13; CHECK: NoAlias: i32* %a, i32* %b 14 15define void @yes(i32* %c, i32* %d) nounwind { 16entry: 17 store i32 1, i32* %c 18 %cap = call i32* @captures(i32* %c) nounwind readonly 19 %l = load i32, i32* %d 20 ret void 21} 22 23; CHECK: MayAlias: i32* %c, i32* %d 24