#include "mlir/Target/LLVMIR/ModuleImport.h"#include "mlir/IR/BuiltinAttributes.h"#include "mlir/Target/LLVMIR/Import.h"#include "AttrKindDetail.h"#include "DebugImporter.h"#include "LoopAnnotationImporter.h"#include "mlir/Dialect/DLTI/DLTI.h"#include "mlir/Dialect/LLVMIR/LLVMDialect.h"#include "mlir/IR/Builders.h"#include "mlir/IR/Matchers.h"#include "mlir/Interfaces/DataLayoutInterfaces.h"#include "mlir/Target/LLVMIR/DataLayoutImporter.h"#include "mlir/Tools/mlir-translate/Translation.h"#include "llvm/ADT/DepthFirstIterator.h"#include "llvm/ADT/PostOrderIterator.h"#include "llvm/ADT/ScopeExit.h"#include "llvm/ADT/StringExtras.h"#include "llvm/ADT/TypeSwitch.h"#include "llvm/IR/Comdat.h"#include "llvm/IR/Constants.h"#include "llvm/IR/DebugProgramInstruction.h"#include "llvm/IR/InlineAsm.h"#include "llvm/IR/InstIterator.h"#include "llvm/IR/Instructions.h"#include "llvm/IR/IntrinsicInst.h"#include "llvm/IR/Metadata.h"#include "llvm/IR/Operator.h"#include "llvm/Support/LogicalResult.h"#include "llvm/Support/ModRef.h"#include <optional>#include "mlir/Dialect/LLVMIR/LLVMConversionEnumsFromLLVM.inc"#include "mlir/Dialect/LLVMIR/LLVMOpFromLLVMIRConversions.inc"Go to the source code of this file.
Functions | |
| static std::string | diag (const llvm::Value &value) |
| static std::string | diagMD (const llvm::Metadata *node, const llvm::Module *module) |
| static constexpr StringRef | getGlobalCtorsVarName () |
| Returns the name of the global_ctors global variables. | |
| static constexpr StringRef | getNamelessGlobalPrefix () |
| Prefix used for symbols of nameless llvm globals. | |
| static constexpr StringRef | getGlobalDtorsVarName () |
| Returns the name of the global_dtors global variables. | |
| static constexpr StringRef | getGlobalComdatOpName () |
| Returns the symbol name for the module-level comdat operation. | |
| static StringRef | getLLVMSyncScope (llvm::Instruction *inst) |
| Converts the sync scope identifier of inst to the string representation necessary to build an atomic LLVM dialect operation. | |
| static SmallVector< int64_t > | getPositionFromIndices (ArrayRef< unsigned > indices) |
| Converts an array of unsigned indices to a signed integer position array. | |
| static LogicalResult | convertInstructionImpl (OpBuilder &odsBuilder, llvm::Instruction *inst, ModuleImport &moduleImport, LLVMImportInterface &iface) |
| Converts the LLVM instructions that have a generated MLIR builder. | |
| static SetVector< llvm::BasicBlock * > | getTopologicallySortedBlocks (ArrayRef< llvm::BasicBlock * > basicBlocks) |
| Get a topologically sorted list of blocks for the given basic blocks. | |
| static Attribute | convertCGProfileModuleFlagValue (ModuleOp mlirModule, llvm::MDTuple *mdTuple) |
| static llvm::MDTuple * | getTwoElementMDTuple (ModuleOp mlirModule, const llvm::Module *llvmModule, const llvm::MDOperand &md) |
| Extract a two element MDTuple from a MDOperand. | |
| static llvm::ConstantAsMetadata * | getConstantMDFromKeyValueTuple (ModuleOp mlirModule, const llvm::Module *llvmModule, const llvm::MDOperand &md, StringRef matchKey, bool optional=false) |
| Extract a constant metadata value from a two element tuple (<key, value>). | |
| static FailureOr< uint64_t > | convertInt64FromKeyValueTuple (ModuleOp mlirModule, const llvm::Module *llvmModule, const llvm::MDOperand &md, StringRef matchKey) |
| Extract an integer value from a two element tuple (<key, value>). | |
| static std::optional< ProfileSummaryFormatKind > | convertProfileSummaryFormat (ModuleOp mlirModule, const llvm::Module *llvmModule, const llvm::MDOperand &formatMD) |
| static FailureOr< SmallVector< ModuleFlagProfileSummaryDetailedAttr > > | convertProfileSummaryDetailed (ModuleOp mlirModule, const llvm::Module *llvmModule, const llvm::MDOperand &summaryMD) |
| static Attribute | convertProfileSummaryModuleFlagValue (ModuleOp mlirModule, const llvm::Module *llvmModule, llvm::MDTuple *mdTuple) |
| static Attribute | convertModuleFlagValueFromMDTuple (ModuleOp mlirModule, const llvm::Module *llvmModule, StringRef key, llvm::MDTuple *mdTuple) |
| Invoke specific handlers for each known module flag value, returns nullptr if the key is unknown or unimplemented. | |
| static Type | getVectorTypeForAttr (Type type, ArrayRef< int64_t > arrayShape={}) |
| Returns type if it is a builtin integer or floating-point vector type that can be used to create an attribute or nullptr otherwise. | |
| static TypedAttr | getScalarConstantAsAttr (OpBuilder &builder, llvm::Constant *constScalar) |
| Returns an integer or float attribute for the provided scalar constant constScalar or nullptr if the conversion fails. | |
| static SmallVector< Attribute > | getSequenceConstantAsAttrs (OpBuilder &builder, llvm::ConstantDataSequential *constSequence) |
| Returns an integer or float attribute array for the provided constant sequence constSequence or nullptr if the conversion fails. | |
| static ArrayAttr | convertLLVMAttributesToMLIR (Location loc, MLIRContext *context, llvm::AttributeSet attributes, ArrayRef< StringLiteral > attributesToSkip={}) |
| Converts LLVM string, integer, and enum attributes into MLIR attributes, skipping those in attributesToSkip and emitting a warning at loc for any other unsupported attributes. | |
| static void | processTargetSpecificAttrs (llvm::GlobalVariable *globalVar, GlobalOp globalOp) |
| Converts LLVM attributes from globalVar into MLIR attributes and adds them to globalOp as target-specific attributes. | |
| static LogicalResult | checkFunctionTypeCompatibility (LLVMFunctionType callType, LLVMFunctionType calleeType) |
| Checks if callType and calleeType are compatible and can be represented in MLIR. | |
| static void | processMemoryEffects (llvm::Function *func, LLVMFuncOp funcOp) |
| static void | processPassthroughAttrs (llvm::Function *func, LLVMFuncOp funcOp) |
| Converts LLVM attributes from func into MLIR attributes and adds them to funcOp as passthrough attributes, skipping those listed in kExplicitLLVMFuncAttributes. | |
| template<typename Op> | |
| static LogicalResult | convertCallBaseAttributes (llvm::CallBase *inst, Op op) |
| static bool | isMetadataKillLocation (llvm::DbgVariableIntrinsic *dbgIntr) |
| Checks if dbgIntr is a kill location that holds metadata instead of an SSA value. | |
| static LogicalResult | setDebugIntrinsicBuilderInsertionPoint (mlir::OpBuilder &builder, DominanceInfo &domInfo, Value argOperand) |
| Ensure that the debug intrinsic is inserted right after the operand definition. | |
Variables | |
| static constexpr std::array | kExplicitLLVMFuncOpAttributes |
Function Documentation
◆ checkFunctionTypeCompatibility()
|
static |
Checks if callType and calleeType are compatible and can be represented in MLIR.
Definition at line 2112 of file ModuleImport.cpp.
References success().
◆ convertCallBaseAttributes()
|
static |
Definition at line 2909 of file ModuleImport.cpp.
References success().
◆ convertCGProfileModuleFlagValue()
|
static |
Definition at line 532 of file ModuleImport.cpp.
References mlir::FlatSymbolRefAttr::get().
Referenced by convertModuleFlagValueFromMDTuple().
◆ convertInstructionImpl()
|
static |
Converts the LLVM instructions that have a generated MLIR builder.
Using a static implementation method called from the module import ensures the builders have to use the moduleImport argument and cannot directly call import methods. As a result, both the intrinsic and the instruction MLIR builders have to use the moduleImport argument and none of them has direct access to the private module import methods.
Definition at line 133 of file ModuleImport.cpp.
References mlir::LLVMImportInterface::convertInstruction(), and mlir::LLVMImportInterface::isConvertibleInstruction().
◆ convertInt64FromKeyValueTuple()
|
static |
Extract an integer value from a two element tuple (<key, value>).
Fail if requirements are not met. A warning is emitted if the found value isn't a LLVM constant integer.
Definition at line 604 of file ModuleImport.cpp.
References diagMD(), mlir::emitWarning(), and getConstantMDFromKeyValueTuple().
Referenced by convertProfileSummaryModuleFlagValue().
◆ convertLLVMAttributesToMLIR()
|
static |
Converts LLVM string, integer, and enum attributes into MLIR attributes, skipping those in attributesToSkip and emitting a warning at loc for any other unsupported attributes.
Definition at line 1423 of file ModuleImport.cpp.
Referenced by processPassthroughAttrs(), and processTargetSpecificAttrs().
◆ convertModuleFlagValueFromMDTuple()
|
static |
Invoke specific handlers for each known module flag value, returns nullptr if the key is unknown or unimplemented.
Definition at line 836 of file ModuleImport.cpp.
References convertCGProfileModuleFlagValue(), and convertProfileSummaryModuleFlagValue().
Referenced by mlir::LLVM::ModuleImport::convertModuleFlagsMetadata().
◆ convertProfileSummaryDetailed()
|
static |
Definition at line 651 of file ModuleImport.cpp.
References diagMD(), mlir::emitWarning(), and getTwoElementMDTuple().
Referenced by convertProfileSummaryModuleFlagValue().
◆ convertProfileSummaryFormat()
|
static |
Definition at line 622 of file ModuleImport.cpp.
References diagMD(), mlir::emitWarning(), and getTwoElementMDTuple().
Referenced by convertProfileSummaryModuleFlagValue().
◆ convertProfileSummaryModuleFlagValue()
|
static |
Definition at line 705 of file ModuleImport.cpp.
References convertInt64FromKeyValueTuple(), convertProfileSummaryDetailed(), convertProfileSummaryFormat(), diagMD(), mlir::emitWarning(), getConstantMDFromKeyValueTuple(), and success().
Referenced by convertModuleFlagValueFromMDTuple().
◆ diag()
|
static |
Definition at line 57 of file ModuleImport.cpp.
Referenced by mlir::transform::gpu::alterGpuLaunch(), mlir::transform::TransformState::applyTransform(), mlir::transform::detail::applyTransformToEach(), mlir::transform::detail::checkApplyToOne(), checkDoubleConsume(), checkMappingSpec(), mlir::transform::detail::checkNestedConsumption(), checkRepeatedConsumptionInOperand(), cloneAndFuseFirstUse(), mlir::LLVM::ModuleImport::convertAliases(), mlir::lsp::MLIRServer::convertFromBytecode(), mlir::LLVM::ModuleImport::convertGlobals(), mlir::LLVM::ModuleImport::convertIFuncs(), convertMixedValuesToInt(), mlir::LLVM::ModuleImport::convertValue(), mlir::transform::gpu::createGpuLaunch(), diagnoseInvalidOperandDominance(), mlir::detail::DiagnosticEngineImpl::emit(), mlir::DiagnosticEngine::emit(), emitDiag(), mlir::SourceMgrDiagnosticHandler::emitDiagnostic(), mlir::SourceMgrDiagnosticHandler::emitDiagnostic(), mlir::detail::ParallelDiagnosticHandlerImpl::emitDiagnostics(), mlir::detail::Parser::emitError(), mlir::Operation::emitError(), mlir::Operation::emitRemark(), mlir::Operation::emitWarning(), ensurePayloadIsSeparateFromTransform(), mlir::detail::PassCrashReproducerGenerator::finalize(), findPayloadRoot(), mlir::transform::TrackingListener::findReplacementOp(), mlir::transform::detail::findTransformEntryPoint(), getLspDiagnoticFromDiag(), getLspDiagnoticFromDiag(), getLspDiagnoticFromDiag(), getThreadIdBuilder(), mlir::remark::detail::InFlightRemark::InFlightRemark(), mlir::remark::detail::InFlightRemark::InFlightRemark(), legalizeUnresolvedMaterialization(), mlir::transform::gpu::mapForallToBlocksImpl(), mlir::transform::gpu::mapNestedForallToThreadsImpl(), mlir::transform::gpu::mapOneForallToThreadsImpl(), mlir::GPUFuncOpLowering::matchAndRewrite(), matchBlock(), mlir::transform::detail::mergeSymbolsInto(), mlir::detail::ConversionPatternRewriterImpl::notifyMatchFailure(), mlir::RewriterBase::notifyMatchFailure(), mlir::transform::ErrorCheckingTrackingListener::notifyMatchFailure(), mlir::transform::TrackingListener::notifyMatchFailure(), mlir::transform::ErrorCheckingTrackingListener::notifyPayloadReplacementNotFound(), mlir::transform::TrackingListener::notifyPayloadReplacementNotFound(), mlir::operator<<(), mlir::detail::ParallelDiagnosticHandlerImpl::ParallelDiagnosticHandlerImpl(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseCustomTypeWithFallback(), mlir::tracing::FileLineColLocBreakpoint::parseFromString(), mlir::parseSourceString(), mlir::AsmParser::parseType(), mlir::detail::ParallelDiagnosticHandlerImpl::print(), mlir::query::matcher::MatchFinder::printMatch(), printRegionEdgeName(), mlir::LLVM::ModuleImport::processFunction(), mlir::dlti::query(), mlir::BytecodeReader::Impl::read(), mlir::DiagnosticEngine::registerHandler(), mlir::SourceMgrDiagnosticVerifierHandler::registerInContext(), mlir::detail::ConversionPatternRewriterImpl::remapValues(), replaceForAllWithNewSignature(), mlir::transform::TransformResults::setMappedValues(), mlir::DiagnosedSilenceableFailure::silenceableFailure(), mlir::DiagnosedSilenceableFailure::silenceableFailure(), mlir::SourceMgrDiagnosticHandler::SourceMgrDiagnosticHandler(), tileAndFuseFirstExtractUse(), tileAndFuseFirstExtractUseThroughContainingOpBlockArgument(), mlir::transform::tileToForallOpImpl(), unpackSingleIndexResultPayloadOperations(), unpackSingleIndexResultPayloadOperations(), mlir::irdl::RegionConstraint::verify(), verifyAndGetTerminator(), mlir::impl::verifyCastInterfaceOp(), mlir::detail::verifyDataLayoutOp(), verifyNamedSequenceOp(), verifyOpAndAdjustFlags(), mlir::transform::detail::verifyPossibleTopLevelTransformOpTrait(), verifyQuantifierRegions(), mlir::transform::detail::verifyTransformOpInterface(), verifyTypeRangesMatch(), verifyTypesAlongAllEdges(), verifyYieldingSingleBlockOp(), mlir::detail::ParallelDiagnosticHandlerImpl::~ParallelDiagnosticHandlerImpl(), and mlir::SourceMgrDiagnosticHandler::~SourceMgrDiagnosticHandler().
◆ diagMD()
|
static |
Definition at line 67 of file ModuleImport.cpp.
Referenced by convertInt64FromKeyValueTuple(), mlir::LLVM::ModuleImport::convertModuleFlagsMetadata(), convertProfileSummaryDetailed(), convertProfileSummaryFormat(), convertProfileSummaryModuleFlagValue(), getConstantMDFromKeyValueTuple(), getTwoElementMDTuple(), mlir::LLVM::ModuleImport::processFunction(), and mlir::LLVM::ModuleImport::translateDereferenceableAttr().
◆ getConstantMDFromKeyValueTuple()
|
static |
Extract a constant metadata value from a two element tuple (<key, value>).
Return nullptr if requirements are not met. A warning is emitted if the matchKey is different from the tuple's key.
Definition at line 582 of file ModuleImport.cpp.
References diagMD(), mlir::emitWarning(), and getTwoElementMDTuple().
Referenced by convertInt64FromKeyValueTuple(), and convertProfileSummaryModuleFlagValue().
◆ getGlobalComdatOpName()
|
staticconstexpr |
Returns the symbol name for the module-level comdat operation.
It must not conflict with the user namespace.
Definition at line 92 of file ModuleImport.cpp.
◆ getGlobalCtorsVarName()
|
staticconstexpr |
Returns the name of the global_ctors global variables.
Definition at line 76 of file ModuleImport.cpp.
Referenced by mlir::LLVM::ModuleImport::convertGlobals().
◆ getGlobalDtorsVarName()
|
staticconstexpr |
Returns the name of the global_dtors global variables.
Definition at line 86 of file ModuleImport.cpp.
Referenced by mlir::LLVM::ModuleImport::convertGlobals().
◆ getLLVMSyncScope()
|
static |
Converts the sync scope identifier of inst to the string representation necessary to build an atomic LLVM dialect operation.
Returns the empty string if the operation has either no sync scope or the default system-level sync scope attached. The atomic operations only set their sync scope attribute if they have a non-default sync scope attached.
Definition at line 101 of file ModuleImport.cpp.
◆ getNamelessGlobalPrefix()
|
staticconstexpr |
Prefix used for symbols of nameless llvm globals.
Definition at line 81 of file ModuleImport.cpp.
◆ getPositionFromIndices()
|
static |
Converts an array of unsigned indices to a signed integer position array.
Definition at line 121 of file ModuleImport.cpp.
References indices.
◆ getScalarConstantAsAttr()
|
static |
Returns an integer or float attribute for the provided scalar constant constScalar or nullptr if the conversion fails.
Definition at line 1220 of file ModuleImport.cpp.
References mlir::emitError(), mlir::Builder::getContext(), mlir::Builder::getFloatAttr(), mlir::LLVM::detail::getFloatType(), and mlir::Builder::getIntegerAttr().
Referenced by mlir::LLVM::ModuleImport::convertIntrinsicArguments(), and getSequenceConstantAsAttrs().
◆ getSequenceConstantAsAttrs()
|
static |
Returns an integer or float attribute array for the provided constant sequence constSequence or nullptr if the conversion fails.
Definition at line 1251 of file ModuleImport.cpp.
References getScalarConstantAsAttr().
◆ getTopologicallySortedBlocks()
|
static |
Get a topologically sorted list of blocks for the given basic blocks.
Definition at line 154 of file ModuleImport.cpp.
Referenced by mlir::LLVM::ModuleImport::processFunction().
◆ getTwoElementMDTuple()
|
static |
Extract a two element MDTuple from a MDOperand.
Emit a warning in case something else is found.
Definition at line 569 of file ModuleImport.cpp.
References diagMD(), and mlir::emitWarning().
Referenced by convertProfileSummaryDetailed(), convertProfileSummaryFormat(), and getConstantMDFromKeyValueTuple().
◆ getVectorTypeForAttr()
Returns type if it is a builtin integer or floating-point vector type that can be used to create an attribute or nullptr otherwise.
If provided, arrayShape is added to the shape of the vector to create an attribute that matches an array of vectors.
Definition at line 1173 of file ModuleImport.cpp.
◆ isMetadataKillLocation()
|
static |
Checks if dbgIntr is a kill location that holds metadata instead of an SSA value.
Definition at line 3082 of file ModuleImport.cpp.
◆ processMemoryEffects()
|
static |
Definition at line 2621 of file ModuleImport.cpp.
Referenced by mlir::LLVM::ModuleImport::processFunctionAttributes().
◆ processPassthroughAttrs()
|
static |
Converts LLVM attributes from func into MLIR attributes and adds them to funcOp as passthrough attributes, skipping those listed in kExplicitLLVMFuncAttributes.
Definition at line 2682 of file ModuleImport.cpp.
References ArrayAttr(), convertLLVMAttributesToMLIR(), and kExplicitLLVMFuncOpAttributes.
Referenced by mlir::LLVM::ModuleImport::processFunctionAttributes().
◆ processTargetSpecificAttrs()
|
static |
Converts LLVM attributes from globalVar into MLIR attributes and adds them to globalOp as target-specific attributes.
Definition at line 1472 of file ModuleImport.cpp.
References ArrayAttr(), and convertLLVMAttributesToMLIR().
◆ setDebugIntrinsicBuilderInsertionPoint()
|
static |
Ensure that the debug intrinsic is inserted right after the operand definition.
Otherwise, the operand might not necessarily dominate the intrinsic. If the defining operation is a terminator, insert the intrinsic into a dominated block.
Definition at line 3096 of file ModuleImport.cpp.
References mlir::Block::empty(), mlir::Block::front(), mlir::Value::getDefiningOp(), mlir::detail::DominanceInfoBase< IsPostDom >::getNode(), mlir::Value::getParentBlock(), mlir::Block::getTerminator(), mlir::Operation::hasTrait(), mlir::OpBuilder::setInsertionPoint(), mlir::OpBuilder::setInsertionPointAfterValue(), and success().
Variable Documentation
◆ kExplicitLLVMFuncOpAttributes
|
staticconstexpr |
Definition at line 2647 of file ModuleImport.cpp.
Referenced by processPassthroughAttrs().
Generated on for MLIR by
1.14.0