[llvm] r273229 - [CFLAA] Be more aggressive with interprocedural analysis.
George Burgess IV via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 20 18:42:47 PDT 2016
Author: gbiv
Date: Mon Jun 20 20:42:47 2016
New Revision: 273229
URL: http://llvm.org/viewvc/llvm-project?rev=273229&view=rev
Log:
[CFLAA] Be more aggressive with interprocedural analysis.
This patch makes us perform interprocedural analysis on functions that
don't have internal linkage. It also removes a test that should've been
deleted in an earlier commit (since other tests now cover everything
that the newly-removed test covers).
Patch by Jia Chen.
Differential Revision: http://reviews.llvm.org/D21513
Removed:
llvm/trunk/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
Modified:
llvm/trunk/lib/Analysis/CFLAliasAnalysis.cpp
llvm/trunk/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll
Modified: llvm/trunk/lib/Analysis/CFLAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/CFLAliasAnalysis.cpp?rev=273229&r1=273228&r2=273229&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/CFLAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/CFLAliasAnalysis.cpp Mon Jun 20 20:42:47 2016
@@ -377,7 +377,7 @@ public:
}
static bool isFunctionExternal(Function *Fn) {
- return Fn->isDeclaration() || !Fn->hasLocalLinkage();
+ return !Fn->hasExactDefinition();
}
bool tryInterproceduralAnalysis(CallSite CS,
Removed: llvm/trunk/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll?rev=273228&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll (original)
+++ llvm/trunk/test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll (removed)
@@ -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
-}
Modified: llvm/trunk/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll?rev=273229&r1=273228&r2=273229&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll (original)
+++ llvm/trunk/test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll Mon Jun 20 20:42:47 2016
@@ -4,10 +4,6 @@
; RUN: opt < %s -disable-basicaa -cfl-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -aa-pipeline=cfl-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
-; We have to xfail this since @return_arg_callee is treated as an opaque
-; function, and the anlysis couldn't prove that %b and %c are not aliases
-; XFAIL: *
-
define i32* @return_arg_callee(i32* %arg1, i32* %arg2) {
ret i32* %arg1
}
@@ -22,4 +18,4 @@ define void @test_return_arg() {
%c = call i32* @return_arg_callee(i32* %a, i32* %b)
ret void
-}
\ No newline at end of file
+}
More information about the llvm-commits
mailing list