[sepcnt]

Split runtime-check placement out of #3265 for independent review.

Launch preparation can introduce local scalar bindings referenced by assumption runtime-check annotations. Extracting these checks to the packed-function entry places them before the variables they depend on are defined.

Track variables introduced by Bind statements in MakePackedAPI. When a marked condition references one of these variables, emit its assertion at the original location instead of extracting it to the function entry. This preserves the dependency without expanding the binding expressions.

Checks without local dependencies remain eligible for extraction. Existing handling of checks inside conditionals and loops is unchanged.

Summary

• Track variables introduced by Bind statements in MakePackedAPI.
• Keep a runtime-check assertion in the function body when its condition references a tracked variable. Place it after the relevant binding rather than at packed-function entry.
• Continue collecting checks without references to tracked variables for entry-time assertions.
• Preserve the existing handling of checks inside conditional and loop scopes.

C++ style / lint notes

• The change modifies C++ code. It does not touch rules documented in docs/developer_guide/cpp_style.md.
• No evidence was provided about the “C++ API Style Audit (warning only)” CI step or any style warnings introduced by this change.

[github-actions]

👋 Hi! Thank you for contributing to the TileLang project.

Please remember to run pre-commit run --all-files in the root directory of the project to ensure your changes are properly linted and formatted. This will help ensure your contribution passes the format check.

We appreciate you taking this step! Our team will review your contribution, and we look forward to your awesome work! 🚀

[coderabbitai]

Important

Review skipped

Review was skipped as selected files did not have any reviewable changes.

⚙️ Run configuration

• Source mode: Auto
• Repository: tile-ai/tilelang
• Branch: main
• File: .coderabbit.yaml
• Commit: fe8c346
• Layers: Repository YAML
• Review profile: CHILL
• Plan: Advanced
• Run ID: e11c95ce-fce6-4639-9f37-d05f4438381f

📥 Commits

Reviewing files that changed from the base of the PR and between 8f63bc0 and 943c62b.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

• Source mode: Auto
• Repository: tile-ai/tilelang
• Branch: main
• File: .coderabbit.yaml
• Commit: 741bf8b
• Layers: Repository YAML
• Review profile: CHILL
• Plan: Advanced
• Run ID: 349f63cc-8981-4d2b-81a5-f7ee71378ab8

📥 Commits

Reviewing files that changed from the base of the PR and between 741bf8b and 8f63bc0.

📒 Files selected for processing: 1

• src/transform/make_packed_api.cc

Included review availability: This review used your included allowance. Your plan provides up to 8 included reviews per hour; 5 remain after this review.

📝 Walkthrough

The extractor now tracks variables introduced by BindNode. It keeps checks that reference those variables in the function body as AssertStmts. Checks without local-variable references remain collected for entry-time assertions.

Changes: Runtime check placement

Layer / File(s)	Summary
Track locals and place assertions src/transform/make_packed_api.cc	The extractor records bound variables. Checks that reference them become in-place assertions, while other checks remain collected for entry-time assertions.

Priority: ➖ Normal

Estimated code review effort: 2 (Simple) | ~10 minutes

Change: Bug fix

Suggested labels: bug

Suggested reviewers: siriusneo

Merge Risk: ⚪ Minimal · up to 8f63b

No actionable merge-blocking risk remains in the reviewed change.

Pre-merge checks: 4 · 1

Failed checks: 1 warning

Check name	Status	Explanation	Resolution
Docstring Coverage		Docstring coverage is 0.00% which is insufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff. Analyzed 4 functions across 1 files.	Write docstrings for the functions missing them to satisfy the coverage threshold.

Passed checks: 4 passed

Check name	Status	Explanation
Description Check		Check skipped - CodeRabbit’s high-level summary is enabled.
Title check		The title clearly and concisely describes the main change: keeping assumption checks with local variable dependencies in their original scope.
Linked Issues check		Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check		Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches: 💡 1

🧪 Generate unit tests (beta)

• Create a new PR

🛠️ Fix failing CI checks: 💡

• Commit to this branch
• Create a new PR

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[KellyFrog]

LGTM