17 #include "llvm-c/Core.h"
18 #include "llvm/ADT/SmallVector.h"
19 #include "llvm/ADT/SmallVectorExtras.h"
31 return isa<LLVM::LLVMPointerType>(
unwrap(type));
35 return cast<LLVM::LLVMPointerType>(
unwrap(pointerType)).getAddressSpace();
51 MlirType
const *argumentTypes,
bool isVarArg) {
55 unwrapList(nArgumentTypes, argumentTypes, argumentStorage), isVarArg));
59 return llvm::cast<LLVM::LLVMFunctionType>(
unwrap(type)).getNumParams();
63 assert(pos >= 0 &&
"pos in array must be positive");
64 return wrap(llvm::cast<LLVM::LLVMFunctionType>(
unwrap(type))
65 .getParamType(
static_cast<unsigned>(pos)));
69 return wrap(llvm::cast<LLVM::LLVMFunctionType>(
unwrap(type)).getReturnType());
73 return isa<LLVM::LLVMStructType>(
unwrap(type));
77 return !cast<LLVM::LLVMStructType>(
unwrap(type)).isIdentified();
81 return cast<LLVM::LLVMStructType>(
unwrap(type)).getBody().size();
85 return wrap(cast<LLVM::LLVMStructType>(
unwrap(type)).getBody()[position]);
89 return cast<LLVM::LLVMStructType>(
unwrap(type)).isPacked();
93 return wrap(cast<LLVM::LLVMStructType>(
unwrap(type)).getName());
97 return cast<LLVM::LLVMStructType>(
unwrap(type)).isOpaque();
101 MlirType
const *fieldTypes,
104 return wrap(LLVMStructType::getLiteral(
110 intptr_t nFieldTypes,
111 MlirType
const *fieldTypes,
114 return wrap(LLVMStructType::getLiteralChecked(
116 unwrapList(nFieldTypes, fieldTypes, fieldStorage), isPacked));
128 intptr_t nFieldTypes,
129 MlirType
const *fieldTypes,
132 return wrap(LLVMStructType::getNewIdentified(
138 intptr_t nFieldTypes,
139 MlirType
const *fieldTypes,
143 cast<LLVM::LLVMStructType>(
unwrap(structType))
144 .setBody(
unwrapList(nFieldTypes, fieldTypes, fields), isPacked));
150 uint64_t
const *arguments) {
156 MlirAttribute
const *operations) {
158 attrStorage.reserve(nOperations);
163 unwrapList(nOperations, operations, attrStorage),
164 [](
Attribute a) {
return cast<DIExpressionElemAttr>(a); })));
177 unwrap(ctx), tag, cast<StringAttr>(
unwrap(name)), sizeInBits, encoding));
182 DICompositeTypeAttr::getRecSelf(cast<DistinctAttr>(
unwrap(recId))));
186 MlirContext ctx, MlirAttribute recId,
bool isRecSelf,
unsigned int tag,
187 MlirAttribute name, MlirAttribute file, uint32_t line, MlirAttribute scope,
188 MlirAttribute baseType, int64_t flags, uint64_t sizeInBits,
189 uint64_t alignInBits, intptr_t nElements, MlirAttribute
const *elements,
190 MlirAttribute dataLocation, MlirAttribute rank, MlirAttribute allocated,
191 MlirAttribute associated) {
193 elementsStorage.reserve(nElements);
196 unwrap(ctx), cast<DistinctAttr>(
unwrap(recId)), isRecSelf, tag,
197 cast<StringAttr>(
unwrap(name)), cast<DIFileAttr>(
unwrap(file)), line,
198 cast<DIScopeAttr>(
unwrap(scope)), cast<DITypeAttr>(
unwrap(baseType)),
199 DIFlags(flags), sizeInBits, alignInBits,
200 llvm::map_to_vector(
unwrapList(nElements, elements, elementsStorage),
201 [](
Attribute a) {
return cast<DINodeAttr>(a); }),
202 cast<DIExpressionAttr>(
unwrap(dataLocation)),
203 cast<DIExpressionAttr>(
unwrap(rank)),
204 cast<DIExpressionAttr>(
unwrap(allocated)),
205 cast<DIExpressionAttr>(
unwrap(associated))));
209 MlirContext ctx,
unsigned int tag, MlirAttribute name,
210 MlirAttribute baseType, uint64_t sizeInBits, uint32_t alignInBits,
211 uint64_t offsetInBits, int64_t dwarfAddressSpace, MlirAttribute extraData) {
212 std::optional<unsigned> addressSpace = std::nullopt;
213 if (dwarfAddressSpace >= 0)
214 addressSpace = (unsigned)dwarfAddressSpace;
217 cast<DITypeAttr>(
unwrap(baseType)), sizeInBits, alignInBits, offsetInBits,
218 addressSpace, cast<DINodeAttr>(
unwrap(extraData))));
222 MlirContext ctx,
unsigned int tag, MlirAttribute name, uint64_t sizeInBits,
223 uint32_t alignInBits, MlirAttribute stringLength,
224 MlirAttribute stringLengthExp, MlirAttribute stringLocationExp,
227 unwrap(ctx), tag, cast<StringAttr>(
unwrap(name)), sizeInBits, alignInBits,
228 cast<DIVariableAttr>(
unwrap(stringLength)),
229 cast<DIExpressionAttr>(
unwrap(stringLengthExp)),
230 cast<DIExpressionAttr>(
unwrap(stringLocationExp)), encoding));
235 return wrap(cast<DIDerivedTypeAttr>(
unwrap(diDerivedType)).getBaseType());
251 MlirAttribute directory) {
253 cast<StringAttr>(
unwrap(directory))));
258 unsigned int sourceLanguage, MlirAttribute file,
259 MlirAttribute producer,
bool isOptimized,
263 unwrap(ctx), cast<DistinctAttr>(
unwrap(
id)), sourceLanguage,
264 cast<DIFileAttr>(
unwrap(file)), cast<StringAttr>(
unwrap(producer)),
265 isOptimized, DIEmissionKind(emissionKind),
266 DINameTableKind(nameTableKind)));
277 unsigned int column) {
280 cast<DIFileAttr>(
unwrap(file)), line, column));
286 unsigned int discriminator) {
289 cast<DIFileAttr>(
unwrap(file)), discriminator));
293 MlirContext ctx, MlirAttribute scope, MlirAttribute name,
294 MlirAttribute diFile,
unsigned int line,
unsigned int arg,
295 unsigned int alignInBits, MlirAttribute diType, int64_t flags) {
298 cast<StringAttr>(
unwrap(name)), cast<DIFileAttr>(
unwrap(diFile)), line,
299 arg, alignInBits, cast<DITypeAttr>(
unwrap(diType)), DIFlags(flags)));
303 unsigned int callingConvention,
305 MlirAttribute
const *types) {
307 attrStorage.reserve(nTypes);
310 unwrap(ctx), callingConvention,
311 llvm::map_to_vector(
unwrapList(nTypes, types, attrStorage),
312 [](
Attribute a) {
return cast<DITypeAttr>(a); })));
316 return wrap(DISubprogramAttr::getRecSelf(cast<DistinctAttr>(
unwrap(recId))));
320 MlirContext ctx, MlirAttribute recId,
bool isRecSelf, MlirAttribute
id,
321 MlirAttribute compileUnit, MlirAttribute scope, MlirAttribute name,
322 MlirAttribute linkageName, MlirAttribute file,
unsigned int line,
323 unsigned int scopeLine, uint64_t subprogramFlags, MlirAttribute type,
324 intptr_t nRetainedNodes, MlirAttribute
const *retainedNodes,
325 intptr_t nAnnotations, MlirAttribute
const *annotations) {
327 nodesStorage.reserve(nRetainedNodes);
330 annotationsStorage.reserve(nAnnotations);
333 unwrap(ctx), cast<DistinctAttr>(
unwrap(recId)), isRecSelf,
334 cast<DistinctAttr>(
unwrap(
id)),
335 cast<DICompileUnitAttr>(
unwrap(compileUnit)),
336 cast<DIScopeAttr>(
unwrap(scope)), cast<StringAttr>(
unwrap(name)),
337 cast<StringAttr>(
unwrap(linkageName)), cast<DIFileAttr>(
unwrap(file)),
338 line, scopeLine, DISubprogramFlags(subprogramFlags),
339 cast<DISubroutineTypeAttr>(
unwrap(type)),
341 unwrapList(nRetainedNodes, retainedNodes, nodesStorage),
342 [](
Attribute a) {
return cast<DINodeAttr>(a); }),
344 unwrapList(nAnnotations, annotations, annotationsStorage),
345 [](
Attribute a) {
return cast<DINodeAttr>(a); })));
349 return wrap(cast<DISubprogramAttr>(
unwrap(diSubprogram)).getScope());
353 return cast<DISubprogramAttr>(
unwrap(diSubprogram)).getLine();
357 return cast<DISubprogramAttr>(
unwrap(diSubprogram)).getScopeLine();
362 return wrap(cast<DISubprogramAttr>(
unwrap(diSubprogram)).getCompileUnit());
366 return wrap(cast<DISubprogramAttr>(
unwrap(diSubprogram)).getFile());
374 MlirAttribute scope, MlirAttribute name,
375 MlirAttribute configMacros,
376 MlirAttribute includePath,
377 MlirAttribute apinotes,
unsigned int line,
381 cast<DIScopeAttr>(
unwrap(scope)), cast<StringAttr>(
unwrap(name)),
382 cast<StringAttr>(
unwrap(configMacros)),
383 cast<StringAttr>(
unwrap(includePath)), cast<StringAttr>(
unwrap(apinotes)),
388 return wrap(cast<DIModuleAttr>(
unwrap(diModule)).getScope());
392 MlirContext ctx,
unsigned int tag, MlirAttribute scope,
393 MlirAttribute entity, MlirAttribute file,
unsigned int line,
394 MlirAttribute name, intptr_t nElements, MlirAttribute
const *elements) {
396 elementsStorage.reserve(nElements);
399 cast<DINodeAttr>(
unwrap(entity)), cast<DIFileAttr>(
unwrap(file)), line,
400 cast<StringAttr>(
unwrap(name)),
401 llvm::map_to_vector(
unwrapList(nElements, elements, elementsStorage),
402 [](
Attribute a) {
return cast<DINodeAttr>(a); })));
406 MlirAttribute value) {
408 cast<StringAttr>(
unwrap(value))));
bool mlirLLVMStructTypeIsLiteral(MlirType type)
Returns true if the type is a literal (unnamed) LLVM struct type.
MlirAttribute mlirLLVMLinkageAttrGet(MlirContext ctx, MlirLLVMLinkage linkage)
Creates a LLVM Linkage attribute.
MlirAttribute mlirLLVMDISubprogramAttrGetFile(MlirAttribute diSubprogram)
Gets the file from this DISubprogramAttr.
MlirType mlirLLVMFunctionTypeGet(MlirType resultType, intptr_t nArgumentTypes, MlirType const *argumentTypes, bool isVarArg)
Creates an llvm.func type.
MlirAttribute mlirLLVMDIModuleAttrGetScope(MlirAttribute diModule)
Gets the scope of this DIModuleAttr.
MlirType mlirLLVMFunctionTypeGetInput(MlirType type, intptr_t pos)
Returns the pos-th input type.
intptr_t mlirLLVMStructTypeGetNumElementTypes(MlirType type)
Returns the number of fields in the struct.
intptr_t mlirLLVMFunctionTypeGetNumInputs(MlirType type)
Returns the number of input types.
MlirAttribute mlirLLVMDINullTypeAttrGet(MlirContext ctx)
Creates a LLVM DINullType attribute.
MlirType mlirLLVMArrayTypeGetElementType(MlirType type)
Returns the element type of the llvm.array type.
MlirLogicalResult mlirLLVMStructTypeSetBody(MlirType structType, intptr_t nFieldTypes, MlirType const *fieldTypes, bool isPacked)
Sets the body of the identified struct if it hasn't been set yet.
MlirAttribute mlirLLVMDIFileAttrGet(MlirContext ctx, MlirAttribute name, MlirAttribute directory)
Creates a LLVM DIFileAttr attribute.
MlirAttribute mlirLLVMDICompileUnitAttrGet(MlirContext ctx, MlirAttribute id, unsigned int sourceLanguage, MlirAttribute file, MlirAttribute producer, bool isOptimized, MlirLLVMDIEmissionKind emissionKind, MlirLLVMDINameTableKind nameTableKind)
Creates a LLVM DICompileUnit attribute.
bool mlirTypeIsALLVMStructType(MlirType type)
Returns true if the type is an LLVM dialect struct type.
MlirStringRef mlirLLVMStructTypeGetIdentifier(MlirType type)
Returns the identifier of the identified struct.
MlirAttribute mlirLLVMDIStringTypeAttrGet(MlirContext ctx, unsigned int tag, MlirAttribute name, uint64_t sizeInBits, uint32_t alignInBits, MlirAttribute stringLength, MlirAttribute stringLengthExp, MlirAttribute stringLocationExp, MlirLLVMTypeEncoding encoding)
MlirAttribute mlirLLVMDICompositeTypeAttrGet(MlirContext ctx, MlirAttribute recId, bool isRecSelf, unsigned int tag, MlirAttribute name, MlirAttribute file, uint32_t line, MlirAttribute scope, MlirAttribute baseType, int64_t flags, uint64_t sizeInBits, uint64_t alignInBits, intptr_t nElements, MlirAttribute const *elements, MlirAttribute dataLocation, MlirAttribute rank, MlirAttribute allocated, MlirAttribute associated)
Creates a LLVM DICompositeType attribute.
MlirAttribute mlirLLVMDISubprogramAttrGetScope(MlirAttribute diSubprogram)
Gets the scope from this DISubprogramAttr.
MlirAttribute mlirLLVMDILexicalBlockAttrGet(MlirContext ctx, MlirAttribute scope, MlirAttribute file, unsigned int line, unsigned int column)
Creates a LLVM DILexicalBlock attribute.
MlirAttribute mlirLLVMDIExpressionElemAttrGet(MlirContext ctx, unsigned int opcode, intptr_t nArguments, uint64_t const *arguments)
Creates a LLVM DIExpressionElem attribute.
MlirAttribute mlirLLVMDICompositeTypeAttrGetRecSelf(MlirAttribute recId)
Creates a self-referencing LLVM DICompositeType attribute.
MlirAttribute mlirLLVMDIBasicTypeAttrGet(MlirContext ctx, unsigned int tag, MlirAttribute name, uint64_t sizeInBits, MlirLLVMTypeEncoding encoding)
Creates a LLVM DIBasicType attribute.
MlirType mlirLLVMFunctionTypeGetReturnType(MlirType type)
Returns the return type of the function type.
MlirAttribute mlirLLVMComdatAttrGet(MlirContext ctx, MlirLLVMComdat comdat)
Creates a LLVM Comdat attribute.
MlirAttribute mlirLLVMDISubprogramAttrGetRecSelf(MlirAttribute recId)
Creates a self-referencing LLVM DISubprogramAttr attribute.
MlirType mlirLLVMVoidTypeGet(MlirContext ctx)
Creates an llmv.void type.
MlirAttribute mlirLLVMDIImportedEntityAttrGet(MlirContext ctx, unsigned int tag, MlirAttribute scope, MlirAttribute entity, MlirAttribute file, unsigned int line, MlirAttribute name, intptr_t nElements, MlirAttribute const *elements)
Creates a LLVM DIImportedEntityAttr attribute.
MlirType mlirLLVMStructTypeIdentifiedNewGet(MlirContext ctx, MlirStringRef name, intptr_t nFieldTypes, MlirType const *fieldTypes, bool isPacked)
Creates an LLVM identified struct type with no body and a name starting with the given prefix.
MlirType mlirLLVMStructTypeGetElementType(MlirType type, intptr_t position)
Returns the positions-th field of the struct.
MlirType mlirLLVMStructTypeOpaqueGet(MlirContext ctx, MlirStringRef name)
MlirType mlirLLVMArrayTypeGet(MlirType elementType, unsigned numElements)
Creates an llvm.array type.
MlirAttribute mlirLLVMDISubprogramAttrGetType(MlirAttribute diSubprogram)
Gets the type from this DISubprogramAttr.
MlirAttribute mlirLLVMDISubprogramAttrGetCompileUnit(MlirAttribute diSubprogram)
Gets the compile unit from this DISubprogram.
MlirAttribute mlirLLVMDIModuleAttrGet(MlirContext ctx, MlirAttribute file, MlirAttribute scope, MlirAttribute name, MlirAttribute configMacros, MlirAttribute includePath, MlirAttribute apinotes, unsigned int line, bool isDecl)
Creates a LLVM DIModuleAttr attribute.
MlirAttribute mlirLLVMCConvAttrGet(MlirContext ctx, MlirLLVMCConv cconv)
Creates a LLVM CConv attribute.
MlirAttribute mlirLLVMDIAnnotationAttrGet(MlirContext ctx, MlirAttribute name, MlirAttribute value)
Creates a LLVM DIAnnotation attribute.
MlirType mlirLLVMStructTypeLiteralGetChecked(MlirLocation loc, intptr_t nFieldTypes, MlirType const *fieldTypes, bool isPacked)
Creates an LLVM literal (unnamed) struct type if possible.
MlirAttribute mlirLLVMDILexicalBlockFileAttrGet(MlirContext ctx, MlirAttribute scope, MlirAttribute file, unsigned int discriminator)
Creates a LLVM DILexicalBlockFile attribute.
MlirAttribute mlirLLVMDIExpressionAttrGet(MlirContext ctx, intptr_t nOperations, MlirAttribute const *operations)
Creates a LLVM DIExpression attribute.
bool mlirLLVMStructTypeIsPacked(MlirType type)
Returns true if the struct is packed.
MlirAttribute mlirLLVMDISubprogramAttrGet(MlirContext ctx, MlirAttribute recId, bool isRecSelf, MlirAttribute id, MlirAttribute compileUnit, MlirAttribute scope, MlirAttribute name, MlirAttribute linkageName, MlirAttribute file, unsigned int line, unsigned int scopeLine, uint64_t subprogramFlags, MlirAttribute type, intptr_t nRetainedNodes, MlirAttribute const *retainedNodes, intptr_t nAnnotations, MlirAttribute const *annotations)
Creates a LLVM DISubprogramAttr attribute.
unsigned mlirLLVMPointerTypeGetAddressSpace(MlirType pointerType)
Returns address space of llvm.ptr.
MlirAttribute mlirLLVMDIFlagsAttrGet(MlirContext ctx, uint64_t value)
Creates a LLVM DIFlags attribute.
MlirType mlirLLVMStructTypeIdentifiedGet(MlirContext ctx, MlirStringRef name)
Creates an LLVM identified struct type with no body.
MlirAttribute mlirLLVMDISubroutineTypeAttrGet(MlirContext ctx, unsigned int callingConvention, intptr_t nTypes, MlirAttribute const *types)
Creates a LLVM DISubroutineTypeAttr attribute.
MlirAttribute mlirLLVMDIDerivedTypeAttrGetBaseType(MlirAttribute diDerivedType)
Gets the base type from a LLVM DIDerivedType attribute.
bool mlirLLVMStructTypeIsOpaque(MlirType type)
Returns true is the struct is explicitly opaque (will not have a body) or uninitialized (will eventua...
bool mlirTypeIsALLVMPointerType(MlirType type)
Returns true if the type is an LLVM dialect pointer type.
unsigned int mlirLLVMDISubprogramAttrGetLine(MlirAttribute diSubprogram)
Gets the line from this DISubprogramAttr.
MlirAttribute mlirLLVMDILocalVariableAttrGet(MlirContext ctx, MlirAttribute scope, MlirAttribute name, MlirAttribute diFile, unsigned int line, unsigned int arg, unsigned int alignInBits, MlirAttribute diType, int64_t flags)
Creates a LLVM DILocalVariableAttr attribute.
MlirType mlirLLVMPointerTypeGet(MlirContext ctx, unsigned addressSpace)
Creates an llvm.ptr type.
unsigned int mlirLLVMDISubprogramAttrGetScopeLine(MlirAttribute diSubprogram)
Gets the scope line from this DISubprogram.
MlirAttribute mlirLLVMDIDerivedTypeAttrGet(MlirContext ctx, unsigned int tag, MlirAttribute name, MlirAttribute baseType, uint64_t sizeInBits, uint32_t alignInBits, uint64_t offsetInBits, int64_t dwarfAddressSpace, MlirAttribute extraData)
Creates a LLVM DIDerivedType attribute.
MlirType mlirLLVMStructTypeLiteralGet(MlirContext ctx, intptr_t nFieldTypes, MlirType const *fieldTypes, bool isPacked)
Creates an LLVM literal (unnamed) struct type.
#define MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Name, Namespace, ClassName)
static Type getElementType(Type type, ArrayRef< int32_t > indices, function_ref< InFlightDiagnostic(StringRef)> emitErrorFn)
Walks the given type hierarchy with the given indices, potentially down to component granularity,...
static llvm::ArrayRef< CppTy > unwrapList(size_t size, CTy *first, llvm::SmallVectorImpl< CppTy > &storage)
Attributes are known-constant values of operations.
mlir::Diagnostic & unwrap(MlirDiagnostic diagnostic)
MlirDiagnostic wrap(mlir::Diagnostic &diagnostic)
The OpAsmOpInterface, see OpAsmInterface.td for more details.
Include the generated interface declarations.
Type getType(OpFoldResult ofr)
Returns the int type of the integer in ofr.
InFlightDiagnostic emitError(Location loc)
Utility method to emit an error message using this location.
auto get(MLIRContext *context, Ts &&...params)
Helper method that injects context only if needed, this helps unify some of the attribute constructio...
A logical result value, essentially a boolean with named states.
A pointer to a sized fragment of a string, not necessarily null-terminated.