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.
Related to #1048.
On
panic!
, rustc_codegen_spirv emits aloop {}
, but this can be optimized away with spirv-opt due to the AgressiveDCE pass. This PR inserts a memory_barrier inside the loop which prevents it from being removed.This ensures that shaders that panic, ie from out of bounds accesses, will not silently continue execution but hang the app.
Unfortunately the wgpu compute example errors with
UnsupportedInstruction(Function, MemoryBarrier)
, likely naga does not support barriers.It does work using
create_shader_module_spirv
and enabling the featuresFeatures::SPIRV_SHADER_PASSTHROUGH | Features::TIMESTAMP_QUERY_INSIDE_PASSES
.Edit:
Replaced with https://github.com/charles-r-earp/rust-gpu/tree/panic-abort.
The idea is for panic! to emit OpKill / OpTerminateInvocation and replace that with a return from the entry point after inlining. Additionally it will use debug_printfln! if available so that it's easier to detect panics while developing.