1; This testcase ensures that CFL AA handles assignment cycles correctly
2
3; RUN: opt < %s -aa-pipeline=cfl-anders-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
4
5; CHECK-LABEL: Function: test_cycle
6; CHECK: NoAlias: i64* %a, i64** %b
7; CHECK: NoAlias: i64* %a, i64*** %c
8; CHECK: NoAlias: i64** %b, i64*** %c
9; CHECK: NoAlias: i64* %a, i64**** %d
10; CHECK: NoAlias: i64** %b, i64**** %d
11; CHECK: NoAlias: i64*** %c, i64**** %d
12; CHECK: NoAlias: i64* %a, i64* %e
13; CHECK: NoAlias: i64** %b, i64* %e
14; CHECK: NoAlias: i64*** %c, i64* %e
15; CHECK: MayAlias: i64* %a, i64* %f
16; CHECK: NoAlias: i64** %b, i64* %f
17; CHECK: NoAlias: i64*** %c, i64* %f
18; CHECK: MayAlias: i64**** %d, i64* %f
19; CHECK: MayAlias: i64* %e, i64* %f
20define void @test_cycle() {
21  %a = alloca i64, align 8
22  %b = alloca i64*, align 8
23  %c = alloca i64**, align 8
24  %d = alloca i64***, align 8
25  load i64, i64* %a
26  store i64* %a, i64** %b
27  store i64** %b, i64*** %c
28  store i64*** %c, i64**** %d
29
30  %e = bitcast i64**** %d to i64*
31  load i64, i64* %e
32  store i64* %e, i64** %b
33  %f = load i64*, i64** %b
34  load i64, i64* %f
35  ret void
36}
37