diff options
Diffstat (limited to 'test/Analysis/CFLAliasAnalysis/arguments.ll')
-rw-r--r-- | test/Analysis/CFLAliasAnalysis/arguments.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Analysis/CFLAliasAnalysis/arguments.ll b/test/Analysis/CFLAliasAnalysis/arguments.ll new file mode 100644 index 0000000..f3e6679 --- /dev/null +++ b/test/Analysis/CFLAliasAnalysis/arguments.ll @@ -0,0 +1,15 @@ +; This testcase ensures that CFL AA gives conservative answers on variables +; that involve arguments. + +; RUN: opt < %s -cfl-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s + +; CHECK: Function: test + +define void @test(i1 %c, i32* %arg1, i32* %arg2) { + ; CHECK: 6 Total Alias Queries Performed + ; CHECK: 3 no alias responses + %a = alloca i32, align 4 + %b = select i1 %c, i32* %arg1, i32* %arg2 + + ret void +} |