spectrometerHBH opened a new pull request, #20085: URL: https://github.com/apache/tvm/pull/20085
## Summary - lock NVIDIA official IKET integration to the CUTLASS DSL 4.6.0 and NVRTC 13.2 contract - add scalar payload support for marks, token ranges, and stack ranges in NativeDump and ExtendedNativeDump modes - generate deterministic module-wide metadata, event IDs, payload helpers, and official placeholder instructions - enable IKET lowering automatically only in validated `run-iket` child processes - keep `LowerIket` focused on ABI/schema validation and mechanical IR rewriting by removing token-lifetime, stack-balance, and warp-convergence proofs - refresh the official oracle and metadata, PTX/SASS, orchestration, and trace-contract coverage ## Motivation The previous lowering covered only no-payload NativeDump instrumentation and attempted to prove runtime control-flow properties that are the caller's and IKET runtime's responsibility. Those analyses could reject valid programs or produce advisory diagnostics without improving the determinism of metadata encoding. This change aligns the frontend and lowering with the locked official ABI, including payload layouts and ExtendedNativeDump IDs, while retaining compile-time checks required to encode declarations and records safely. ## Impact IKET users can attach supported scalar payloads to marks and range endpoints. Validated injected children can use ordinary TIRx JIT compilation while normal compilation continues to strip frontend-only annotations. Event-name, intrinsic, payload-type, `RangeToken`, schema, architecture, declaration-count, and metadata-conflict checks remain enforced; range lifetime, push/pop balance, and warp convergence are left to callers and the runtime. ## Validation - `cmake --build build --parallel` - `python -m pytest tests/python/tirx/iket/test_iket_profiler.py tests/python/tirx/iket/test_iket_orchestration.py -q` (`68 passed, 2 skipped`) - paired `tirx-kernels/tests/test_megakernel_iket.py` canary (`9 passed, 1 skipped`) - `pre-commit run` - `git diff --check` -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
