mirror of
https://github.com/intel/llvm.git
synced 2026-01-28 01:04:49 +08:00
Pass an iterator range to EmitCallArgs
llvm-svn: 242824
This commit is contained in:
@@ -1821,6 +1821,14 @@ public:
|
||||
typedef ExprIterator arg_iterator;
|
||||
typedef ConstExprIterator const_arg_iterator;
|
||||
|
||||
llvm::iterator_range<arg_iterator> placement_arguments() {
|
||||
return llvm::make_range(placement_arg_begin(), placement_arg_end());
|
||||
}
|
||||
|
||||
llvm::iterator_range<const_arg_iterator> placement_arguments() const {
|
||||
return llvm::make_range(placement_arg_begin(), placement_arg_end());
|
||||
}
|
||||
|
||||
arg_iterator placement_arg_begin() {
|
||||
return SubExprs + Array + hasInitializer();
|
||||
}
|
||||
|
||||
@@ -1360,6 +1360,14 @@ public:
|
||||
typedef ExprIterator arg_iterator;
|
||||
typedef ConstExprIterator const_arg_iterator;
|
||||
|
||||
llvm::iterator_range<arg_iterator> arguments() {
|
||||
return llvm::make_range(arg_begin(), arg_end());
|
||||
}
|
||||
|
||||
llvm::iterator_range<const_arg_iterator> arguments() const {
|
||||
return llvm::make_range(arg_begin(), arg_end());
|
||||
}
|
||||
|
||||
arg_iterator arg_begin() { return reinterpret_cast<Stmt **>(getArgs()); }
|
||||
arg_iterator arg_end() {
|
||||
return reinterpret_cast<Stmt **>(getArgs() + NumArgs);
|
||||
|
||||
@@ -978,8 +978,7 @@ RValue CodeGenFunction::EmitBlockCallExpr(const CallExpr *E,
|
||||
QualType FnType = BPT->getPointeeType();
|
||||
|
||||
// And the rest of the arguments.
|
||||
EmitCallArgs(Args, FnType->getAs<FunctionProtoType>(),
|
||||
E->arg_begin(), E->arg_end());
|
||||
EmitCallArgs(Args, FnType->getAs<FunctionProtoType>(), E->arguments());
|
||||
|
||||
// Load the function.
|
||||
llvm::Value *Func = Builder.CreateLoad(FuncPtr);
|
||||
|
||||
@@ -2808,12 +2808,11 @@ void CodeGenFunction::EmitNonNullArgCheck(RValue RV, QualType ArgType,
|
||||
"nonnull_arg", StaticData, None);
|
||||
}
|
||||
|
||||
void CodeGenFunction::EmitCallArgs(CallArgList &Args,
|
||||
ArrayRef<QualType> ArgTypes,
|
||||
CallExpr::const_arg_iterator ArgBeg,
|
||||
CallExpr::const_arg_iterator ArgEnd,
|
||||
const FunctionDecl *CalleeDecl,
|
||||
unsigned ParamsToSkip) {
|
||||
void CodeGenFunction::EmitCallArgs(
|
||||
CallArgList &Args, ArrayRef<QualType> ArgTypes,
|
||||
llvm::iterator_range<CallExpr::const_arg_iterator> ArgRange,
|
||||
const FunctionDecl *CalleeDecl, unsigned ParamsToSkip) {
|
||||
assert((int)ArgTypes.size() == (ArgRange.end() - ArgRange.begin()));
|
||||
// We *have* to evaluate arguments from right to left in the MS C++ ABI,
|
||||
// because arguments are destroyed left to right in the callee.
|
||||
if (CGM.getTarget().getCXXABI().areArgsDestroyedLeftToRightInCallee()) {
|
||||
@@ -2830,7 +2829,7 @@ void CodeGenFunction::EmitCallArgs(CallArgList &Args,
|
||||
// Evaluate each argument.
|
||||
size_t CallArgsStart = Args.size();
|
||||
for (int I = ArgTypes.size() - 1; I >= 0; --I) {
|
||||
CallExpr::const_arg_iterator Arg = ArgBeg + I;
|
||||
CallExpr::const_arg_iterator Arg = ArgRange.begin() + I;
|
||||
EmitCallArg(Args, *Arg, ArgTypes[I]);
|
||||
EmitNonNullArgCheck(Args.back().RV, ArgTypes[I], (*Arg)->getExprLoc(),
|
||||
CalleeDecl, ParamsToSkip + I);
|
||||
@@ -2843,8 +2842,8 @@ void CodeGenFunction::EmitCallArgs(CallArgList &Args,
|
||||
}
|
||||
|
||||
for (unsigned I = 0, E = ArgTypes.size(); I != E; ++I) {
|
||||
CallExpr::const_arg_iterator Arg = ArgBeg + I;
|
||||
assert(Arg != ArgEnd);
|
||||
CallExpr::const_arg_iterator Arg = ArgRange.begin() + I;
|
||||
assert(Arg != ArgRange.end());
|
||||
EmitCallArg(Args, *Arg, ArgTypes[I]);
|
||||
EmitNonNullArgCheck(Args.back().RV, ArgTypes[I], (*Arg)->getExprLoc(),
|
||||
CalleeDecl, ParamsToSkip + I);
|
||||
|
||||
@@ -1809,7 +1809,7 @@ void CodeGenFunction::EmitCXXConstructorCall(const CXXConstructorDecl *D,
|
||||
|
||||
// Add the rest of the user-supplied arguments.
|
||||
const FunctionProtoType *FPT = D->getType()->castAs<FunctionProtoType>();
|
||||
EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end(), E->getConstructor());
|
||||
EmitCallArgs(Args, FPT, E->arguments(), E->getConstructor());
|
||||
|
||||
// Insert any ABI-specific implicit constructor arguments.
|
||||
unsigned ExtraArgs = CGM.getCXXABI().addImplicitConstructorArgs(
|
||||
@@ -1853,7 +1853,7 @@ CodeGenFunction::EmitSynthesizedCXXCopyCtorCall(const CXXConstructorDecl *D,
|
||||
Args.add(RValue::get(Src), QT);
|
||||
|
||||
// Skip over first argument (Src).
|
||||
EmitCallArgs(Args, FPT, E->arg_begin() + 1, E->arg_end(), E->getConstructor(),
|
||||
EmitCallArgs(Args, FPT, drop_begin(E->arguments(), 1), E->getConstructor(),
|
||||
/*ParamsToSkip*/ 1);
|
||||
|
||||
EmitCall(CGM.getTypes().arrangeCXXMethodCall(Args, FPT, RequiredArgs::All),
|
||||
|
||||
@@ -3412,8 +3412,8 @@ RValue CodeGenFunction::EmitCall(QualType CalleeType, llvm::Value *Callee,
|
||||
if (Chain)
|
||||
Args.add(RValue::get(Builder.CreateBitCast(Chain, CGM.VoidPtrTy)),
|
||||
CGM.getContext().VoidPtrTy);
|
||||
EmitCallArgs(Args, dyn_cast<FunctionProtoType>(FnType), E->arg_begin(),
|
||||
E->arg_end(), E->getDirectCallee(), /*ParamsToSkip*/ 0);
|
||||
EmitCallArgs(Args, dyn_cast<FunctionProtoType>(FnType), E->arguments(),
|
||||
E->getDirectCallee(), /*ParamsToSkip*/ 0);
|
||||
|
||||
const CGFunctionInfo &FnInfo = CGM.getTypes().arrangeFreeFunctionCall(
|
||||
Args, FnType, /*isChainCall=*/Chain);
|
||||
|
||||
@@ -59,7 +59,7 @@ static RequiredArgs commonEmitCXXMemberOrOperatorCall(
|
||||
if (CE) {
|
||||
// Special case: skip first argument of CXXOperatorCall (it is "this").
|
||||
unsigned ArgsToSkip = isa<CXXOperatorCallExpr>(CE) ? 1 : 0;
|
||||
CGF.EmitCallArgs(Args, FPT, CE->arg_begin() + ArgsToSkip, CE->arg_end(),
|
||||
CGF.EmitCallArgs(Args, FPT, drop_begin(CE->arguments(), ArgsToSkip),
|
||||
CE->getDirectCallee());
|
||||
} else {
|
||||
assert(
|
||||
@@ -326,7 +326,7 @@ CodeGenFunction::EmitCXXMemberPointerCallExpr(const CXXMemberCallExpr *E,
|
||||
RequiredArgs required = RequiredArgs::forPrototypePlus(FPT, 1);
|
||||
|
||||
// And the rest of the call args
|
||||
EmitCallArgs(Args, FPT, E->arg_begin(), E->arg_end(), E->getDirectCallee());
|
||||
EmitCallArgs(Args, FPT, E->arguments(), E->getDirectCallee());
|
||||
return EmitCall(CGM.getTypes().arrangeCXXMethodCall(Args, FPT, required),
|
||||
Callee, ReturnValue, Args);
|
||||
}
|
||||
@@ -1089,7 +1089,7 @@ RValue CodeGenFunction::EmitBuiltinNewDeleteCall(const FunctionProtoType *Type,
|
||||
bool IsDelete) {
|
||||
CallArgList Args;
|
||||
const Stmt *ArgS = Arg;
|
||||
EmitCallArgs(Args, *Type->param_type_begin(), &ArgS, &ArgS + 1);
|
||||
EmitCallArgs(Args, *Type->param_type_begin(), llvm::makeArrayRef(ArgS));
|
||||
// Find the allocation or deallocation function that we're calling.
|
||||
ASTContext &Ctx = getContext();
|
||||
DeclarationName Name = Ctx.DeclarationNames
|
||||
@@ -1285,8 +1285,8 @@ llvm::Value *CodeGenFunction::EmitCXXNewExpr(const CXXNewExpr *E) {
|
||||
|
||||
// We start at 1 here because the first argument (the allocation size)
|
||||
// has already been emitted.
|
||||
EmitCallArgs(allocatorArgs, allocatorType, E->placement_arg_begin(),
|
||||
E->placement_arg_end(), /* CalleeDecl */ nullptr,
|
||||
EmitCallArgs(allocatorArgs, allocatorType, E->placement_arguments(),
|
||||
/* CalleeDecl */ nullptr,
|
||||
/*ParamsToSkip*/ 1);
|
||||
|
||||
// Emit the allocation call. If the allocator is a global placement
|
||||
|
||||
@@ -390,7 +390,7 @@ RValue CodeGenFunction::EmitObjCMessageExpr(const ObjCMessageExpr *E,
|
||||
QualType ResultType = method ? method->getReturnType() : E->getType();
|
||||
|
||||
CallArgList Args;
|
||||
EmitCallArgs(Args, method, E->arg_begin(), E->arg_end());
|
||||
EmitCallArgs(Args, method, E->arguments());
|
||||
|
||||
// For delegate init calls in ARC, do an unsafe store of null into
|
||||
// self. This represents the call taking direct ownership of that
|
||||
|
||||
@@ -2967,12 +2967,11 @@ public:
|
||||
/// EmitCallArgs - Emit call arguments for a function.
|
||||
template <typename T>
|
||||
void EmitCallArgs(CallArgList &Args, const T *CallArgTypeInfo,
|
||||
CallExpr::const_arg_iterator ArgBeg,
|
||||
CallExpr::const_arg_iterator ArgEnd,
|
||||
llvm::iterator_range<CallExpr::const_arg_iterator> ArgRange,
|
||||
const FunctionDecl *CalleeDecl = nullptr,
|
||||
unsigned ParamsToSkip = 0) {
|
||||
SmallVector<QualType, 16> ArgTypes;
|
||||
CallExpr::const_arg_iterator Arg = ArgBeg;
|
||||
CallExpr::const_arg_iterator Arg = ArgRange.begin();
|
||||
|
||||
assert((ParamsToSkip == 0 || CallArgTypeInfo) &&
|
||||
"Can't skip parameters if type info is not provided");
|
||||
@@ -2985,7 +2984,7 @@ public:
|
||||
for (auto I = CallArgTypeInfo->param_type_begin() + ParamsToSkip,
|
||||
E = CallArgTypeInfo->param_type_end();
|
||||
I != E; ++I, ++Arg) {
|
||||
assert(Arg != ArgEnd && "Running over edge of argument list!");
|
||||
assert(Arg != ArgRange.end() && "Running over edge of argument list!");
|
||||
assert((isGenericMethod ||
|
||||
((*I)->isVariablyModifiedType() ||
|
||||
(*I).getNonReferenceType()->isObjCRetainableType() ||
|
||||
@@ -3002,20 +3001,19 @@ public:
|
||||
|
||||
// Either we've emitted all the call args, or we have a call to variadic
|
||||
// function.
|
||||
assert(
|
||||
(Arg == ArgEnd || !CallArgTypeInfo || CallArgTypeInfo->isVariadic()) &&
|
||||
"Extra arguments in non-variadic function!");
|
||||
assert((Arg == ArgRange.end() || !CallArgTypeInfo ||
|
||||
CallArgTypeInfo->isVariadic()) &&
|
||||
"Extra arguments in non-variadic function!");
|
||||
|
||||
// If we still have any arguments, emit them using the type of the argument.
|
||||
for (; Arg != ArgEnd; ++Arg)
|
||||
ArgTypes.push_back(getVarArgType(*Arg));
|
||||
for (auto *Arg : llvm::make_range(Arg, ArgRange.end()))
|
||||
ArgTypes.push_back(getVarArgType(Arg));
|
||||
|
||||
EmitCallArgs(Args, ArgTypes, ArgBeg, ArgEnd, CalleeDecl, ParamsToSkip);
|
||||
EmitCallArgs(Args, ArgTypes, ArgRange, CalleeDecl, ParamsToSkip);
|
||||
}
|
||||
|
||||
void EmitCallArgs(CallArgList &Args, ArrayRef<QualType> ArgTypes,
|
||||
CallExpr::const_arg_iterator ArgBeg,
|
||||
CallExpr::const_arg_iterator ArgEnd,
|
||||
llvm::iterator_range<CallExpr::const_arg_iterator> ArgRange,
|
||||
const FunctionDecl *CalleeDecl = nullptr,
|
||||
unsigned ParamsToSkip = 0);
|
||||
|
||||
|
||||
@@ -3803,8 +3803,7 @@ MicrosoftCXXABI::getAddrOfCXXCtorClosure(const CXXConstructorDecl *CD,
|
||||
CodeGenFunction::RunCleanupsScope Cleanups(CGF);
|
||||
|
||||
const auto *FPT = CD->getType()->castAs<FunctionProtoType>();
|
||||
CGF.EmitCallArgs(Args, FPT, ArgVec.data(), ArgVec.data() + ArgVec.size(), CD,
|
||||
IsCopy ? 1 : 0);
|
||||
CGF.EmitCallArgs(Args, FPT, llvm::makeArrayRef(ArgVec), CD, IsCopy ? 1 : 0);
|
||||
|
||||
// Insert any ABI-specific implicit constructor arguments.
|
||||
unsigned ExtraArgs = addImplicitConstructorArgs(CGF, CD, Ctor_Complete,
|
||||
|
||||
Reference in New Issue
Block a user