fix missing automatic truncation and widening support from executability model#13
Merged
Merged
Conversation
…g executability model from provided ressources which define input/output contract of supported operators. alloc then shall insert explicit adaptor nodes.
…, and trunc operations to aid interfacing with semantic ops and executable FUs
…consumable by alloc for explicit adaptors
JoGei
changed the title
Teach memory allocation to infer typed load/store plans from resident word types, materializing address and data adapters where needed while rejecting memrefs whose logical element type does not match the selected word type. Annotate generic and IHP SRAM library entries with memory operand types and update tests for typed load/store allocation.
Stop forwarding through identity handoffs when a mov result has already been captured and later consumers need the materialized alias register. Add µglIR coverage for a late consumer that must read the mov alias register instead of the original producer register.
Resolve static child call returns through value bindings before falling back to producer outputs, and normalize mapped producer IDs when finding capture steps. Add regression coverage for late parent consumers of mapped child return values.
Track the FSM steps where loop-carried phi operands actually update, and feed the carry register through its latch on completion steps without a new value. Add hierarchical unroll coverage and
This was referenced Apr 17, 2026
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.