[Analyzer] Fix missing assume in tvm analyzer

[kurisu6912]

This pr fix 2 missing assume in tvm analyzer, one is in ir_mutator_in_analyzer.cc, the other is in analyzer.EnterContraint

tile-ai/tvm@2d2039a

Summary by CodeRabbit

• Chores
  • Updated internal dependencies to the latest stable versions.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[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]

📝 Walkthrough

Walkthrough

This pull request updates the 3rdparty/tvm submodule pointer to reference a newer commit (8e0cfc08734fd17b6a0fdf0f847add1bf9d780f9). The change is purely a submodule reference update with no direct functional code modifications or API alterations.

Changes

Cohort / File(s)	Summary
Submodule Reference Update 3rdparty/tvm	Updated submodule pointer from commit 0794c13a0900532f3b878fccab9a50c975d8a03c to 8e0cfc08734fd17b6a0fdf0f847add1bf9d780f9

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~2 minutes

Suggested reviewers

• LeiWang1999

Poem

🐰 A hop and a bound through the TVM, we go,
Updating the pointer to help the code flow,
One commit to another, a version so new,
The submodule dances, refreshed through and through! 🌿

🚥 Pre-merge checks | ✅ 2 | ❌ 1

❌ Failed checks (1 warning)

Check name	Status	Explanation	Resolution
Title check	⚠️ Warning	The PR title describes fixing missing assumes in the TVM analyzer, but the actual changeset only updates a submodule pointer without functional code changes.	The title suggests functional code fixes (missing assume handling), but the changeset is purely a submodule reference update. Update the title to accurately reflect that this is a submodule version bump, or verify the correct commit is being merged.

✅ Passed checks (2 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

• 📝 Generate docstrings

---

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 and usage tips.}