1 ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s 2 3 declare i32* @captures(i32* %cap) nounwind readonly 4 5 define void @no(i32* noalias %a, i32* %b) nounwind { 6 entry: 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 15 define void @yes(i32* %c, i32* %d) nounwind { 16 entry: 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
