12#ifndef FORTRAN_OPTIMIZER_PASSES_PIPELINES_H
13#define FORTRAN_OPTIMIZER_PASSES_PIPELINES_H
15#include "flang/Optimizer/CodeGen/CodeGen.h"
16#include "flang/Optimizer/HLFIR/Passes.h"
17#include "flang/Optimizer/OpenMP/Passes.h"
18#include "flang/Optimizer/Passes/CommandLineOpts.h"
19#include "flang/Optimizer/Transforms/Passes.h"
20#include "flang/Tools/CrossToolHelpers.h"
21#include "mlir/Conversion/ReconcileUnrealizedCasts/ReconcileUnrealizedCasts.h"
22#include "mlir/Conversion/SCFToControlFlow/SCFToControlFlow.h"
23#include "mlir/Dialect/GPU/IR/GPUDialect.h"
24#include "mlir/Dialect/LLVMIR/LLVMAttrs.h"
25#include "mlir/Dialect/OpenMP/Transforms/Passes.h"
26#include "mlir/Pass/PassManager.h"
27#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
28#include "mlir/Transforms/Passes.h"
29#include "llvm/Frontend/Debug/Options.h"
30#include "llvm/Passes/OptimizationLevel.h"
31#include "llvm/Support/CommandLine.h"
35using PassConstructor = std::unique_ptr<mlir::Pass>();
37template <
typename F,
typename OP>
38void addNestedPassToOps(mlir::PassManager &pm, F ctor) {
39 pm.addNestedPass<OP>(ctor());
42template <
typename F,
typename OP,
typename... OPS,
43 typename = std::enable_if_t<
sizeof...(OPS) != 0>>
44void addNestedPassToOps(mlir::PassManager &pm, F ctor) {
45 addNestedPassToOps<F, OP>(pm, ctor);
46 addNestedPassToOps<F, OPS...>(pm, ctor);
57template <
typename OP,
typename F>
58void addNestedPassConditionally(mlir::PassManager &pm,
59 llvm::cl::opt<bool> &disabled, F ctor) {
61 pm.addNestedPass<OP>(ctor());
65void addNestedPassToAllTopLevelOperations(mlir::PassManager &pm, F ctor);
68void addNestedPassToAllTopLevelOperationsConditionally(
69 mlir::PassManager &pm, llvm::cl::opt<bool> &disabled, F ctor);
82void addCfgConversionPass(mlir::PassManager &pm,
83 const MLIRToLLVMPassPipelineConfig &config);
85void addAVC(mlir::PassManager &pm,
const llvm::OptimizationLevel &optLevel);
87void addMemoryAllocationOpt(mlir::PassManager &pm);
89void addCodeGenRewritePass(mlir::PassManager &pm,
bool preserveDeclare);
91void addTargetRewritePass(mlir::PassManager &pm);
93mlir::LLVM::DIEmissionKind
94getEmissionKind(llvm::codegenoptions::DebugInfoKind kind);
96void addBoxedProcedurePass(mlir::PassManager &pm);
98void addExternalNameConversionPass(mlir::PassManager &pm,
99 bool appendUnderscore =
true);
101void addCompilerGeneratedNamesConversionPass(mlir::PassManager &pm);
103void addDebugInfoPass(mlir::PassManager &pm,
104 llvm::codegenoptions::DebugInfoKind debugLevel,
105 llvm::OptimizationLevel optLevel,
106 llvm::StringRef inputFilename, int32_t dwarfVersion);
108void addFIRToLLVMPass(mlir::PassManager &pm,
109 const MLIRToLLVMPassPipelineConfig &config);
111void addLLVMDialectToLLVMPass(mlir::PassManager &pm, llvm::raw_ostream &output);
121 MLIRToLLVMPassPipelineConfig &pc);
133 llvm::OptimizationLevel optLevel = defaultOptLevel);
158#if !defined(FLANG_EXCLUDE_CODEGEN)
159void createDebugPasses(mlir::PassManager &pm,
160 llvm::codegenoptions::DebugInfoKind debugLevel,
161 llvm::OptimizationLevel OptLevel,
162 llvm::StringRef inputFilename, int32_t dwarfVersion,
163 llvm::StringRef splitDwarfFile);
165void createDefaultFIRCodeGenPassPipeline(mlir::PassManager &pm,
167 llvm::StringRef inputFilename = {});
176 llvm::StringRef inputFilename = {});
177#undef FLANG_EXCLUDE_CODEGEN
flangomp::DoConcurrentMappingKind DoConcurrentMappingKind
Definition CodeGenOptions.h:155
Definition AbstractConverter.h:34
void registerDefaultInlinerPass(MLIRToLLVMPassPipelineConfig &config)
Use inliner extension point callback to register the default inliner pass.
Definition Pipelines.cpp:155
void createOpenMPFIRPassPipeline(mlir::PassManager &pm, OpenMPFIRPassPipelineOpts opts)
Definition Pipelines.cpp:321
EnableOpenMP
Select which mode to enable OpenMP support in.
Definition Pipelines.h:124
void addPassConditionally(mlir::PassManager &pm, llvm::cl::opt< bool > &disabled, F ctor)
Generic for adding a pass to the pass manager if it is not disabled.
Definition Pipelines.h:51
void addCanonicalizerPassWithoutRegionSimplification(mlir::OpPassManager &pm)
Definition Pipelines.cpp:41
void createHLFIRToFIRPassPipeline(mlir::PassManager &pm, EnableOpenMP enableOpenMP, llvm::OptimizationLevel optLevel=defaultOptLevel)
Definition Pipelines.cpp:247
void createMLIRToLLVMPassPipeline(mlir::PassManager &pm, MLIRToLLVMPassPipelineConfig &config, llvm::StringRef inputFilename={})
Definition Pipelines.cpp:414
void createDefaultFIROptimizerPassPipeline(mlir::PassManager &pm, MLIRToLLVMPassPipelineConfig &pc)
Definition Pipelines.cpp:170
Configuriation for the MLIR to LLVM pass pipeline.
Definition CrossToolHelpers.h:82
Definition Pipelines.h:135
Fortran::frontend::CodeGenOptions::DoConcurrentMappingKind doConcurrentMappingKind
Definition Pipelines.h:143
bool isTargetDevice
Definition Pipelines.h:138