Dominance.cpp

Go to the documentation of this file.

//===- Dominance.cpp - C API for Dominance Analysis -----------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
 
#include "mlir-c/Dominance.h"
#include "mlir/CAPI/Dominance.h"
#include "mlir/CAPI/IR.h"
 
using namespace mlir;
 
//===----------------------------------------------------------------------===//
// DominanceInfo API
//===----------------------------------------------------------------------===//
 
MlirDominanceInfo mlirDominanceInfoCreate(MlirOperation op) {
  return wrap(new DominanceInfo(unwrap(op)));
}
 
void mlirDominanceInfoDestroy(MlirDominanceInfo info) { delete unwrap(info); }
 
bool mlirDominanceInfoProperlyDominatesOperation(MlirDominanceInfo info,
                                                 MlirOperation a,
                                                 MlirOperation b) {
  return unwrap(info)->properlyDominates(unwrap(a), unwrap(b));
}
 
bool mlirDominanceInfoDominatesOperation(MlirDominanceInfo info,
                                         MlirOperation a, MlirOperation b) {
  return unwrap(info)->dominates(unwrap(a), unwrap(b));
}
 
bool mlirDominanceInfoValueProperlyDominates(MlirDominanceInfo info,
                                             MlirValue a, MlirOperation b) {
  return unwrap(info)->properlyDominates(unwrap(a), unwrap(b));
}
 
bool mlirDominanceInfoValueDominates(MlirDominanceInfo info, MlirValue a,
                                     MlirOperation b) {
  return unwrap(info)->dominates(unwrap(a), unwrap(b));
}
 
bool mlirDominanceInfoProperlyDominatesBlock(MlirDominanceInfo info,
                                             MlirBlock a, MlirBlock b) {
  return unwrap(info)->properlyDominates(unwrap(a), unwrap(b));
}
 
bool mlirDominanceInfoDominatesBlock(MlirDominanceInfo info, MlirBlock a,
                                     MlirBlock b) {
  return unwrap(info)->dominates(unwrap(a), unwrap(b));
}
 
MlirBlock mlirDominanceInfoFindNearestCommonDominator(MlirDominanceInfo info,
                                                      MlirBlock a,
                                                      MlirBlock b) {
  return wrap(unwrap(info)->findNearestCommonDominator(unwrap(a), unwrap(b)));
}
 
bool mlirDominanceInfoIsReachableFromEntry(MlirDominanceInfo info,
                                           MlirBlock block) {
  return unwrap(info)->isReachableFromEntry(unwrap(block));
}
 
void mlirDominanceInfoInvalidate(MlirDominanceInfo info) {
  unwrap(info)->invalidate();
}
 
//===----------------------------------------------------------------------===//
// PostDominanceInfo API
//===----------------------------------------------------------------------===//
 
MlirPostDominanceInfo mlirPostDominanceInfoCreate(MlirOperation op) {
  return wrap(new PostDominanceInfo(unwrap(op)));
}
 
void mlirPostDominanceInfoDestroy(MlirPostDominanceInfo info) {
  delete unwrap(info);
}
 
bool mlirPostDominanceInfoProperlyPostDominatesOperation(
    MlirPostDominanceInfo info, MlirOperation a, MlirOperation b) {
  return unwrap(info)->properlyPostDominates(unwrap(a), unwrap(b));
}
 
bool mlirPostDominanceInfoPostDominatesOperation(MlirPostDominanceInfo info,
                                                 MlirOperation a,
                                                 MlirOperation b) {
  return unwrap(info)->postDominates(unwrap(a), unwrap(b));
}
 
bool mlirPostDominanceInfoProperlyPostDominatesBlock(MlirPostDominanceInfo info,
                                                     MlirBlock a, MlirBlock b) {
  return unwrap(info)->properlyPostDominates(unwrap(a), unwrap(b));
}
 
bool mlirPostDominanceInfoPostDominatesBlock(MlirPostDominanceInfo info,
                                             MlirBlock a, MlirBlock b) {
  return unwrap(info)->postDominates(unwrap(a), unwrap(b));
}
 
void mlirPostDominanceInfoInvalidate(MlirPostDominanceInfo info) {
  unwrap(info)->invalidate();
}