New version: IRStructurizer v0.2.2#151100
Conversation
JuliaRegistrator
commented
Mar 23, 2026
- Registering package: IRStructurizer
- Repository: https://github.com/maleadt/IRStructurizer.jl
- Created by: @maleadt
- Version: v0.2.2
- Commit: 1d772cea859871796d681b859d2f1364f75e5430
- Reviewed by: @maleadt
- Reference: maleadt/IRStructurizer.jl@1d772ce#commitcomment-180296452
- Description: Pattern-matching structured control flow in Julia's SSA IR.
UUID: 93e32bba-5bb8-402b-805d-ffb066edee93 Repo: https://github.com/maleadt/IRStructurizer.jl.git Tree: a74acf49072e51ab9b4032bfa7d6c23ed3ed63c9 Registrator tree SHA: 50f504d641745716a5b3eabaf681d3a4937d2ae3
Widen Core.Const types in get_value_type to prevent one() failure When a custom interpreter (e.g., cuTile) produces IR where SSA values have Core.Const inferred types, the inclusive→exclusive bound adjustment for ForOp called one(::Core.Const) which has no method. Apply Core.Compiler.widenconst in get_value_type to always return concrete Types, matching the documented -> Type contract. --------- Check loop-invariance of step in ForOp detection The for-loop detector checked that the bound was loop-invariant but not the step. When the step was an SSA value defined inside the loop body (e.g., a runtime call like num_blocks()), the ForOp would reference an undefined SSA value, causing validation to fail with "SSA values used but not defined". --------- Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
|
Hello, I am an automated registration bot. I help manage the registration process by checking your registration against a set of AutoMerge guidelines. If all these guidelines are met, this pull request will be merged automatically, completing your registration. It is strongly recommended to follow the guidelines, since otherwise the pull request needs to be manually reviewed and merged by a human. 1. AutoMerge Guidelines are all met! ✅Your new version registration met all of the guidelines for auto-merging and is scheduled to be merged in the next round (~20 minutes). 2. To pause or stop registrationIf you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text Tip: You can edit blocking comments to add |