7504e3ed1a
## Summary Restructure TVMScript to be dialect-agnostic at the script-core layer while letting each extension dialect (TIRX, Relax) own its own per-dialect script subtree. IR is below script in the dependency stack and is NOT a peer dialect — its script handlers stay in the shared core. This PR folds together two coupled refactors that were initially opened as separate PRs (#19478 and the original #19479); they share rename / relocation surface so they ship as one cohesive change. ## What this PR does ### Per-dialect script subtree (originally #19479) - Moves per-dialect printer + builder from `src/script/{printer,ir_builder}/{tirx,relax}/` to `src/{tirx,relax}/script/{printer,builder}/`. - Tightens `src/script/*.cc` CMake glob to the dialect-free core. - Refactors `IRBuilder::DeclFunction` to dispatch via FFI registry (`script.ir_builder.decl_function.<type-key>`); removes cross-dialect includes from the shared core. - Adds `tvm.script.register_dialect` API + `__getattr__` + a `sys.meta_path` finder for Python-side dialect discovery. In-tree dialects (tirx, relax) registered centrally in `python/tvm/__init__.py`. - Drops the obsolete static re-export shims at `python/tvm/script/{parser,ir_builder}/{tirx,relax}/`. ### Dialect-agnostic printer config (originally #19478) - Relocates `include/tvm/ir/script_printer.h` → `include/tvm/script/printer/config.h` next to the rest of the printer's public surface. The header is not IR-specific. - Renames `TVM_SCRIPT_REPR` → `TVM_REGISTER_SCRIPT_AS_REPR` for clarity (the macro registers Script as the kRepr callback + per-type vtable dispatch). Aligns with the `TVM_REGISTER_*` family. - Drops dialect-hardcoded `PrinterConfig` fields (`tir_prefix`, `relax_prefix`, `show_all_struct_info`, `buffer_dtype`) in favor of a generic `ffi::Map<String, Any> extra_config` keyed by `"<dialect>.<knob>"`. Each call site reads via the templated accessor `config->GetExtraConfig<T>("...", default)`. - Promotes `std::string` config fields to `ffi::String`. After this lands, the script-printer core knows nothing specific about any dialect — new dialects plug in via the registry pattern with zero core edits. Public Python API surface unchanged.
49 lines
2.0 KiB
Python
49 lines
2.0 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.
|
|
"""The ir_builder subpackage of TVMScript.
|
|
|
|
Per-dialect builder submodules (``tvm.script.ir_builder.tirx``, etc.) are
|
|
resolved lazily via :data:`tvm.script._DIALECT_REGISTRY`. When a dialect
|
|
is accessed (e.g. ``tvm.script.ir_builder.tirx``), this subpackage's
|
|
``__getattr__`` looks up the dialect in ``_DIALECT_REGISTRY`` and imports
|
|
``<dialect_module_path>.builder`` (e.g. ``tvm.tirx.script.builder``),
|
|
caching the result so subsequent accesses skip ``__getattr__``.
|
|
|
|
The IR layer is foundational and is NOT registered as a dialect — its
|
|
builder lives as a real submodule ``tvm.script.ir_builder.ir``.
|
|
|
|
See :mod:`tvm.script` for a full description of the dialect resolution
|
|
mechanism, including the ``_DialectRedirectFinder`` that handles
|
|
deep statement-form imports.
|
|
"""
|
|
|
|
import importlib
|
|
from typing import Any
|
|
|
|
from .base import IRBuilder
|
|
|
|
|
|
def __getattr__(name: str) -> Any:
|
|
# Lazy import to avoid loading tvm.script during dialect bootstrap.
|
|
from tvm.script import _DIALECT_REGISTRY # pylint: disable=import-outside-toplevel
|
|
|
|
if name in _DIALECT_REGISTRY:
|
|
module = importlib.import_module(f"{_DIALECT_REGISTRY[name]}.builder")
|
|
globals()[name] = module
|
|
return module
|
|
raise AttributeError(f"module 'tvm.script.ir_builder' has no attribute {name!r}")
|