summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll')
-rw-r--r--llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll26
1 files changed, 0 insertions, 26 deletions
diff --git a/llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll b/llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
deleted file mode 100644
index d56a4552b51..00000000000
--- a/llvm/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
+++ /dev/null
@@ -1,26 +0,0 @@
-; 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
-; CHECK: 4 Total Alias Queries Performed
-; CHECK: 3 no alias responses
-; ^ The 1 MayAlias is due to %arg1. Sadly, we don't currently have machinery
-; in place to check whether %arg1 aliases %a, because BasicAA takes care of
-; that for us.
-
-define i32* @test2(i32* %arg1) {
- store i32 0, i32* %arg1
-
- %a = alloca i32, align 4
- ret i32* %a
-}
-
-define void @test() {
- %a = alloca i32, align 4
- %b = alloca i32, align 4
- %c = call i32* @test2(i32* %a)
-
- ret void
-}
OpenPOWER on IntegriCloud