Open ErichDonGubler opened 7 months ago
Correspondent Firefox bug: bug 1882800
This is blocking some BabylonJS demos.
This is blocking some Three.js demos.
I think we may want to scope this issue down to simply supporting the syntax, and including the data in the naga::Module
somehow, where uniformity analysis could use it, once it's implemented.
We don't have any warnings in Naga right now. Adding the infrastructure for reporting them and filtering them will be a large project, for something we don't even do yet.
This issue's urgency comes from the fact that we can't parse valid shaders, so I think clearing that specific hurdle will be enough.
After discussion this morning, we agreed that this issue would remain as filed, and we'd file separate blocker issues for the sub-issues that we want to address immediately.
We currently do not support the
@diagnostic(…)
attribute/diagnostic(…)
directive (AKA "diagnostic filters" in the WebGPU spec.). This is a rather complicated subsystem, but it's exciting to have robust management of diagnostics in WGSL a la Rust. An example of how this is used from the spec.:Relevant part of the spec.: Diagnostics, section 2.3
An initial implementation of this should include the
derivative_uniformity
rule, as the only current example of filterable trigger rules that can be managed per the spec.Parse paths that we need to support to be spec.-compliant:
if
statement.switch statement
.switch_body
.loop
statement.while
statement.for
statement.continuing_compound_statement
.