include/flang/Optimizer/Transforms/Passes.td

//===-- Passes.td - Transforms pass definition file --------*- tablegen -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file contains definitions for passes within the Optimizer/Transforms/
//  directory.
//
//===----------------------------------------------------------------------===//

#ifndef FLANG_OPTIMIZER_TRANSFORMS_PASSES
#define FLANG_OPTIMIZER_TRANSFORMS_PASSES

include "mlir/Pass/PassBase.td"

def AffineDialectPromotion : FunctionPass<"promote-to-affine"> {
  let summary = "Promotes fir.do_loop and fir.where to affine.for and affine.if where possible";
  let description = [{
    TODO
  }];
  let constructor = "fir::createPromoteToAffinePass()";
}

def BasicCSE : FunctionPass<"basic-cse"> {
  let summary = "Basic common sub-expression elimination";
  let description = [{
      TODO
  }];
  let constructor = "fir::createCSEPass()";
}

def ControlFlowLowering : FunctionPass<"lower-control-flow"> {
  let summary = "Convert affine dialect, fir.select_type to standard dialect";
  let description = [{
      TODO
  }];
  let constructor = "fir::createControlFlowLoweringPass()";
}

def CFGConversion : FunctionPass<"cfg-conversion"> {
  let summary = "Convert FIR structured control flow ops to CFG ops.";
  let description = [{
      TODO
  }];
  let constructor = "fir::createFirToCfgPass()";
}

#endif // FLANG_OPTIMIZER_TRANSFORMS_PASSES