7#include "mlir/IR/BuiltinTypes.h"
23 builder(cgm.
getBuilder()), theCXXABI(cgm.getCXXABI()),
24 theABIInfo(cgm.getTargetCIRGenInfo().
getABIInfo()) {}
27 for (
auto i = functionInfos.begin(), e = functionInfos.end(); i != e;)
32 return *builder.getContext();
52 return !
tagType->isIncompleteType();
64 if (
const auto *fpt = dyn_cast<FunctionProtoType>(ft))
65 for (
unsigned i = 0, e = fpt->getNumParams(); i != e; i++)
72mlir::Type CIRGenTypes::convertFunctionTypeInternal(
QualType qft) {
85 if (
const auto *fpt = dyn_cast<FunctionProtoType>(ft)) {
104 llvm::raw_svector_ostream outStream(typeName);
115 .
print(outStream, policy);
119 outStream << builder.getUniqueAnonRecordName();
124 return builder.getUniqueRecordName(std::string(typeName));
129 const auto it = recordDeclTypes.find(ty);
130 return it != recordDeclTypes.end() && it->second.isComplete();
137 llvm::SmallPtrSetImpl<const RecordDecl *> &alreadyChecked);
144 llvm::SmallPtrSetImpl<const RecordDecl *> &alreadyChecked) {
147 if (!alreadyChecked.insert(rd).second)
151 "Expect RecordDecl to be CompleteDefinition");
172 if (
const CXXRecordDecl *crd = dyn_cast<CXXRecordDecl>(rd)) {
175 ->castAs<RecordType>()
177 ->getDefinitionOrSelf(),
178 cgt, alreadyChecked))
200 llvm::SmallPtrSetImpl<const RecordDecl *> &alreadyChecked) {
203 qt = at->getValueType();
236 return astContext.getTypeSize(
type) !=
237 astContext.getTypeSize(
type->getValueType());
244 const Type *key = astContext.getCanonicalTagType(rd).getTypePtr();
252 entry = builder.getIncompleteRecordTy(name, rd);
253 recordDeclTypes[key] = entry;
262 deferredRecords.push_back(rd);
267 bool insertResult = recordsBeingLaidOut.insert(key).second;
269 assert(insertResult &&
"isSafeToCovert() should have caught this.");
272 safeToConvertCache.clear();
275 if (
const auto *
cxxRecordDecl = dyn_cast<CXXRecordDecl>(rd)) {
277 if (base.isVirtual())
285 recordDeclTypes[key] = entry;
286 cirGenRecordLayouts[key] = std::move(layout);
289 bool eraseResult = recordsBeingLaidOut.erase(key);
291 assert(eraseResult &&
"record not in RecordsBeingLaidOut set?");
294 safeToConvertCache.clear();
298 if (recordsBeingLaidOut.empty())
299 while (!deferredRecords.empty())
306 type = astContext.getCanonicalType(
type);
309 if (astContext.getLangOpts().CUDAIsDevice) {
310 if (
type->isCUDADeviceBuiltinSurfaceType()) {
312 cgm.getTargetCIRGenInfo().getCUDADeviceBuiltinSurfaceDeviceType())
314 }
else if (
type->isCUDADeviceBuiltinTextureType()) {
324 TypeCacheTy::iterator tci =
typeCache.find(ty);
331 mlir::Type resultType =
nullptr;
334 llvm_unreachable(
"Should have been handled above");
336 case Type::Builtin: {
339 case BuiltinType::Void:
340 resultType = cgm.voidTy;
344 case BuiltinType::Bool:
349 case BuiltinType::Char_S:
350 case BuiltinType::Int:
351 case BuiltinType::Int128:
352 case BuiltinType::Long:
353 case BuiltinType::LongLong:
354 case BuiltinType::SChar:
355 case BuiltinType::Short:
356 case BuiltinType::WChar_S:
357 case BuiltinType::Accum:
358 case BuiltinType::Fract:
359 case BuiltinType::LongAccum:
360 case BuiltinType::LongFract:
361 case BuiltinType::ShortAccum:
362 case BuiltinType::ShortFract:
364 case BuiltinType::SatAccum:
365 case BuiltinType::SatFract:
366 case BuiltinType::SatLongAccum:
367 case BuiltinType::SatLongFract:
368 case BuiltinType::SatShortAccum:
369 case BuiltinType::SatShortFract:
376 case BuiltinType::SveInt8:
378 cir::VectorType::get(builder.getSInt8Ty(), 16,
true);
380 case BuiltinType::SveUint8:
382 cir::VectorType::get(builder.getUInt8Ty(), 16,
true);
384 case BuiltinType::SveInt16:
386 cir::VectorType::get(builder.getSInt16Ty(), 8,
true);
388 case BuiltinType::SveUint16:
390 cir::VectorType::get(builder.getUInt16Ty(), 8,
true);
392 case BuiltinType::SveFloat16:
393 resultType = cir::VectorType::get(builder.getFp16Ty(), 8,
396 case BuiltinType::SveBFloat16:
397 resultType = cir::VectorType::get(builder.getFp16Ty(), 8,
400 case BuiltinType::SveInt32:
402 cir::VectorType::get(builder.getSInt32Ty(), 4,
true);
404 case BuiltinType::SveUint32:
406 cir::VectorType::get(builder.getUInt32Ty(), 4,
true);
408 case BuiltinType::SveFloat32:
409 resultType = cir::VectorType::get(builder.getSingleTy(), 4,
412 case BuiltinType::SveInt64:
414 cir::VectorType::get(builder.getSInt64Ty(), 2,
true);
416 case BuiltinType::SveUint64:
418 cir::VectorType::get(builder.getUInt64Ty(), 2,
true);
420 case BuiltinType::SveFloat64:
421 resultType = cir::VectorType::get(builder.getDoubleTy(), 2,
424 case BuiltinType::SveBool:
425 resultType = cir::VectorType::get(builder.getUIntNTy(1), 16,
430 case BuiltinType::Char8:
431 case BuiltinType::Char16:
432 case BuiltinType::Char32:
433 case BuiltinType::Char_U:
434 case BuiltinType::UChar:
435 case BuiltinType::UInt:
436 case BuiltinType::UInt128:
437 case BuiltinType::ULong:
438 case BuiltinType::ULongLong:
439 case BuiltinType::UShort:
440 case BuiltinType::WChar_U:
441 case BuiltinType::UAccum:
442 case BuiltinType::UFract:
443 case BuiltinType::ULongAccum:
444 case BuiltinType::ULongFract:
445 case BuiltinType::UShortAccum:
446 case BuiltinType::UShortFract:
448 case BuiltinType::SatUAccum:
449 case BuiltinType::SatUFract:
450 case BuiltinType::SatULongAccum:
451 case BuiltinType::SatULongFract:
452 case BuiltinType::SatUShortAccum:
453 case BuiltinType::SatUShortFract:
460 case BuiltinType::Float16:
461 resultType = cgm.fP16Ty;
463 case BuiltinType::Half:
464 resultType = cgm.fP16Ty;
466 case BuiltinType::BFloat16:
467 resultType = cgm.bFloat16Ty;
469 case BuiltinType::MFloat8:
470 resultType = cgm.uInt8Ty;
472 case BuiltinType::Float:
473 assert(&astContext.getFloatTypeSemantics(
type) ==
474 &llvm::APFloat::IEEEsingle() &&
475 "ClangIR NYI: 'float' in a format other than IEEE 32-bit");
476 resultType = cgm.floatTy;
478 case BuiltinType::Double:
479 assert(&astContext.getFloatTypeSemantics(
type) ==
480 &llvm::APFloat::IEEEdouble() &&
481 "ClangIR NYI: 'double' in a format other than IEEE 64-bit");
482 resultType = cgm.doubleTy;
484 case BuiltinType::LongDouble:
486 builder.getLongDoubleTy(astContext.getFloatTypeSemantics(
type));
488 case BuiltinType::Float128:
489 resultType = cgm.fP128Ty;
491 case BuiltinType::Ibm128:
493 resultType = cgm.sInt32Ty;
496 case BuiltinType::NullPtr:
501 resultType = builder.getVoidPtrTy();
504#define AMDGPU_OPAQUE_PTR_TYPE(Name, Id, SingletonId, Width, Align, AS) \
505 case BuiltinType::Id: { \
506 if (BuiltinType::Id == BuiltinType::AMDGPUTexture) { \
507 resultType = cir::VectorType::get(builder.getSInt32Ty(), 8); \
509 resultType = builder.getPointerTo( \
511 cir::TargetAddressSpaceAttr::get(&getMLIRContext(), AS)); \
515#define AMDGPU_NAMED_BARRIER_TYPE(Name, Id, SingletonId, Width, Align, Scope) \
516 case BuiltinType::Id: \
517 llvm_unreachable("NYI");
518#define AMDGPU_TYPE(Name, Id, SingletonId, Width, Align) \
519 case BuiltinType::Id: \
520 llvm_unreachable("NYI");
521#include "clang/Basic/AMDGPUTypes.def"
525 resultType = cgm.sInt32Ty;
531 case Type::Complex: {
533 mlir::Type elementTy =
convertType(ct->getElementType());
534 resultType = cir::ComplexType::get(elementTy);
538 case Type::LValueReference:
539 case Type::RValueReference: {
543 resultType = builder.getPointerTo(pointeeType, elemTy.
getAddressSpace());
544 assert(resultType &&
"Cannot get pointer type?");
548 case Type::Pointer: {
555 resultType = builder.getPointerTo(pointeeType, elemTy.
getAddressSpace());
559 case Type::VariableArray: {
569 case Type::IncompleteArray: {
578 elemTy = cgm.sInt8Ty;
581 resultType = cir::ArrayType::get(elemTy, 0);
585 case Type::ConstantArray: {
593 resultType = cir::ArrayType::get(elemTy, arrTy->
getSize().getZExtValue());
597 case Type::ExtVector:
607 if (
auto integerType = ed->getIntegerType(); !integerType.isNull())
612 resultType = cgm.uInt32Ty;
616 case Type::MemberPointer: {
620 auto clsTy = mlir::cast<cir::RecordType>(
622 if (mpt->isMemberDataPointer()) {
623 mlir::Type memberTy =
convertType(mpt->getPointeeType());
624 resultType = cir::DataMemberType::get(memberTy, clsTy);
626 auto memberFuncTy =
getFunctionType(cgm.getTypes().arrangeCXXMethodType(
630 resultType = cir::MethodType::get(memberFuncTy, clsTy);
635 case Type::FunctionNoProto:
636 case Type::FunctionProto:
637 resultType = convertFunctionTypeInternal(
type);
642 unsigned numBits = bitIntTy->getNumBits();
643 assert(numBits <= cir::IntType::maxBitwidth() &&
644 "_BitInt width exceeds CIR IntType maximum");
646 cir::IntType::get(&
getMLIRContext(), numBits, bitIntTy->isSigned(),
656 uint64_t valueSize = astContext.getTypeSize(valueType);
657 uint64_t atomicSize = astContext.getTypeSize(ty);
658 if (valueSize != atomicSize) {
659 assert(valueSize < atomicSize);
661 cir::ArrayType::get(cgm.sInt8Ty, (atomicSize - valueSize) / 8);
662 mlir::Type elements[] = {resultType, paddingArray};
663 cir::RecordMemberKind kinds[] = {cir::RecordMemberKind::Data,
664 cir::RecordMemberKind::Pad};
667 false,
false, kinds);
675 type->getTypeClassName());
676 resultType = cgm.sInt32Ty;
680 assert(resultType &&
"Type conversion not yet implemented");
688 if (
qualType->isConstantMatrixType()) {
689 cgm.errorNYI(
"Matrix type conversion");
695 assert(!forBitField &&
"Bit fields NYI");
699 if (forBitField &&
qualType->isBitIntType())
700 assert(!
qualType->isBitIntType() &&
"Bit field with type _BitInt NYI");
702 return convertedType;
708 const auto *key = astContext.getCanonicalTagType(rd).getTypePtr();
711 auto it = cirGenRecordLayouts.find(key);
712 if (it != cirGenRecordLayouts.end())
719 it = cirGenRecordLayouts.find(key);
721 assert(it != cirGenRecordLayouts.end() &&
722 "Unable to find record layout information for type");
728 return astContext.getTargetNullPointerValue(t) == 0;
730 if (
const auto *at = astContext.getAsArrayType(t)) {
734 if (
const auto *cat = dyn_cast<ConstantArrayType>(at))
735 if (astContext.getConstantArrayElementCount(cat) == 0)
743 return theCXXABI.isZeroInitializable(mpt);
745 if (t->
getAs<HLSLInlineSpirvType>())
747 "isZeroInitializable for HLSLInlineSpirvType");
760 assert(llvm::all_of(argTypes,
763 llvm::FoldingSetNodeID id;
767 void *insertPos =
nullptr;
775 "Bad match based on CIRGenFunctionInfo folding set id");
784 functionInfos.InsertNode(fi, insertPos);
793 for (
const VarDecl *arg : args)
794 argTypes.push_back(astContext.getCanonicalParamType(arg->getType()));
804 assert(!dyn_cast<ObjCMethodDecl>(gd.
getDecl()) &&
805 "This is reported as a FIXME in LLVM codegen");
821 if ([[maybe_unused]]
const auto *ed = dyn_cast<EnumDecl>(td)) {
829 ed->getASTContext().getCanonicalTagType(ed)->getTypePtr()) ||
831 typeCache[ed->getASTContext().getCanonicalTagType(ed)->getTypePtr()]));
841 if (rd->isDependentType())
846 if (recordDeclTypes.count(astContext.getCanonicalTagType(rd).getTypePtr()))
860 ? cgm.getDataLayout().getProgramAddressSpace()
Defines the clang::ASTContext interface.
static bool isSafeToConvert(QualType qt, CIRGenTypes &cgt, llvm::SmallPtrSetImpl< const RecordDecl * > &alreadyChecked)
Return true if it is safe to convert this field type, which requires the record elements contained by...
static Decl::Kind getKind(const Decl *D)
C Language Family Type Representation.
C++ view class that accepts both !cir.struct and !cir.union types.
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
CanQualType getCanonicalTagType(const TagDecl *TD) const
unsigned getTargetAddressSpace(LangAS AS) const
QualType getElementType() const
unsigned getIndexTypeCVRQualifiers() const
CanQualType getReturnType() const
const_arg_iterator argTypesEnd() const
static CIRGenFunctionInfo * create(FunctionType::ExtInfo info, bool instanceMethod, CanQualType resultType, llvm::ArrayRef< CanQualType > argTypes, RequiredArgs required)
static void Profile(llvm::FoldingSetNodeID &id, bool instanceMethod, FunctionType::ExtInfo info, RequiredArgs required, CanQualType resultType, llvm::ArrayRef< CanQualType > argTypes)
const_arg_iterator argTypesBegin() const
This class organizes the cross-function state that is used while generating CIR code.
bool isPaddedAtomicType(QualType type)
This class handles record and union layout info while lowering AST types to CIR types.
bool isZeroInitializable() const
Check whether this struct can be C++ zero-initialized with a zeroinitializer.
This class organizes the cross-module state that is used while lowering AST types to CIR types.
const CIRGenFunctionInfo & arrangeGlobalDeclaration(GlobalDecl gd)
unsigned getTargetAddressSpace(QualType ty) const
const CIRGenFunctionInfo & arrangeCXXStructorDeclaration(clang::GlobalDecl gd)
const CIRGenFunctionInfo & arrangeCIRFunctionInfo(CanQualType returnType, bool isInstanceMethod, llvm::ArrayRef< CanQualType > argTypes, FunctionType::ExtInfo info, RequiredArgs required)
const CIRGenFunctionInfo & arrangeFreeFunctionType(CanQual< FunctionProtoType > fpt)
bool isZeroInitializable(clang::QualType ty)
Return whether a type can be zero-initialized (in the C++ sense) with an LLVM zeroinitializer.
bool isFuncTypeConvertible(const clang::FunctionType *ft)
Utility to check whether a function type can be converted to a CIR type (i.e.
CIRGenTypes(CIRGenModule &cgm)
bool isRecordBeingLaidOut(const clang::Type *ty) const
CIRGenBuilderTy & getBuilder() const
mlir::MLIRContext & getMLIRContext() const
bool isCachedSafeToConvert(const clang::Type *key) const
Check if a record type key is in the safe-to-convert cache.
cir::FuncType getFunctionType(const CIRGenFunctionInfo &info)
Get the CIR function type for.
bool isFuncParamTypeConvertible(clang::QualType type)
Return true if the specified type in a function parameter or result position can be converted to a CI...
void updateCompletedType(const clang::TagDecl *td)
UpdateCompletedType - when we find the full definition for a TagDecl, replace the 'opaque' type we pr...
std::string getRecordTypeName(const clang::RecordDecl *, llvm::StringRef suffix)
bool noRecordsBeingLaidOut() const
const ABIInfo & getABIInfo() const
const CIRGenFunctionInfo & arrangeFunctionDeclaration(const clang::FunctionDecl *fd)
Free functions are functions that are compatible with an ordinary C function pointer type.
clang::ASTContext & getASTContext() const
bool isRecordLayoutComplete(const clang::Type *ty) const
Return true if the specified type is already completely laid out.
const CIRGenFunctionInfo & arrangeDeviceKernelCallerDeclaration(clang::QualType resultType, const FunctionArgList &args)
Arrange the function info for a device kernel caller entry point (e.g.
mlir::Type convertType(clang::QualType type)
Convert a Clang type into a mlir::Type.
const CIRGenRecordLayout & getCIRGenRecordLayout(const clang::RecordDecl *rd)
Return record layout info for the given record decl.
std::unique_ptr< CIRGenRecordLayout > computeRecordLayout(const clang::RecordDecl *rd, cir::RecordType *ty)
mlir::Type convertRecordDeclType(const clang::RecordDecl *recordDecl)
Lay out a tagged decl type like struct or union.
void cacheSafeToConvert(const clang::Type *key)
Add a record type key to the safe-to-convert cache.
mlir::Type convertTypeForMem(clang::QualType, bool forBitField=false)
Convert type T into an mlir::Type.
Type for representing both the decl and type of parameters to a function.
A class for recording the number of arguments that a function signature requires.
Represents a base class of a C++ class.
Represents a C++ struct/union/class.
static CanQual< T > CreateUnsafe(QualType Other)
Builds a canonical type from a QualType.
bool isCanonicalAsParam() const
Determines if this canonical type is furthermore canonical as a parameter.
const T * getTypePtr() const
Retrieve the underlying type pointer, which refers to a canonical type.
Represents the canonical version of C arrays with a specified constant size.
llvm::APInt getSize() const
Return the constant array size as an APInt.
Represents a member of a struct/union/class.
Represents a K&R-style 'int foo()' function, which has no information available about its arguments.
Represents a prototype with parameter type info, e.g.
A class which abstracts out some details necessary for making a call.
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
GlobalDecl - represents a global declaration.
const Decl * getDecl() const
Represents a C array with an unspecified size.
A pointer to member type per C++ 8.3.3 - Pointers to members.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
CXXRecordDecl * getAsRecordDecl() const
Retrieve the record declaration stored in this nested name specifier, or null.
const Type * getAsType() const
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
A (possibly-)qualified type.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
LangAS getAddressSpace() const
Return the address space of this type.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
bool hasAddressSpace() const
Check if this type has any address space qualifier.
Represents a struct/union/class.
field_range fields() const
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
Base for LValueReferenceType and RValueReferenceType.
QualType getPointeeType() const
Encodes a location in the source.
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
The base class of the type hierarchy.
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isConstantMatrixType() const
CanQualType getCanonicalTypeUnqualified() const
EnumDecl * castAsEnumDecl() const
bool isFunctionType() const
TypeClass getTypeClass() const
const T * getAs() const
Member-template getAs<specific type>'.
Represents a variable declaration or definition.
Represents a C array with a specified size that is not an integer-constant-expression.
Represents a GCC generic vector type.
unsigned getNumElements() const
QualType getElementType() const
Defines the clang::TargetInfo interface.
bool isSized(mlir::Type ty)
Returns true if the type is a CIR sized type.
@ Type
The l-value was considered opaque, so the alignment was determined from a type.
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecl > typedefNameDecl
Matches typedef name declarations.
const AstTypeMatcher< TagType > tagType
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< RecordType > recordType
const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDecl > cxxRecordDecl
Matches C++ class declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
const internal::VariadicAllOfMatcher< QualType > qualType
Matches QualTypes in the clang AST.
Top level wrappers for InstallAPI frontend operations.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
bool isa(CodeGen::Address addr)
bool isInstanceMethod(const Decl *D)
U cast(CodeGen::Address addr)
static bool opCallCallConv()
static bool cudaTextureType()
static bool generateDebugInfo()
Describes how types, statements, expressions, and declarations should be printed.
unsigned SuppressTagKeyword
Whether type printing should skip printing the tag keyword.
unsigned AlwaysIncludeTypeForTemplateArgument
Whether to use type suffixes (eg: 1U) on integral non-type template parameters.
unsigned SuppressInlineNamespace
Suppress printing parts of scope specifiers that correspond to inline namespaces.
unsigned PrintAsCanonical
Whether to print entities as written or canonically.