Repository navigation
fix(veryl): roll HEAD to fd1c3a650789 - #1068
Merged
Merged
Conversation
Veryl fd1c3a6 keeps an unpacked-array slice as a range on the reference's VarIndex instead of expanding instance inputs into one expression per element. Fold that range into Celox's flat part select on the selected dimension, and reject runtime slice bounds with a diagnostic since SIR addresses unpacked arrays one element at a time.
A runtime slice (a[i+:k], a[i-:k], a[i step k]) is read as one run of k elements from a start clamped into the array, then shifted by how far the clamp moved it; positions shifted in are exactly the elements outside the array and read X (0 when two-state). Coordinates are read as two-state values so the run index stays in bounds for X or Z indices. SIR gains SIROffset::ElementRun, a load of consecutive whole elements from a runtime element index. The layout keeps arrays read by a run packed, optimizer passes treat it as a dynamic read of the whole object, and every backend addresses it as index * element_width.
…head Resolve register-rename conflicts in favor of the shared use visitors from develop and teach them SIROffset::ElementRun. Develop's out-of-range guards assumed a runtime part select is packed; a run of unpacked elements is instead guarded by its first element and read whole, and a 64-bit anchor no longer overflows the comb guard's bound check.
github-merge-queue
Bot
removed this pull request from the merge queue due to no response for status checks
Oct 7, 2026
github-merge-queue
Bot
removed this pull request from the merge queue due to no response for status checks
Oct 7, 2026
github-merge-queue
Bot
removed this pull request from the merge queue due to no response for status checks
Oct 7, 2026
github-merge-queue
Bot
removed this pull request from the merge queue due to failed status checks
Oct 7, 2026
github-merge-queue
Bot
removed this pull request from the merge queue due to failed status checks
Oct 8, 2026
Use VarIndex.indices and the single InstInput.expr introduced by the pinned Veryl HEAD revision. This fixes compilation after merging develop, which added interface capture lowering against the released API.
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.
Roll all Veryl crates to one exact upstream
masterrevision.CI success merges this automatically into the non-release
developlane. CI failure deliberately leaves this PR open so it can be taken over and fixed. Do not retarget this PR tomaster.