Don't analyze arguments already marked 'nocapture'.

llvm-svn: 61532
This commit is contained in:
Duncan Sands 2008-12-31 18:08:59 +00:00
parent 5347fb20ad
commit df128eb477
3 changed files with 13 additions and 1 deletions

View File

@ -56,6 +56,10 @@ public:
/// it in its containing function.
bool hasNoAliasAttr() const;
/// hasNoCaptureAttr - Return true if this argument has the nocapture
/// attribute on it in its containing function.
bool hasNoCaptureAttr() const;
/// hasSRetAttr - Return true if this argument has the sret attribute on it in
/// its containing function.
bool hasStructRetAttr() const;

View File

@ -263,7 +263,8 @@ bool FunctionAttrs::AddNoCaptureAttrs(const std::vector<CallGraphNode *> &SCC) {
continue;
for (Function::arg_iterator A = F->arg_begin(), E = F->arg_end(); A!=E; ++A)
if (isa<PointerType>(A->getType()) && !isCaptured(*F, A)) {
if (isa<PointerType>(A->getType()) && !A->hasNoCaptureAttr() &&
!isCaptured(*F, A)) {
A->addAttr(Attribute::NoCapture);
NumNoCapture++;
Changed = true;

View File

@ -102,6 +102,13 @@ bool Argument::hasNoAliasAttr() const {
return getParent()->paramHasAttr(getArgNo()+1, Attribute::NoAlias);
}
/// hasNoCaptureAttr - Return true if this argument has the nocapture attribute
/// on it in its containing function.
bool Argument::hasNoCaptureAttr() const {
if (!isa<PointerType>(getType())) return false;
return getParent()->paramHasAttr(getArgNo()+1, Attribute::NoCapture);
}
/// hasSRetAttr - Return true if this argument has the sret attribute on
/// it in its containing function.
bool Argument::hasStructRetAttr() const {