SliceAnalysis.h

Go to the documentation of this file.

//===- SliceAnalysis.h - Analysis for Transitive UseDef chains --*- C++ -*-===//
//
// Part of the MLIR 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
//
//===----------------------------------------------------------------------===//

#ifndef MLIR_ANALYSIS_SLICEANALYSIS_H_
#define MLIR_ANALYSIS_SLICEANALYSIS_H_

#include <functional>
#include <vector>

#include "mlir/Support/LLVM.h"

#include "llvm/ADT/SetVector.h"

namespace mlir {

class Operation;

using TransitiveFilter = std::function<bool(Operation *)>;

void getForwardSlice(
    Operation *op, llvm::SetVector<Operation *> *forwardSlice,
    TransitiveFilter filter = /* pass-through*/
    [](Operation *) { return true; });

void getBackwardSlice(
    Operation *op, llvm::SetVector<Operation *> *backwardSlice,
    TransitiveFilter filter = /* pass-through*/
    [](Operation *) { return true; });

llvm::SetVector<Operation *> getSlice(
    Operation *op,
    TransitiveFilter backwardFilter = /* pass-through*/
    [](Operation *) { return true; },
    TransitiveFilter forwardFilter = /* pass-through*/
    [](Operation *) { return true; });

llvm::SetVector<Operation *>
topologicalSort(const llvm::SetVector<Operation *> &toSort);

} // end namespace mlir

#endif // MLIR_ANALYSIS_SLICEANALYSIS_H_