-
Notifications
You must be signed in to change notification settings - Fork 63
[Enh] Improve type closure for primitive func #552
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
sjfeng1999
wants to merge
22
commits into
main
Choose a base branch
from
pr/enh-type-closure
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Changes from all commits
Commits
Show all changes
22 commits
Select commit
Hold shift + click to select a range
3e7b9fa
[Enh] Ensure type closure for primitive func
sjfeng1999 abb308a
ensure int_tuple covariance relationship
sjfeng1999 8287aa3
drop coerce in the derived
sjfeng1999 8813c9a
[Refactor]: rm IR value
xudoyuan a22c8ec
[Bugfix]: import __all__
xudoyuan e1c82ce
Merge branch 'main' into pr/enh-type-closure
xudoyuan 9587ccd
Fix DSL type compatibility in layout_utils.idx2crd
xudoyuan 0750258
Replace arith.constant(index=True) with fx.Int32() in mixed_moe_gemm_…
xudoyuan 8874319
Merge branch 'main' into pr/enh-type-closure
xudoyuan c957349
Format mixed_moe_gemm_2stage.py with black
xudoyuan 234240c
Restore index type for scf.ForOp arguments in mixed_moe_gemm_2stage
xudoyuan 83469fe
Revert "Restore index type for scf.ForOp arguments in mixed_moe_gemm_…
xudoyuan 9cdd537
Revert "Format mixed_moe_gemm_2stage.py with black"
xudoyuan 9ef6433
Revert "Replace arith.constant(index=True) with fx.Int32() in mixed_m…
xudoyuan c6ebbe2
Revert global index→Int32 replacement, fix type mismatch in framework
xudoyuan 46ed1ca
Fix Index(Index) nesting in Index.__init__ and coerce index-typed Ari…
xudoyuan 212c837
Fix _try_coerce_rhs: wrap index ArithValue as Index instead of Int32
xudoyuan 94ae353
minor fix
sjfeng1999 b2e2af6
re-export select
sjfeng1999 271fecd
[Bugfix]: Replace / with //
xudoyuan 14b3bdc
[Bugfix]: Replace / with /
xudoyuan 573a7ee
Merge branch 'main' into pr/enh-type-closure
sjfeng1999 File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.