1; This testcase ensures that CFL AA answers queries soundly when callee tries
2; to escape its parameters
3
4; RUN: opt < %s -disable-basicaa -cfl-steens-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
5; RUN: opt < %s -aa-pipeline=cfl-steens-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
6
7declare void @opaque(i32*)
8define void @escape_arg(i32* %arg) {
9	call void @opaque(i32* %arg)
10	ret void
11}
12; CHECK-LABEL: Function: test_arg_escape
13; CHECK: NoAlias: i32* %a, i32** %x
14; CHECK: NoAlias: i32* %b, i32** %x
15; CHECK: NoAlias: i32* %a, i32* %b
16; CHECK: NoAlias: i32* %c, i32** %x
17; CHECK: NoAlias: i32* %a, i32* %c
18; CHECK: NoAlias: i32* %b, i32* %c
19; CHECK: MayAlias: i32* %a, i32* %d
20; CHECK: MayAlias: i32* %b, i32* %d
21; CHECK: NoAlias: i32* %c, i32* %d
22define void @test_arg_escape(i32** %x) {
23  %a = alloca i32, align 4
24  %b = alloca i32, align 4
25  %c = alloca i32, align 4
26  call void @escape_arg(i32* %a)
27  call void @escape_arg(i32* %b)
28  %d = load i32*, i32** %x
29
30  ret void
31}