Skip to content

Disaggregate by-value OpTypeStruct/OpTypeArray inputs/outputs.#45

Draft
eddyb wants to merge 5 commits intoeddyb/qptr-imm-offsetsfrom
eddyb/disaggregate
Draft

Disaggregate by-value OpTypeStruct/OpTypeArray inputs/outputs.#45
eddyb wants to merge 5 commits intoeddyb/qptr-imm-offsetsfrom
eddyb/disaggregate

Conversation

@eddyb
Copy link
Copy Markdown
Member

@eddyb eddyb commented Apr 27, 2026

Note: this PR is a draft to avoid accidental merging onto its "base" branch (used as a form of ad-hoc PR stacking), and will remain as such, until its "base" branch can be set to main, i.e. all prerequisite PRs will have landed, up to and including this PR (whose branch is the "base" of this one):


Originally submitted as (description mostly copied from there):


This should allow us to always reason about the leaves of "aggregates", without any superfluous nesting - especially relevant to logical pointers, which SPIR-V disallows wrapping in any other data types, and which qptr would prefer to always interact with directly.

TODO: longer PR description (add comparison!), and CHANGELOG entry (reuse details from Value docs additions?)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant