maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[OperandBundles] Have GlobalsModRef play nice with operand bundles 

A call site's use of a Value might not correspond to an argument
operand but to a bundle operand.

llvm-svn: 256329
This commit is contained in:
David Majnemer 2015-12-23 09:58:46 +00:00
parent 63ad9e0543
commit 2bc2538470
3 changed files with 17 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Analysis/AliasAnalysisEvaluator.cpp
View File

@ -167,10 +167,9 @@ bool AAEval::runOnFunction(Function &F) {
if (!isa<Function>(Callee) && isInterestingPointer(Callee))
Pointers.insert(Callee);
// Consider formals.
for (CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end();
AI != AE; ++AI)
if (isInterestingPointer(*AI))
Pointers.insert(*AI);
for (Use &DataOp : CS.data_ops())
if (isInterestingPointer(DataOp))
Pointers.insert(DataOp);
CallSites.insert(CS);
} else {
// Consider all operands.

6
llvm/lib/Analysis/GlobalsModRef.cpp
View File

@ -353,12 +353,12 @@ bool GlobalsAAResult::AnalyzeUsesOfPointer(Value *V,
} else if (auto CS = CallSite(I)) {
// Make sure that this is just the function being called, not that it is
// passing into the function.
if (!CS.isCallee(&U)) {
if (CS.isDataOperand(&U)) {
// Detect calls to free.
if (isFreeCall(I, &TLI)) {
if (CS.isArgOperand(&U) && isFreeCall(I, &TLI)) {
if (Writers)
Writers->insert(CS->getParent()->getParent());
} else if (CS.doesNotCapture(CS.getArgumentNo(&U))) {
} else if (CS.doesNotCapture(CS.getDataOperandNo(&U))) {
Function *ParentF = CS->getParent()->getParent();
// A nocapture argument may be read from or written to, but does not
// escape unless the call can somehow recurse.

12
llvm/test/Analysis/GlobalsModRef/nocapture.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -globals-aa -aa-eval -print-all-alias-modref-info -S 2>&1 | FileCheck %s
; RUN: opt < %s -globals-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.10.0"
@ -45,3 +45,13 @@ entry:
store i32 %add, i32* %q, align 4
ret i32 4
}
declare void @g3()
; CHECK-LABEL: Function: f3
; CHECK: NoAlias: i32* %p, i32* @b
define void @f3(i32* nocapture readonly %p) {
entry:
tail call void @g3() [ "deopt"(i32* @b, i32 *%p) ]
unreachable
}