pub unsafe extern "C" fn mlirPostDominanceInfoProperlyPostDominatesBlock(
info: MlirPostDominanceInfo,
a: MlirBlock,
b: MlirBlock,
) -> boolExpand description
Returns true if block A properly post-dominates block B.
pub unsafe extern "C" fn mlirPostDominanceInfoProperlyPostDominatesBlock(
info: MlirPostDominanceInfo,
a: MlirBlock,
b: MlirBlock,
) -> boolReturns true if block A properly post-dominates block B.