MlirOptMain.cpp File Reference

#include "mlir/Tools/mlir-opt/MlirOptMain.h"
#include "mlir/Bytecode/BytecodeWriter.h"
#include "mlir/Debug/CLOptionsSetup.h"
#include "mlir/Debug/Counter.h"
#include "mlir/Dialect/IRDL/IR/IRDL.h"
#include "mlir/Dialect/IRDL/IRDLLoading.h"
#include "mlir/IR/AsmState.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/Diagnostics.h"
#include "mlir/IR/Location.h"
#include "mlir/IR/MLIRContext.h"
#include "mlir/IR/Remarks.h"
#include "mlir/Parser/Parser.h"
#include "mlir/Pass/PassManager.h"
#include "mlir/Pass/PassRegistry.h"
#include "mlir/Remark/RemarkStreamer.h"
#include "mlir/Support/FileUtilities.h"
#include "mlir/Support/Timing.h"
#include "mlir/Support/ToolUtilities.h"
#include "mlir/Tools/ParseUtilities.h"
#include "mlir/Tools/Plugins/DialectPlugin.h"
#include "mlir/Tools/Plugins/PassPlugin.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Remarks/RemarkFormat.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/InitLLVM.h"
#include "llvm/Support/LogicalResult.h"
#include "llvm/Support/ManagedStatic.h"
#include "llvm/Support/Process.h"
#include "llvm/Support/Regex.h"
#include "llvm/Support/SourceMgr.h"
#include "llvm/Support/ThreadPool.h"
#include "llvm/Support/ToolOutputFile.h"

Go to the source code of this file.

Functions
LogicalResult	loadIRDLDialects (StringRef irdlFile, MLIRContext &ctx)
static LogicalResult	doVerifyRoundTrip (Operation *op, const MlirOptMainConfig &config, bool useBytecode)
static LogicalResult	doVerifyRoundTrip (Operation *op, const MlirOptMainConfig &config)
static LogicalResult	performActions (raw_ostream &os, const std::shared_ptr< llvm::SourceMgr > &sourceMgr, MLIRContext *context, const MlirOptMainConfig &config)
	Perform the actions on the input file indicated by the command line flags within the specified context.
static LogicalResult	processBuffer (raw_ostream &os, std::unique_ptr< MemoryBuffer > ownedBuffer, llvm::MemoryBufferRef sourceBuffer, const MlirOptMainConfig &config, DialectRegistry &registry, SourceMgrDiagnosticVerifierHandler *verifyHandler, llvm::ThreadPoolInterface *threadPool)
	Parses the memory buffer.
static LogicalResult	printRegisteredDialects (DialectRegistry &registry)
static LogicalResult	printRegisteredPassesAndReturn ()

Variables
ManagedStatic< MlirOptMainConfigCLOptions >	clOptionsConfig

Function Documentation

doVerifyRoundTrip() [1/2]

LogicalResult doVerifyRoundTrip ( Operation * op, const MlirOptMainConfig & config )

static

Definition at line 482 of file MlirOptMain.cpp.

References mlir::config, doVerifyRoundTrip(), and success().

doVerifyRoundTrip() [2/2]

LogicalResult doVerifyRoundTrip ( Operation * op, const MlirOptMainConfig & config, bool useBytecode )

static

Definition at line 416 of file MlirOptMain.cpp.

References mlir::MLIRContext::allowsUnregisteredDialects(), mlir::MLIRContext::allowUnregisteredDialects(), mlir::MLIRContext::appendDialectRegistry(), mlir::config, mlir::Operation::emitOpError(), mlir::OwningOpRef< OpTy >::get(), mlir::Operation::getContext(), mlir::MLIRContext::getDialectRegistry(), loadIRDLDialects(), mlir::parseSourceString(), mlir::Operation::print(), success(), and mlir::writeBytecodeToFile().

Referenced by doVerifyRoundTrip(), and performActions().

loadIRDLDialects()

LogicalResult loadIRDLDialects	(	StringRef	irdlFile,
		MLIRContext &	ctx )

Definition at line 385 of file MlirOptMain.cpp.

