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/Pass/PassManager.h"
26#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
27#include "mlir/Transforms/Passes.h"
28#include "llvm/Frontend/Debug/Options.h"
29#include "llvm/Passes/OptimizationLevel.h"
30#include "llvm/Support/CommandLine.h"
34using PassConstructor = std::unique_ptr<mlir::Pass>();
36template <
typename F,
typename OP>
37void addNestedPassToOps(mlir::PassManager &pm, F ctor) {
38 pm.addNestedPass<OP>(ctor());
41template <
typename F,
typename OP,
typename... OPS,
42 typename = std::enable_if_t<
sizeof...(OPS) != 0>>
43void addNestedPassToOps(mlir::PassManager &pm, F ctor) {
44 addNestedPassToOps<F, OP>(pm, ctor);
45 addNestedPassToOps<F, OPS...>(pm, ctor);
56template <
typename OP,
typename F>
57void addNestedPassConditionally(mlir::PassManager &pm,
58 llvm::cl::opt<bool> &disabled, F ctor) {
60 pm.addNestedPass<OP>(ctor());
64void addNestedPassToAllTopLevelOperations(mlir::PassManager &pm, F ctor);
67void addNestedPassToAllTopLevelOperationsConditionally(
68 mlir::PassManager &pm, llvm::cl::opt<bool> &disabled, F ctor);
81void addCfgConversionPass(mlir::PassManager &pm,
82 const MLIRToLLVMPassPipelineConfig &config);
84void addAVC(mlir::PassManager &pm,
const llvm::OptimizationLevel &optLevel);
86void addMemoryAllocationOpt(mlir::PassManager &pm);
88void addCodeGenRewritePass(mlir::PassManager &pm,
bool preserveDeclare);
90void addTargetRewritePass(mlir::PassManager &pm);
92mlir::LLVM::DIEmissionKind
93getEmissionKind(llvm::codegenoptions::DebugInfoKind kind);
95void addBoxedProcedurePass(mlir::PassManager &pm);
97void addExternalNameConversionPass(mlir::PassManager &pm,
98 bool appendUnderscore =
true);
100void addCompilerGeneratedNamesConversionPass(mlir::PassManager &pm);
102void addDebugInfoPass(mlir::PassManager &pm,
103 llvm::codegenoptions::DebugInfoKind debugLevel,
104 llvm::OptimizationLevel optLevel,
105 llvm::StringRef inputFilename, int32_t dwarfVersion);
107void addFIRToLLVMPass(mlir::PassManager &pm,
108 const MLIRToLLVMPassPipelineConfig &config);
110void addLLVMDialectToLLVMPass(mlir::PassManager &pm, llvm::raw_ostream &output);
120 MLIRToLLVMPassPipelineConfig &pc);
132 llvm::OptimizationLevel optLevel = defaultOptLevel);
157#if !defined(FLANG_EXCLUDE_CODEGEN)
158void createDebugPasses(mlir::PassManager &pm,
159 llvm::codegenoptions::DebugInfoKind debugLevel,
160 llvm::OptimizationLevel OptLevel,
161 llvm::StringRef inputFilename, int32_t dwarfVersion,
162 llvm::StringRef splitDwarfFile);
164void createDefaultFIRCodeGenPassPipeline(mlir::PassManager &pm,
166 llvm::StringRef inputFilename = {});
175 llvm::StringRef inputFilename = {});
176#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:319
EnableOpenMP
Select which mode to enable OpenMP support in.
Definition Pipelines.h:123
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:50
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:411
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:134
Fortran::frontend::CodeGenOptions::DoConcurrentMappingKind doConcurrentMappingKind
Definition Pipelines.h:142
bool isTargetDevice
Definition Pipelines.h:137