Make `SpirvValue`(`Kind`) representation and operations more orthogonal and robust (lossless).#348

Draft

eddyb wants to merge 20 commits intoRust-GPU:mainfrom

LykenSol:robust-spirv-value-zombies

Commits on Sep 18, 2025

Erase explicit layout decorations (`Offset`/`ArrayStride`) when disallowed by Vulkan.
eddyb
committed
ci: update Vulkan SDK to 1.4.321.0.
eddyb
committed
Revert "linker/inline: use `OpPhi` instead of `OpVariable` for return values."
eddyb
committed
Revert "WIP: mem2reg speedup"
eddyb
committed
Revert "WIP: couple of inliner things that need to be disentangled"
eddyb
committed
Revert "WIP: (TODO: finish bottom-up cleanups) bottom-up inlining"
eddyb
committed
Revert "linker/inline: fix `OpVariable` debuginfo collection and insertion."
eddyb
committed
[2024] linker/inline: fix `OpVariable` debuginfo collection and insertion.
eddyb
committed
[2024] linker/inline: use bottom-up inlining to minimize redundancy.
eddyb
committed
[2024] linker/mem2reg: index SPIR-V blocks by their label IDs for O(1) lookup.
eddyb
committed
[2024] linker/inline: use `OpPhi` instead of `OpVariable` for return values.
eddyb
committed
linker/inline: fix typos in comments.
eddyb
committed
[TODO(eddyb) this is probably sound but requires looping for rewrites] [2024] WIP: mem2reg unsound changes??
eddyb
committed
linker/inline: also run `remove_duplicate_debuginfo` on every fully-inlined function.
eddyb
committed
linker/inline: also run `mem2reg` on every fully-inlined function.
eddyb
committed
(placeholder)
eddyb
committed
Replace `SpirvValueKind::IllegalTypeUsed` with mere `undef`.
eddyb
committed
Always register zombie messages, only at most defer their `Span`s.
eddyb
committed
Remove `SpirvValueKind::IllegalConst`.
eddyb
committed
Reduce `SpirvValue` lossiness around `strip_ptrcasts` and `const_fold_load`.
eddyb
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Make `SpirvValue`(`Kind`) representation and operations more orthogonal and robust (lossless).#348

Make `SpirvValue`(`Kind`) representation and operations more orthogonal and robust (lossless).#348
eddyb wants to merge 20 commits intoRust-GPU:mainfrom
LykenSol:robust-spirv-value-zombies

Commits on Sep 18, 2025

Erase explicit layout decorations (`Offset`/`ArrayStride`) when disallowed by Vulkan.

ci: update Vulkan SDK to 1.4.321.0.

Revert "linker/inline: use `OpPhi` instead of `OpVariable` for return values."

Revert "WIP: mem2reg speedup"

Revert "WIP: couple of inliner things that need to be disentangled"

Revert "WIP: (TODO: finish bottom-up cleanups) bottom-up inlining"

Revert "linker/inline: fix `OpVariable` debuginfo collection and insertion."

[2024] linker/inline: fix `OpVariable` debuginfo collection and insertion.

[2024] linker/inline: use bottom-up inlining to minimize redundancy.

[2024] linker/mem2reg: index SPIR-V blocks by their label IDs for O(1) lookup.

[2024] linker/inline: use `OpPhi` instead of `OpVariable` for return values.

linker/inline: fix typos in comments.

[TODO(eddyb) this is probably sound but requires looping for rewrites] [2024] WIP: mem2reg unsound changes??

linker/inline: also run `remove_duplicate_debuginfo` on every fully-inlined function.

linker/inline: also run `mem2reg` on every fully-inlined function.

(placeholder)

Replace `SpirvValueKind::IllegalTypeUsed` with mere `undef`.

Always register zombie messages, only at most defer their `Span`s.

Remove `SpirvValueKind::IllegalConst`.

Reduce `SpirvValue` lossiness around `strip_ptrcasts` and `const_fold_load`.

Make `SpirvValue`(`Kind`) representation and operations more orthogonal and robust (lossless).#348eddyb wants to merge 20 commits intoRust-GPU:mainRust-GPU/rust-gpu:mainfrom LykenSol:robust-spirv-value-zombiesLykenSol/rust-gpu:robust-spirv-value-zombiesCopy head branch name to clipboard

Commits

Commits on Sep 18, 2025

Make `SpirvValue`(`Kind`) representation and operations more orthogonal and robust (lossless).#348
eddyb wants to merge 20 commits intoRust-GPU:mainfrom
LykenSol:robust-spirv-value-zombies