Add method to query for 'NoAlias' attribute on call/invoke instructions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165208 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling 2012-10-04 06:52:09 +00:00
parent fac31ded96
commit 5df15c692b
4 changed files with 22 additions and 1 deletions

View File

@ -1279,6 +1279,7 @@ public:
bool paramHasStructRetAttr(unsigned i) const;
bool paramHasNestAttr(unsigned i) const;
bool paramHasByValAttr(unsigned i) const;
bool paramHasNoAliasAttr(unsigned i) const;
/// @brief Determine whether the call or the callee has the given attribute.
bool paramHasAttr(unsigned i, Attributes attr) const;
@ -3049,6 +3050,7 @@ public:
bool paramHasStructRetAttr(unsigned i) const;
bool paramHasNestAttr(unsigned i) const;
bool paramHasByValAttr(unsigned i) const;
bool paramHasNoAliasAttr(unsigned i) const;
/// @brief Determine whether the call or the callee has the given attribute.
bool paramHasAttr(unsigned i, Attributes attr) const;

View File

@ -208,6 +208,9 @@ public:
bool paramHasByValAttr(unsigned i) const {
CALLSITE_DELEGATE_GETTER(paramHasByValAttr(i));
}
bool paramHasNoAliasAttr(unsigned i) const {
CALLSITE_DELEGATE_GETTER(paramHasNoAliasAttr(i));
}
/// paramHasAttr - whether the call or the callee has the given attribute.
bool paramHasAttr(uint16_t i, Attributes attr) const {

View File

@ -520,7 +520,7 @@ bool FunctionAttrs::IsFunctionMallocLike(Function *F,
case Instruction::Call:
case Instruction::Invoke: {
CallSite CS(RVI);
if (CS.paramHasAttr(0, Attribute::NoAlias))
if (CS.paramHasNoAliasAttr(0))
break;
if (CS.getCalledFunction() &&
SCCNodes.count(CS.getCalledFunction()))

View File

@ -390,6 +390,14 @@ bool CallInst::paramHasByValAttr(unsigned i) const {
return false;
}
bool CallInst::paramHasNoAliasAttr(unsigned i) const {
if (AttributeList.getParamAttributes(i).hasNoAliasAttr())
return true;
if (const Function *F = getCalledFunction())
return F->getParamAttributes(i).hasNoAliasAttr();
return false;
}
bool CallInst::paramHasAttr(unsigned i, Attributes attr) const {
if (AttributeList.paramHasAttr(i, attr))
return true;
@ -658,6 +666,14 @@ bool InvokeInst::paramHasByValAttr(unsigned i) const {
return false;
}
bool InvokeInst::paramHasNoAliasAttr(unsigned i) const {
if (AttributeList.getParamAttributes(i).hasNoAliasAttr())
return true;
if (const Function *F = getCalledFunction())
return F->getParamAttributes(i).hasNoAliasAttr();
return false;
}
bool InvokeInst::paramHasAttr(unsigned i, Attributes attr) const {
if (AttributeList.paramHasAttr(i, attr))
return true;