[wgsl-in] Implement template list discovery and handle all type resolution in the lowerer - #8386

Merged

teoxoy merged 48 commits into

gfx-rs:trunkfrom

Jan 28, 2026

Commits on Jan 27, 2026

add `optionally_typed_ident` fn

teoxoy
authored and
jimblandy
committed
e16156b
[wgsl] rename `type_decl` to `type_specifier`

teoxoy
authored and
jimblandy
committed
9b8961f
rename `assignment_statement` to `variable_updating_statement`

teoxoy
authored and
jimblandy
committed
40d72c4
rename `general_expression` to `expression`

teoxoy
authored and
jimblandy
committed
be43180
remove `next_scalar_generic`

teoxoy
authored and
jimblandy
committed
f0c9efb
remove `peek_ident_with_span`

teoxoy
authored and
jimblandy
committed
5e5654e
update `lhs_expression` to be in line with the spec

teoxoy
authored and
jimblandy
committed
9c5301f
rename `postfix` to `component_or_swizzle_specifier`

teoxoy
authored and
jimblandy
committed
be24b1d
remove `lexer.clone()`

teoxoy
authored and
jimblandy
committed
94eba5c
rename `function_statement` to `func_call_statement`

teoxoy
authored and
jimblandy
committed
64c3e27
rename `function_call_or_assignment_statement` to `func_call_or_variable_updating_statement`

teoxoy
authored and
jimblandy
committed
92eedd4
use `lexer.next()` instead of `peek()` for most statements

teoxoy
authored and
jimblandy
committed
5f55360
flatten match

teoxoy
authored and
jimblandy
committed
942282e
add function that parses variable, value, func call and variable updating statements

teoxoy
authored and
jimblandy
committed
adaa9bd
use `lexer.skip()` in one more place

teoxoy
authored and
jimblandy
committed
25b3d10
rename `Lexer` `skip` to `next_if`

teoxoy
authored and
jimblandy
committed
8426e6d
use `lexer.next()` in `primary_expression`

teoxoy
authored and
jimblandy
committed
39be5ea
rename `function_call` to `call_expression`

teoxoy
authored and
jimblandy
committed
5fab880
use `lexer.next()` in `unary_expression`

teoxoy
authored and
jimblandy
committed
e5fec27
avoid recursing into `unary_expression`

teoxoy
authored and
jimblandy
committed
033b476
remove `Clone` derive from the `Lexer`

teoxoy
authored and
jimblandy
committed
69fc5a4
add `Lexer::span_with_start`

teoxoy
authored and
jimblandy
committed
efca67c
implement template list discovery

teoxoy
authored and
jimblandy
committed
b223e14
[wgsl] update reserved list to latest CR

teoxoy
authored and
jimblandy
committed
9cba214
add `TemplateArgsStart` & `TemplateArgsEnd` tokens

teoxoy
authored and
jimblandy
committed
f6bddfb
handle `var` decl template list in the lowerer

teoxoy
authored and
jimblandy
committed
0b240bc
handle `bitcast`, `coopLoad` and construction exprs in the lowerer

teoxoy
authored and
jimblandy
committed
4cd1e53
handle all type resolution in the lowerer

teoxoy
authored and
jimblandy
committed
9357792
add `shadowing_predeclared_types` test

teoxoy
authored and
jimblandy
committed
480d7ad
add `test_template_list` test

teoxoy
authored and
jimblandy
committed
f4731d1
document `consume_tokens`

teoxoy
authored and
jimblandy
committed
a6f2971
adjust GLSL snapshots

teoxoy
authored and
jimblandy
committed
14fd725
[wgsl-out] avoid shadowing built-ins

teoxoy
authored and
jimblandy
committed
b946afc
[wgsl] pass expected token to functions that might not match any tokens

teoxoy
authored and
jimblandy
committed
ebb2975
[naga wgsl-in] Rename `component_or_swizzle_specifier` arg.
jimblandy
committed
6eff468
[naga wgsl-in] Use `Option::is_some_and` where appropriate.
jimblandy
committed
b55e406
[naga wgsl-in] Rename `consume_tokens` to `discover_template_lists`.
jimblandy
committed
dbfee4c
[naga wgsl-in] Remove unnecessary dependencies.
jimblandy
committed
f21d002
[naga wgsl-in] Rename `TemplateListIter::scalar` to `scalar_ty`.
jimblandy
committed
cb2b971
[naga wgsl-in] Doc fixes.
jimblandy
committed
0e8ef6c
[wgsl-in] move `enumerant` & `var_address_space` functions on `ExpressionContext`

teoxoy
authored and
jimblandy
committed
de2b09b
[naga wgsl-in] Use typical abbreviations in `map_predeclared_type`.
jimblandy
committed
c9b99b6
[naga wgsl-in] Minor rearrangement to flatten control flow.
jimblandy
committed
d962f49
[naga wgsl-in] Doc fixes.
jimblandy
committed
e62eb19
[naga] Simplify `proc::Namer`'s handling of struct member names.
jimblandy
committed
8331264
[naga wgsl-in] Don't permit template parameters after enumerants.
jimblandy
committed
06f783d
[naga wgsl-in] Flatten control flow for clarity.
jimblandy
committed
edf4041
[naga wgsl-in]: Rename error variant field for clarity.
jimblandy
committed
687c035