23#include "llvm/Support/TrailingObjects.h"
29struct MemberCallInfo {
43 "Trying to emit a member or operator call expr on a static method!");
58 unsigned prefixSize = args.size() - 1;
73 fpt->getNumParams() == 0 &&
74 "No CallExpr specified for function with non-zero number of arguments");
78 return {required, prefixSize};
107 auto [ calleePtr, adjustedThis] =
108 builder.createGetMethod(loc, memFnPtr, thisAddr.getPointer());
120 return emitCall(
cgm.getTypes().arrangeCXXMethodCall(argsList, fpt, required,
132 bool canUseVirtualCall = md->
isVirtual() && !hasQualifier;
148 if (
auto *oce = dyn_cast<CXXOperatorCallExpr>(ce)) {
149 if (oce->isAssignmentOp()) {
150 rtlArgs = &rtlArgStorage;
169 "emitCXXMemberOrOperatorMemberCallExpr: constructor call");
179 devirtualizedMethod ? devirtualizedMethod : md;
181 if (
const auto *dtor = dyn_cast<CXXDestructorDecl>(calleeDecl))
182 fInfo = &
cgm.getTypes().arrangeCXXStructorDeclaration(
185 fInfo = &
cgm.getTypes().arrangeCXXMethodDeclaration(calleeDecl);
187 cir::FuncType ty =
cgm.getTypes().getFunctionType(*fInfo);
198 bool useVirtualCall = canUseVirtualCall && !devirtualizedMethod;
200 if (
const auto *dtor = dyn_cast<CXXDestructorDecl>(calleeDecl)) {
202 "Destructor shouldn't have explicit parameters");
203 assert(
returnValue.isNull() &&
"Destructor shouldn't have return value");
204 if (useVirtualCall) {
212 if (!devirtualizedMethod) {
214 cgm.getAddrOfCXXStructor(globalDecl, fInfo, ty), globalDecl);
232 if (useVirtualCall) {
238 "emitCXXMemberOrOperatorMemberCallExpr: AppleKext");
248 cgm.getCXXABI().adjustThisArgumentForVirtualFunctionCall(
249 *
this, calleeDecl, thisPtr.
getAddress(), useVirtualCall);
263 "Trying to emit a member call expr on a static method!");
273 cgm.errorNYI(
"CUDA Device side kernel call");
284 *
this, md, thisPtr, implicitParam, implicitParamTy, ce, args, rtlArgs);
285 auto &fnInfo =
cgm.getTypes().arrangeCXXMethodCall(
286 args, fpt, callInfo.reqArgs, callInfo.prefixSize);
287 assert((ce ||
currSrcLoc) &&
"expected source location");
322 "emitNullBaseClassInitialization: base constant is not null");
331 assert(stores.size() == 1 &&
"Expected only one store");
333 "Expected store to begin at offset zero");
343 assert(!dest.
isIgnored() &&
"Must have a destination!");
390 bool forVirtualBase =
false;
391 bool delegating =
false;
403 forVirtualBase =
true;
428 unsigned minElements,
429 mlir::Value &numElements,
430 mlir::Value &sizeWithoutCookie) {
438 return sizeWithoutCookie;
455 llvm::APInt arraySizeMultiplier(sizeWidth, 1);
458 type = cat->getElementType();
459 arraySizeMultiplier *= cat->getSize();
463 llvm::APInt typeSizeMultiplier(sizeWidth, typeSize.
getQuantity());
464 typeSizeMultiplier *= arraySizeMultiplier;
467 llvm::APInt cookieSize(sizeWidth,
477 mlir::Attribute constNumElements =
480 if (constNumElements) {
482 const llvm::APInt &count =
483 mlir::cast<cir::IntAttr>(constNumElements).getValue();
485 [[maybe_unused]]
unsigned numElementsWidth = count.getBitWidth();
486 bool hasAnyOverflow =
false;
492 assert(!count.isNegative() &&
"Expected non-negative array size");
493 assert(numElementsWidth == sizeWidth &&
494 "Expected a size_t array size constant");
497 llvm::APInt adjustedCount = count.zextOrTrunc(sizeWidth);
509 llvm::APInt allocationSize =
510 adjustedCount.umul_ov(typeSizeMultiplier, overflow);
513 assert(!overflow &&
"Overflow in array allocation size");
516 if (cookieSize != 0) {
520 loc, allocationSize.zextOrTrunc(sizeWidth));
522 allocationSize = allocationSize.uadd_ov(cookieSize, overflow);
523 hasAnyOverflow |= overflow;
527 if (hasAnyOverflow) {
536 auto numElementsType = mlir::cast<cir::IntType>(numElements.getType());
537 [[maybe_unused]]
unsigned numElementsWidth = numElementsType.getWidth();
541 mlir::Value hasOverflow;
547 !(*e->
getArraySize())->getType()->isSignedIntegerOrEnumerationType() &&
548 (numElementsWidth == sizeWidth) &&
549 (numElements.getType() == cgf.
sizeTy) &&
550 "Expected array size to be implicitly cast to size_t!");
567 loc, llvm::APInt(sizeWidth, minElements));
569 numElements, minElementsV);
582 if (typeSizeMultiplier != 1) {
584 auto mulOp = cir::BinOpOverflowOp::create(
586 cir::BinOpOverflowKind::Mul, size, tsmV);
592 hasOverflow = mulOp.getOverflow();
594 size = mulOp.getResult();
597 if (arraySizeMultiplier != 1) {
600 if (typeSize.
isOne()) {
601 assert(arraySizeMultiplier == typeSizeMultiplier);
613 assert(arraySizeMultiplier == 1);
617 if (cookieSize != 0) {
618 sizeWithoutCookie = size;
620 auto addOp = cir::BinOpOverflowOp::create(
622 cir::BinOpOverflowKind::Add, size, cookieSizeV);
628 hasOverflow = addOp.getOverflow();
630 size = addOp.getResult();
637 mlir::Value allOnes =
644 sizeWithoutCookie = size;
646 assert(sizeWithoutCookie &&
"didn't set sizeWithoutCookie?");
657 cir::CIRCallOpInterface callOrTryCall;
681 assert(op == OO_New || op == OO_Delete);
687 if (
const auto *funcDecl = dyn_cast<FunctionDecl>(
decl)) {
689 if (
sanOpts.has(SanitizerKind::AllocToken)) {
692 cgm.errorNYI(
"Alloc token sanitizer not yet supported!");
701 llvm_unreachable(
"predeclared global operator new/delete is missing");
705template <
typename Traits>
struct PlacementArg {
706 typename Traits::RValueTy argValue;
713template <
typename Traits>
714class CallDeleteDuringNew final
715 :
public EHScopeStack::Cleanup,
716 private llvm::TrailingObjects<CallDeleteDuringNew<Traits>,
717 PlacementArg<Traits>> {
719 llvm::TrailingObjects<CallDeleteDuringNew<Traits>, PlacementArg<Traits>>;
721 using TrailingObj::getTrailingObjects;
724 typedef typename Traits::ValueTy ValueTy;
726 typedef typename Traits::RValueTy RValueTy;
728 unsigned numPlacementArgs : 30;
730 unsigned passAlignmentToPlacementDelete : 1;
736 PlacementArg<Traits> *getPlacementArgs() {
return getTrailingObjects(); }
738 void setPlacementArg(
unsigned i, RValueTy argValue,
QualType argType) {
739 assert(i < numPlacementArgs &&
"index out of range");
740 getPlacementArgs()[i] = {argValue, argType};
744 static size_t getExtraSize(
size_t numPlacementArgs) {
745 return TrailingObj::template additionalSizeToAlloc<PlacementArg<Traits>>(
749 CallDeleteDuringNew(
size_t numPlacementArgs,
750 const FunctionDecl *operatorDelete, ValueTy ptr,
752 const ImplicitAllocationParameters &iap,
753 CharUnits allocAlign,
const CallArgList *newArgs,
754 unsigned numNonPlacementArgs, CIRGenFunction *cgf,
756 : numPlacementArgs(numPlacementArgs),
758 operatorDelete(operatorDelete), ptr(ptr), allocSize(allocSize),
759 allocAlign(allocAlign) {
760 for (
unsigned i = 0, n = numPlacementArgs; i != n; ++i) {
761 const CallArg &
arg = (*newArgs)[i + numNonPlacementArgs];
762 setPlacementArg(i,
arg.getRValue(*cgf, loc),
arg.ty);
766 void emit(CIRGenFunction &cgf, Flags flags)
override {
767 const auto *fpt = operatorDelete->
getType()->
castAs<FunctionProtoType>();
768 CallArgList deleteArgs;
770 unsigned firstNonTypeArg = 0;
776 deleteArgs.add(Traits::get(cgf, ptr), fpt->getParamType(firstNonTypeArg));
779 UsualDeleteParams params;
780 if (numPlacementArgs) {
794 "should not call destroying delete in a new-expression");
798 deleteArgs.add(Traits::get(cgf, allocSize),
806 cgf.
cgm.
errorNYI(
"CallDeleteDuringNew: aligned allocation");
809 for (
unsigned i = 0; i != numPlacementArgs; ++i) {
810 auto arg = getPlacementArgs()[i];
811 deleteArgs.add(Traits::get(cgf,
arg.argValue),
arg.argType);
823 Address newPtr, mlir::Value allocSize,
831 struct DirectCleanupTraits {
832 typedef mlir::Value ValueTy;
838 typedef CallDeleteDuringNew<DirectCleanupTraits> DirectCleanup;
844 allocAlign, &newArgs, numNonPlacementArgs, &cgf,
851 "enterNewDeleteCleanup: conditional branch");
877 llvm_unreachable(
"bad evaluation kind");
882 Address beginPtr, mlir::Value numElements,
883 mlir::Value allocSizeWithoutCookie) {
891 unsigned initListElements = 0;
899 auto tryMemsetInitialization = [&]() ->
bool {
900 mlir::Location loc = numElements.getLoc();
904 if (!
cgm.getTypes().isZeroInitializable(elementType))
911 auto remainingSize = allocSizeWithoutCookie;
912 if (initListElements) {
914 unsigned initializedSize =
917 cir::ConstantOp initSizeOp =
918 builder.getConstInt(loc, remainingSize.getType(), initializedSize);
919 remainingSize = builder.createSub(loc, remainingSize, initSizeOp);
925 builder.createMemSet(loc, castOp, builder.getConstInt(loc,
cgm.uInt8Ty, 0),
934 const Expr *ignoreParen =
nullptr;
937 cplie = dyn_cast<CXXParenListInitExpr>(ignoreParen);
938 sl = dyn_cast<StringLiteral>(ignoreParen);
939 ocee = dyn_cast<ObjCEncodeExpr>(ignoreParen);
942 if (ile || cplie || sl || ocee) {
947 "emitNewArrayInitializer: string literal init");
953 initListElements = initExprs.size();
962 "emitNewArrayInitializer: constant array init");
969 "emitNewArrayInitializer: init requires dtor");
976 for (
const Expr *ie : initExprs) {
981 cgm.errorNYI(ie->getSourceRange(),
982 "emitNewArrayInitializer: update dtor cleanup ptr");
990 mlir::Location loc =
getLoc(ie->getExprLoc());
991 mlir::Value castOp = builder.createPtrBitcast(
993 mlir::Value offsetOp = builder.getSignedInt(loc, 1, 32);
994 mlir::Value dataPtr = builder.createPtrStride(loc, castOp, offsetOp);
1006 auto *subIle = dyn_cast<InitListExpr>(init);
1009 assert(subIle->getNumInits() == 0 &&
"explicit inits in array filler?");
1010 init = subIle->getArrayFiller();
1019 auto constOp = mlir::dyn_cast<cir::ConstantOp>(numElements.getDefiningOp());
1021 auto constIntAttr = mlir::dyn_cast<cir::IntAttr>(constOp.getValue());
1023 if (constIntAttr && constIntAttr.getUInt() <= initListElements)
1027 assert(init &&
"have trailing elements to initialize but no initializer");
1036 if (!cce->requiresZeroInitialization())
1039 cgm.errorNYI(cce->getSourceRange(),
1040 "emitNewArrayInitializer: trivial ctor zero-init");
1044 cgm.errorNYI(cce->getSourceRange(),
1045 "emitNewArrayInitializer: ctor initializer");
1051 if (tryMemsetInitialization())
1054 "emitNewArrayInitializer: implicit value init");
1059 "emitNewArrayInitializer: unsupported initializer");
1064 QualType elementType, mlir::Type elementTy,
1065 Address newPtr, mlir::Value numElements,
1066 mlir::Value allocSizeWithoutCookie) {
1070 allocSizeWithoutCookie);
1083 assert(!thisTy.
isNull());
1085 "Pointer/Object mixup");
1091 implicitParamTy, ce, args,
nullptr);
1092 assert((ce || dtor.
getDecl()) &&
"expected source location provider");
1094 return emitCall(
cgm.getTypes().arrangeCXXStructorDeclaration(dtor), callee,
1105 cgm.errorNYI(
expr->getExprLoc(),
1106 "emitCXXPseudoDestructorExpr: Objective-C lifetime is NYI");
1126 CallObjectDelete(mlir::Value ptr,
const FunctionDecl *operatorDelete,
1128 : ptr(ptr), operatorDelete(operatorDelete), elementType(elementType) {}
1153 if (rd->hasDefinition() && !rd->hasTrivialDestructor()) {
1154 dtor = rd->getDestructor();
1168 cgf.
ehStack.pushCleanup<CallObjectDelete>(
1174 false, ptr, elementType);
1209 "emitCXXDeleteExpr: destroying operator delete");
1218 cgm.getASTContext().getTargetInfo().emitVectorDeletingDtors(
1219 cgm.getASTContext().getLangOpts())) {
1221 "emitCXXDeleteExpr: emitVectorDeletingDtors");
1241 unsigned minElements = 0;
1253 mlir::Value numElements =
nullptr;
1254 mlir::Value allocSizeWithoutCookie =
nullptr;
1256 *
this, e, minElements, numElements, allocSizeWithoutCookie);
1262 if (allocator->isReservedGlobalPlacementOperator()) {
1282 "emitCXXNewExpr: reserved placement new with delete");
1287 unsigned paramsToSkip = 0;
1294 if (allocSize != allocSizeWithoutCookie) {
1296 allocAlign = std::max(allocAlign, cookieAlign);
1319 allocator->isReplaceableGlobalAllocationFunction()) {
1320 const TargetInfo &target =
cgm.getASTContext().getTargetInfo();
1321 unsigned allocatorAlign = llvm::bit_floor(std::min<uint64_t>(
1323 allocationAlign = std::max(
1324 allocationAlign,
getContext().toCharUnitsFromBits(allocatorAlign));
1327 mlir::Value allocPtr = rv.
getValue();
1329 allocPtr, mlir::cast<cir::PointerType>(allocPtr.getType()).getPointee(),
1348 bool useNewDeleteCleanup =
1352 mlir::Operation *cleanupDominator =
nullptr;
1353 if (useNewDeleteCleanup) {
1357 operatorDeleteCleanup =
ehStack.stable_begin();
1363 if (allocSize != allocSizeWithoutCookie) {
1365 allocation =
cgm.getCXXABI().initializeArrayCookie(
1366 *
this, allocation, numElements, e, allocType);
1369 mlir::Type elementTy;
1378 allocation, elementTy);
1382 if (useNewDeleteCleanup) {
1394 if (
cgm.getCodeGenOpts().StrictVTablePointers &&
1395 allocator->isReservedGlobalPlacementOperator())
1401 allocSizeWithoutCookie);
1405 if (useNewDeleteCleanup) {
1406 assert(operatorDeleteCleanup.
isValid());
1409 cleanupDominator->erase();
1410 cir::LoadOp loadResult =
1412 result = result.
withPointer(loadResult.getResult());
1421 mlir::Value ptr,
QualType deleteTy) {
1428 auto paramTypeIt = deleteFTy->param_type_begin();
1433 "emitDeleteCall: type aware delete");
1437 mlir::Value deletePtr =
1438 builder.createBitcast(ptr.getLoc(), ptr,
convertType(argTy));
1444 "emitDeleteCall: destroying delete");
1448 QualType sizeType = *paramTypeIt++;
1450 assert(mlir::isa<cir::IntType>(
convertType(sizeType)) &&
1451 "expected cir::IntType");
1452 cir::ConstantOp size = builder.getConstInt(
1461 "emitDeleteCall: aligned allocation");
1463 assert(paramTypeIt == deleteFTy->param_type_end() &&
1464 "unknown parameter to usual delete function");
1471 mlir::Location loc,
QualType destTy) {
1473 assert(mlir::isa<cir::PointerType>(destCIRTy) &&
1474 "result of dynamic_cast should be a ptr");
1477 mlir::Region *currentRegion = cgf.
getBuilder().getBlock()->getParent();
1484 cgf.
getBuilder().createBlock(currentRegion, currentRegion->end());
1494 cgm.emitExplicitCastExprType(dce,
this);
1506 if (isDynCastToVoid) {
1513 srcRecordTy = srcTy;
1517 assert(srcRecordTy->
isRecordType() &&
"source type must be a record type!");
1523 auto destCirTy = mlir::cast<cir::PointerType>(
convertType(destTy));
1524 return cgm.getCXXABI().emitDynamicCast(*
this, loc, srcRecordTy, destRecordTy,
1525 destCirTy, isRefCast, thisAddr);
1529 mlir::Type typeInfoPtrTy,
1530 bool hasNullCheck) {
1541 mlir::Value isThisNull =
1547 false, [&](mlir::OpBuilder &, mlir::Location loc) {
1548 cgf.cgm.getCXXABI().emitBadTypeidCall(cgf, loc);
1581 auto typeInfoGlobal =
1583 auto getTypeInfo = cir::GetGlobalOp::create(
1584 builder, loc, builder.getPointerTo(typeInfoGlobal.getSymType()),
1585 typeInfoGlobal.getSymName());
1589 return builder.createBitcast(getTypeInfo, resultType);
static void emit(Program &P, llvm::SmallVectorImpl< std::byte > &Code, const T &Val, bool &Success)
Helper to write bytecode and bail out if 32-bit offsets become invalid.
static void emitNewInitializer(CIRGenFunction &cgf, const CXXNewExpr *e, QualType elementType, mlir::Type elementTy, Address newPtr, mlir::Value numElements, mlir::Value allocSizeWithoutCookie)
static mlir::Value emitCXXTypeidFromVTable(CIRGenFunction &cgf, const Expr *e, mlir::Type typeInfoPtrTy, bool hasNullCheck)
static void emitObjectDelete(CIRGenFunction &cgf, const CXXDeleteExpr *de, Address ptr, QualType elementType)
Emit the code for deleting a single object.
static void emitNullBaseClassInitialization(CIRGenFunction &cgf, Address destPtr, const CXXRecordDecl *base)
static void enterNewDeleteCleanup(CIRGenFunction &cgf, const CXXNewExpr *e, Address newPtr, mlir::Value allocSize, CharUnits allocAlign, const CallArgList &newArgs)
Enter a cleanup to call 'operator delete' if the initializer in a new-expression throws.
static mlir::Value emitCXXNewAllocSize(CIRGenFunction &cgf, const CXXNewExpr *e, unsigned minElements, mlir::Value &numElements, mlir::Value &sizeWithoutCookie)
static void storeAnyExprIntoOneUnit(CIRGenFunction &cgf, const Expr *init, QualType allocType, Address newPtr, AggValueSlot::Overlap_t mayOverlap)
static CharUnits calculateCookiePadding(CIRGenFunction &cgf, const CXXNewExpr *e)
static mlir::Value emitDynamicCastToNull(CIRGenFunction &cgf, mlir::Location loc, QualType destTy)
static MemberCallInfo commonBuildCXXMemberOrOperatorCall(CIRGenFunction &cgf, const CXXMethodDecl *md, mlir::Value thisPtr, mlir::Value implicitParam, QualType implicitParamTy, const CallExpr *ce, CallArgList &args, CallArgList *rtlArgs)
static RValue emitNewDeleteCall(CIRGenFunction &cgf, const FunctionDecl *calleeDecl, const FunctionProtoType *calleeType, const CallArgList &args)
Emit a call to an operator new or operator delete function, as implicitly created by new-expressions ...
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines an enumeration for C++ overloaded operators.
static QualType getPointeeType(const MemRegion *R)
cir::ConstantOp getConstant(mlir::Location loc, mlir::TypedAttr attr)
mlir::Value createOr(mlir::Location loc, mlir::Value lhs, mlir::Value rhs)
mlir::Value createPtrIsNull(mlir::Value ptr)
cir::ConstantOp getNullPtr(mlir::Type ty, mlir::Location loc)
cir::CmpOp createCompare(mlir::Location loc, cir::CmpOpKind kind, mlir::Value lhs, mlir::Value rhs)
mlir::Value createSelect(mlir::Location loc, mlir::Value condition, mlir::Value trueValue, mlir::Value falseValue)
mlir::Value createMul(mlir::Location loc, mlir::Value lhs, mlir::Value rhs, OverflowBehavior ob=OverflowBehavior::None)
llvm::TypeSize getTypeSizeInBits(mlir::Type ty) const
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
TranslationUnitDecl * getTranslationUnitDecl() const
const ConstantArrayType * getAsConstantArrayType(QualType T) const
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
DeclarationNameTable DeclarationNames
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
QualType getBaseElementType(const ArrayType *VAT) const
Return the innermost element type of an array type.
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
static bool hasSameType(QualType T1, QualType T2)
Determine whether the given types T1 and T2 are equivalent.
QualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
CharUnits getNonVirtualSize() const
getNonVirtualSize - Get the non-virtual size (in chars) of an object, which is the size of the object...
Represents an array type, per C99 6.7.5.2 - Array Declarators.
A builtin binary operation expression such as "x + y" or "x <= y".
Address withPointer(mlir::Value newPtr) const
Return address with different pointer, but same element type and alignment.
mlir::Value getPointer() const
mlir::Type getElementType() const
Address withElementType(CIRGenBuilderTy &builder, mlir::Type ElemTy) const
Return address with different element type, a bitcast pointer, and the same alignment.
clang::CharUnits getAlignment() const
Address withAlignment(clang::CharUnits newAlignment) const
Return address with different alignment, but same pointer and element type.
IsZeroed_t isZeroed() const
static AggValueSlot forAddr(Address addr, clang::Qualifiers quals, IsDestructed_t isDestructed, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed)
Address getAddress() const
bool isNullValue(mlir::Attribute attr) const
cir::StoreOp createStore(mlir::Location loc, mlir::Value val, Address dst, bool isVolatile=false, mlir::IntegerAttr align={}, cir::SyncScopeKindAttr scope={}, cir::MemOrderAttr order={})
cir::ConstantOp getConstInt(mlir::Location loc, llvm::APSInt intVal)
virtual void emitVirtualObjectDelete(CIRGenFunction &cgf, const CXXDeleteExpr *de, Address ptr, QualType elementType, const CXXDestructorDecl *dtor)=0
virtual const clang::CXXRecordDecl * getThisArgumentTypeForMethod(const clang::CXXMethodDecl *md)
Get the type of the implicit "this" parameter used by a method.
virtual bool shouldTypeidBeNullChecked(QualType srcTy)=0
virtual mlir::Value emitTypeid(CIRGenFunction &cgf, QualType srcTy, Address thisPtr, mlir::Type typeInfoPtrTy)=0
virtual void emitBadCastCall(CIRGenFunction &cgf, mlir::Location loc)=0
virtual CharUnits getArrayCookieSize(const CXXNewExpr *e)
Returns the extra size required in order to store the array cookie for the given new-expression.
static CIRGenCallee forDirect(mlir::Operation *funcPtr, const CIRGenCalleeInfo &abstractInfo=CIRGenCalleeInfo())
static CIRGenCallee forVirtual(const clang::CallExpr *ce, clang::GlobalDecl md, Address addr, cir::FuncType fTy)
An abstract representation of regular/ObjC call/message targets.
void emitCallArgs(CallArgList &args, PrototypeWrapper prototype, llvm::iterator_range< clang::CallExpr::const_arg_iterator > argRange, AbstractCallee callee=AbstractCallee(), unsigned paramsToSkip=0)
mlir::Type convertType(clang::QualType t)
static cir::TypeEvaluationKind getEvaluationKind(clang::QualType type)
Return the cir::TypeEvaluationKind of QualType type.
clang::GlobalDecl curGD
The GlobalDecl for the current function being compiled or the global variable currently being initial...
CIRGenTypes & getTypes() const
Address emitPointerWithAlignment(const clang::Expr *expr, LValueBaseInfo *baseInfo=nullptr)
Given an expression with a pointer type, emit the value and compute our best estimate of the alignmen...
const clang::LangOptions & getLangOpts() const
cir::AllocaOp createTempAlloca(mlir::Type ty, mlir::Location loc, const Twine &name="tmp", mlir::Value arraySize=nullptr, bool insertIntoFnEntryBlock=false)
This creates an alloca and inserts it into the entry block if ArraySize is nullptr,...
RValue emitCXXMemberPointerCallExpr(const CXXMemberCallExpr *ce, ReturnValueSlot returnValue)
bool isInConditionalBranch() const
void emitDeleteCall(const FunctionDecl *deleteFD, mlir::Value ptr, QualType deleteTy)
LValue emitLValue(const clang::Expr *e)
Emit code to compute a designator that specifies the location of the expression.
mlir::Location getLoc(clang::SourceLocation srcLoc)
Helpers to convert Clang's SourceLocation to a MLIR Location.
RValue emitCXXMemberOrOperatorCall(const clang::CXXMethodDecl *md, const CIRGenCallee &callee, ReturnValueSlot returnValue, mlir::Value thisPtr, mlir::Value implicitParam, clang::QualType implicitParamTy, const clang::CallExpr *ce, CallArgList *rtlArgs)
void emitNullInitialization(mlir::Location loc, Address destPtr, QualType ty)
RValue emitCUDAKernelCallExpr(const CUDAKernelCallExpr *expr, ReturnValueSlot returnValue)
EHScopeStack ehStack
Tracks function scope overall cleanup handling.
void emitNewArrayInitializer(const CXXNewExpr *e, QualType elementType, mlir::Type elementTy, Address beginPtr, mlir::Value numElements, mlir::Value allocSizeWithoutCookie)
clang::SanitizerSet sanOpts
Sanitizers enabled for this function.
mlir::Value emitCXXTypeidExpr(const CXXTypeidExpr *e)
mlir::Type convertTypeForMem(QualType t)
void emitCXXConstructExpr(const clang::CXXConstructExpr *e, AggValueSlot dest)
mlir::Value emitCXXNewExpr(const CXXNewExpr *e)
Address returnValue
The temporary alloca to hold the return value.
void emitCXXConstructorCall(const clang::CXXConstructorDecl *d, clang::CXXCtorType type, bool forVirtualBase, bool delegating, AggValueSlot thisAVS, const clang::CXXConstructExpr *e)
void emitScalarInit(const clang::Expr *init, mlir::Location loc, LValue lvalue, bool capturedByInit=false)
RValue emitCall(const CIRGenFunctionInfo &funcInfo, const CIRGenCallee &callee, ReturnValueSlot returnValue, const CallArgList &args, cir::CIRCallOpInterface *callOp, mlir::Location loc)
void deactivateCleanupBlock(EHScopeStack::stable_iterator cleanup, mlir::Operation *dominatingIP)
Deactivates the given cleanup block.
mlir::Value emitScalarExpr(const clang::Expr *e, bool ignoreResultAssign=false)
Emit the computation of the specified expression of scalar type.
CIRGenBuilderTy & getBuilder()
void emitComplexExprIntoLValue(const Expr *e, LValue dest, bool isInit)
LValue makeAddrLValue(Address addr, QualType ty, AlignmentSource source=AlignmentSource::Type)
void emitCXXDestructorCall(const CXXDestructorDecl *dd, CXXDtorType type, bool forVirtualBase, bool delegating, Address thisAddr, QualType thisTy)
RValue emitNewOrDeleteBuiltinCall(const FunctionProtoType *type, const CallExpr *callExpr, OverloadedOperatorKind op)
void emitCXXAggrConstructorCall(const CXXConstructorDecl *ctor, const clang::ArrayType *arrayType, Address arrayBegin, const CXXConstructExpr *e, bool newPointerIsChecked, bool zeroInitialize=false)
Emit a loop to call a particular constructor for each of several members of an array.
std::optional< mlir::Location > currSrcLoc
Use to track source locations across nested visitor traversals.
clang::ASTContext & getContext() const
RValue emitCXXMemberOrOperatorMemberCallExpr(const clang::CallExpr *ce, const clang::CXXMethodDecl *md, ReturnValueSlot returnValue, bool hasQualifier, clang::NestedNameSpecifier qualifier, bool isArrow, const clang::Expr *base)
void emitCXXDeleteExpr(const CXXDeleteExpr *e)
RValue emitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *e, const CXXMethodDecl *md, ReturnValueSlot returnValue)
void emitIgnoredExpr(const clang::Expr *e)
Emit code to compute the specified expression, ignoring the result.
mlir::Value emitDynamicCast(Address thisAddr, const CXXDynamicCastExpr *dce)
void emitAggExpr(const clang::Expr *e, AggValueSlot slot)
RValue emitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *expr)
DiagnosticBuilder errorNYI(SourceLocation, llvm::StringRef)
Helpers to emit "not yet implemented" error diagnostics.
mlir::TypedAttr emitNullConstantForBase(const CXXRecordDecl *record)
Return a null constant appropriate for zero-initializing a base class with the given type.
cir::FuncOp getAddrOfFunction(clang::GlobalDecl gd, mlir::Type funcType=nullptr, bool forVTable=false, bool dontDefer=false, ForDefinition_t isForDefinition=NotForDefinition)
Return the address of the given function.
const cir::CIRDataLayout getDataLayout() const
CIRGenCXXABI & getCXXABI() const
const CIRGenFunctionInfo & arrangeFreeFunctionCall(const CallArgList &args, const FunctionType *fnType)
clang::CanQualType deriveThisType(const clang::CXXRecordDecl *rd, const clang::CXXMethodDecl *md)
Derives the 'this' type for CIRGen purposes, i.e.
void addFrom(const CallArgList &other)
Add all the arguments from another CallArgList to this one.
void add(RValue rvalue, clang::QualType type)
mlir::Attribute tryEmitAbstract(const Expr *e, QualType destType)
Information for lazily generating a cleanup.
A saved depth on the scope stack.
T * pushCleanupWithExtra(CleanupKind kind, size_t n, As... a)
Push a cleanup with non-constant storage requirements on the stack.
AlignmentSource getAlignmentSource() const
Address getAddress() const
mlir::Value getPointer() const
void setAddress(Address address)
This trivial value class is used to represent the result of an expression that is evaluated.
static RValue get(mlir::Value v)
mlir::Value getValue() const
Return the value of this scalar value.
A class for recording the number of arguments that a function signature requires.
static RequiredArgs getFromProtoWithExtraSlots(const clang::FunctionProtoType *prototype, unsigned additional)
Compute the arguments required by the given formal prototype, given that there may be some additional...
Contains the address where the return value of a function can be stored, and whether the address is v...
Represents a call to a CUDA kernel function.
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
CXXConstructionKind getConstructionKind() const
Determine whether this constructor is actually constructing a base class (rather than a complete obje...
Represents a C++ constructor within a class.
bool isDefaultConstructor() const
Whether this constructor is a default constructor (C++ [class.ctor]p5), which can be used to default-...
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
QualType getDestroyedType() const
Retrieve the type being destroyed.
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
bool isAlwaysNull() const
isAlwaysNull - Return whether the result of the dynamic_cast is proven to always be null.
Represents a call to a member function that may be written either with member call syntax (e....
SourceLocation getExprLoc() const LLVM_READONLY
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
llvm::iterator_range< arg_iterator > placement_arguments()
QualType getAllocatedType() const
unsigned getNumImplicitArgs() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
ImplicitAllocationParameters implicitAllocationParameters() const
Provides the full set of information about expected implicit parameters in this call.
bool hasInitializer() const
Whether this new-expression has any initializer at all.
bool shouldNullCheckAllocation() const
True if the allocation result needs to be null-checked.
bool passAlignment() const
Indicates whether the required alignment should be implicitly passed to the allocation function.
FunctionDecl * getOperatorDelete() const
unsigned getNumPlacementArgs() const
SourceRange getSourceRange() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
A call to an overloaded operator written using operator syntax.
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ pseudo-destructor (C++ [expr.pseudo]).
Represents a C++ struct/union/class.
bool isEmpty() const
Determine whether this is an empty class in the sense of (C++11 [meta.unary.prop]).
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
SourceRange getSourceRange() const LLVM_READONLY
bool isMostDerived(const ASTContext &Context) const
Best-effort check if the expression operand refers to a most derived object.
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
bool hasNullCheck() const
Whether this is of a form like "typeid(*ptr)" that can throw a std::bad_typeid if a pointer is a null...
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
CharUnits - This is an opaque type for sizes expressed in character units.
CharUnits alignmentAtOffset(CharUnits offset) const
Given that this is a non-zero alignment value, what is the alignment at the given offset?
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
bool isOne() const
isOne - Test whether the quantity equals one.
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
Represents the canonical version of C arrays with a specified constant size.
The results of name lookup within a DeclContext.
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
virtual SourceRange getSourceRange() const LLVM_READONLY
Source range that this declaration covers.
The name of a declaration.
QualType getTypeAsWritten() const
getTypeAsWritten - Returns the type that this expression is casting to, as written in the source code...
This represents one expression.
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Represents a function declaration or definition.
bool isDestroyingOperatorDelete() const
Determine whether this is a destroying operator delete.
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
UsualDeleteParams getUsualDeleteParams() const
bool isReservedGlobalPlacementOperator() const
Determines whether this operator new or delete is one of the reserved global placement operators: voi...
bool isDefaulted() const
Whether this function is defaulted.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
Represents a prototype with parameter type info, e.g.
GlobalDecl - represents a global declaration.
const Decl * getDecl() const
Describes an C or C++ initializer list.
bool isStringLiteralInit() const
Is this an initializer for an array of characters, initialized by a string literal or an @encode?
unsigned getNumInits() const
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits()
A pointer to member type per C++ 8.3.3 - Pointers to members.
QualType getPointeeType() const
This represents a decl that may have a name.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
ObjCEncodeExpr, used for @encode in Objective-C.
PointerType - C99 6.7.5.1 - Pointer Declarators.
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
Qualifiers::ObjCLifetime getObjCLifetime() const
Returns lifetime attribute of this type.
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
bool isPODType(const ASTContext &Context) const
Determine whether this is a Plain Old Data (POD) type (C++ 3.9p10).
bool hasStrongOrWeakObjCLifetime() const
Base for LValueReferenceType and RValueReferenceType.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
StringLiteral - This represents a string literal expression, e.g.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
Exposes information about the current target.
unsigned getNewAlign() const
Return the largest alignment for which a suitably-sized allocation with 'operator new(size_t)' is gua...
SourceLocation getBeginLoc() const LLVM_READONLY
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isConstantArrayType() const
bool isVoidPointerType() const
bool isPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > callExpr
Matches call expressions.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< ArrayType > arrayType
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
The JSON file list parser is used to communicate input to InstallAPI.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
CXXCtorType
C++ constructor types.
@ Ctor_Base
Base object ctor.
@ Ctor_Complete
Complete object ctor.
bool isa(CodeGen::Address addr)
AlignedAllocationMode alignedAllocationModeFromBool(bool IsAligned)
bool isAlignedAllocation(AlignedAllocationMode Mode)
@ Dtor_Complete
Complete object dtor.
bool isTypeAwareAllocation(TypeAwareAllocationMode Mode)
U cast(CodeGen::Address addr)
__DEVICE__ _Tp arg(const std::complex< _Tp > &__c)
static bool objCLifetime()
static bool addressSpace()
static bool devirtualizeDestructor()
static bool aggValueSlotGC()
static bool devirtualizeMemberFunction()
static bool deleteArray()
static bool emitTypeCheck()
static bool cleanupDeactivationScope()
static bool opCallMustTail()
static bool typeAwareAllocation()
static bool exprNewNullCheck()
static bool attributeBuiltin()
static bool emitNullCheckForDeleteCalls()
static bool generateDebugInfo()
clang::CharUnits getSizeAlign() const
The parameters to pass to a usual operator delete.
TypeAwareAllocationMode TypeAwareDelete
AlignedAllocationMode Alignment