Files
apache--tvm/python/tvm/s_tir/sblock_dependence_info.py
wehub-resource-sync 26446540fa
Lint / lint (push) Waiting to run
CI / MacOS (push) Waiting to run
CI / Windows (push) Waiting to run
chore: import upstream snapshot with attribution
2026-07-13 13:36:25 +08:00

89 lines
3.1 KiB
Python

# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements. See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership. The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License. You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
"""Define SBlockDependenceInfoNode that uses the SBlockScope and StmtSRef objects
to store the block level dependences"""
from tvm_ffi import register_object
from tvm.ir.module import IRModule
from tvm.runtime import Object
from tvm.tirx import PrimFunc, SBlock
from . import _ffi_api
from .sblock_scope import SBlockScope, StmtSRef
@register_object("s_tir.SBlockDependenceInfo")
class SBlockDependenceInfo(Object):
"""
SBlockDependenceInfo
An object that helps build and query block level dependences using the 2 core objects
SBlockScope and StmtSRef
The data structures exposed are:
1) sref2scope: Mapping from the srefs to its corresponding SBlockScope
2) stmt2ref: Mapping from blocks to corresponding StmtSRefs
Note that this object does not store SRefs to loops as the purpose is only to expose block level
dependences. This provides the advantage that the scope block (parent block) for a given block
sref can be directly accessed as sref->parent
"""
mod: IRModule
def __init__(self, mod: IRModule | PrimFunc):
if isinstance(mod, PrimFunc):
mod = IRModule({"main": mod})
if not isinstance(mod, IRModule):
raise TypeError(f"Expected `mod` to be PrimFunc or IRModule, but gets: {mod}")
self.__init_handle_by_constructor__(
_ffi_api.SBlockDependenceInfo, # type: ignore # pylint: disable=no-member
mod,
)
def get_sref(self, block: SBlock) -> StmtSRef | None:
"""Return the corresponding sref that points to the block
Parameters
----------
block : SBlock
The block for which the sref is to be retrieved
Returns
-------
sref : StmtSRef
The corresponding sref
"""
return _ffi_api.SBlockDependenceInfoGetSRef(self, block) # type: ignore # pylint: disable=no-member
def get_sblock_scope(self, block_sref: StmtSRef) -> SBlockScope:
"""Get the SBlockScope correpsonding to the block sref
Parameters
----------
block_sref : StmtSRef
The block sref to be retrieved
Returns
-------
scope : SBlockScope
The corresponding SBlockScope
"""
return _ffi_api.SBlockDependenceInfoGetSBlockScope( # type: ignore # pylint: disable=no-member
self, block_sref
)