xref: /aosp_15_r20/external/llvm/test/Analysis/BasicAA/noalias-param.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdeclare i32* @captures(i32* %cap) nounwind readonly
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Workerdefine void @no(i32* noalias %a, i32* %b) nounwind {
6*9880d681SAndroid Build Coastguard Workerentry:
7*9880d681SAndroid Build Coastguard Worker  store i32 1, i32* %a
8*9880d681SAndroid Build Coastguard Worker  %cap = call i32* @captures(i32* %a) nounwind readonly
9*9880d681SAndroid Build Coastguard Worker  %l = load i32, i32* %b
10*9880d681SAndroid Build Coastguard Worker  ret void
11*9880d681SAndroid Build Coastguard Worker}
12*9880d681SAndroid Build Coastguard Worker
13*9880d681SAndroid Build Coastguard Worker; CHECK: NoAlias:      i32* %a, i32* %b
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Workerdefine void @yes(i32* %c, i32* %d) nounwind {
16*9880d681SAndroid Build Coastguard Workerentry:
17*9880d681SAndroid Build Coastguard Worker  store i32 1, i32* %c
18*9880d681SAndroid Build Coastguard Worker  %cap = call i32* @captures(i32* %c) nounwind readonly
19*9880d681SAndroid Build Coastguard Worker  %l = load i32, i32* %d
20*9880d681SAndroid Build Coastguard Worker  ret void
21*9880d681SAndroid Build Coastguard Worker}
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias:     i32* %c, i32* %d
24