References mlir::MLIRContext::appendDialectRegistry(), mlir::emitError(), mlir::OwningOpRef< OpTy >::get(), mlir::DialectRegistry::insert(), mlir::irdl::loadDialects(), mlir::openInputFile(), and mlir::parseSourceFile().

Referenced by doVerifyRoundTrip(), and processBuffer().

performActions()

LogicalResult performActions ( raw_ostream & os, const std::shared_ptr< llvm::SourceMgr > & sourceMgr, MLIRContext * context, const MlirOptMainConfig & config )

static

Perform the actions on the input file indicated by the command line flags within the specified context.

This typically parses the main source file, runs zero or more optimization passes, then prints the output.

Definition at line 496 of file MlirOptMain.cpp.

References mlir::PassReproducerOptions::apply(), mlir::applyDefaultTimingManagerCLOptions(), mlir::applyPassManagerCLOptions(), mlir::PassReproducerOptions::attachResourceParser(), mlir::config, mlir::MLIRContext::disableMultithreading(), doVerifyRoundTrip(), mlir::emitError(), mlir::MLIRContext::enableMultithreading(), mlir::remark::enableOptimizationRemarks(), mlir::remark::enableOptimizationRemarksWithLLVMStreamer(), mlir::PassManager::enableTiming(), mlir::PassManager::enableVerifier(), mlir::OwningOpRef< OpTy >::get(), mlir::OpPassManager::getAnyOpAnchorName(), mlir::PassManager::getContext(), mlir::OpPassManager::getPasses(), mlir::MLIRContext::getRemarkEngine(), mlir::TimingManager::getRootScope(), mlir::OpPassManager::Implicit, mlir::MLIRContext::isMultithreadingEnabled(), mlir::makeReproducer(), mlir::TimingScope::nest(), mlir::parseSourceFileForTool(), mlir::REMARK_FORMAT_BITSTREAM, mlir::REMARK_FORMAT_STDOUT, mlir::REMARK_FORMAT_YAML, mlir::REMARK_POLICY_ALL, mlir::REMARK_POLICY_FINAL, mlir::PassManager::run(), mlir::BytecodeWriterConfig::setDesiredBytecodeVersion(), mlir::BytecodeWriterConfig::setElideResourceDataFlag(), mlir::TimingScope::stop(), success(), and mlir::writeBytecodeToFile().

Referenced by processBuffer().

printRegisteredDialects()

LogicalResult printRegisteredDialects ( DialectRegistry & registry )

static

Definition at line 723 of file MlirOptMain.cpp.

References mlir::DialectRegistry::getDialectNames(), and success().

Referenced by mlir::MlirOptMain(), and mlir::MlirOptMain().

printRegisteredPassesAndReturn()

LogicalResult printRegisteredPassesAndReturn ( )

static

Definition at line 730 of file MlirOptMain.cpp.

References mlir::printRegisteredPasses(), and success().

Referenced by mlir::MlirOptMain(), and mlir::MlirOptMain().

processBuffer()

LogicalResult processBuffer ( raw_ostream & os, std::unique_ptr< MemoryBuffer > ownedBuffer, llvm::MemoryBufferRef sourceBuffer, const MlirOptMainConfig & config, DialectRegistry & registry, SourceMgrDiagnosticVerifierHandler * verifyHandler, llvm::ThreadPoolInterface * threadPool )

static

Parses the memory buffer.

If successfully, run a series of passes against it and print the result.

Definition at line 631 of file MlirOptMain.cpp.

References mlir::MLIRContext::allowUnregisteredDialects(), mlir::config, mlir::MLIRContext::DISABLED, loadIRDLDialects(), performActions(), mlir::MLIRContext::printOpOnDiagnostic(), mlir::SourceMgrDiagnosticVerifierHandler::registerInContext(), mlir::MLIRContext::setThreadPool(), and success().

Referenced by mlir::MlirOptMain().

Variable Documentation

clOptionsConfig

ManagedStatic<MlirOptMainConfigCLOptions> clOptionsConfig

Definition at line 341 of file MlirOptMain.cpp.