From b77694dadbae0739f64f759b48afb0db8d17f8e6 Mon Sep 17 00:00:00 2001 From: Erich Gubler Date: Fri, 23 Aug 2024 13:46:24 -0400 Subject: [PATCH] feat(wgsl-in): parse `diagnostic` attrs. on `fn`s --- naga/src/front/glsl/functions.rs | 1 + naga/src/front/spv/function.rs | 2 + naga/src/front/wgsl/lower/mod.rs | 1 + naga/src/front/wgsl/parse/ast.rs | 1 + naga/src/front/wgsl/parse/mod.rs | 16 ++++---- naga/src/lib.rs | 8 ++++ naga/src/valid/analyzer.rs | 2 +- naga/src/valid/handles.rs | 5 +++ naga/tests/in/diagnostic-filter.wgsl | 5 +++ naga/tests/out/ir/access.compact.ron | 14 +++++++ naga/tests/out/ir/access.ron | 14 +++++++ .../out/ir/atomic_i_increment.compact.ron | 2 + naga/tests/out/ir/atomic_i_increment.ron | 2 + naga/tests/out/ir/collatz.compact.ron | 2 + naga/tests/out/ir/collatz.ron | 2 + naga/tests/out/ir/const_assert.compact.ron | 1 + naga/tests/out/ir/const_assert.ron | 1 + .../out/ir/diagnostic-filter.compact.ron | 38 ++++++++++++++++++- naga/tests/out/ir/diagnostic-filter.ron | 38 ++++++++++++++++++- naga/tests/out/ir/fetch_depth.compact.ron | 2 + naga/tests/out/ir/fetch_depth.ron | 2 + naga/tests/out/ir/index-by-value.compact.ron | 4 ++ naga/tests/out/ir/index-by-value.ron | 4 ++ naga/tests/out/ir/local-const.compact.ron | 1 + naga/tests/out/ir/local-const.ron | 1 + ...ides-atomicCompareExchangeWeak.compact.ron | 1 + .../overrides-atomicCompareExchangeWeak.ron | 1 + .../out/ir/overrides-ray-query.compact.ron | 1 + naga/tests/out/ir/overrides-ray-query.ron | 1 + naga/tests/out/ir/overrides.compact.ron | 1 + naga/tests/out/ir/overrides.ron | 1 + naga/tests/out/ir/shadow.compact.ron | 3 ++ naga/tests/out/ir/shadow.ron | 3 ++ naga/tests/out/ir/spec-constants.compact.ron | 2 + naga/tests/out/ir/spec-constants.ron | 2 + 35 files changed, 175 insertions(+), 10 deletions(-) diff --git a/naga/src/front/glsl/functions.rs b/naga/src/front/glsl/functions.rs index 2ebc8ccfd55..6805d6f0394 100644 --- a/naga/src/front/glsl/functions.rs +++ b/naga/src/front/glsl/functions.rs @@ -1066,6 +1066,7 @@ impl Frontend { expressions, named_expressions: crate::NamedExpressions::default(), body, + diagnostic_filter_leaf: None, }; 'outer: for decl in declaration.overloads.iter_mut() { diff --git a/naga/src/front/spv/function.rs b/naga/src/front/spv/function.rs index 09d77f11f98..c503e3bfd52 100644 --- a/naga/src/front/spv/function.rs +++ b/naga/src/front/spv/function.rs @@ -60,6 +60,7 @@ impl> super::Frontend { ), named_expressions: crate::NamedExpressions::default(), body: crate::Block::new(), + diagnostic_filter_leaf: None, } }; @@ -311,6 +312,7 @@ impl> super::Frontend { expressions: Arena::new(), named_expressions: crate::NamedExpressions::default(), body: crate::Block::new(), + diagnostic_filter_leaf: None, }; // 1. copy the inputs from arguments to privates diff --git a/naga/src/front/wgsl/lower/mod.rs b/naga/src/front/wgsl/lower/mod.rs index d413e883e43..111d4f18d99 100644 --- a/naga/src/front/wgsl/lower/mod.rs +++ b/naga/src/front/wgsl/lower/mod.rs @@ -1284,6 +1284,7 @@ impl<'source, 'temp> Lowerer<'source, 'temp> { expressions, named_expressions: crate::NamedExpressions::default(), body: crate::Block::default(), + diagnostic_filter_leaf: f.diagnostic_filter_leaf, }; let mut typifier = Typifier::default(); diff --git a/naga/src/front/wgsl/parse/ast.rs b/naga/src/front/wgsl/parse/ast.rs index 93851089349..ae097d13775 100644 --- a/naga/src/front/wgsl/parse/ast.rs +++ b/naga/src/front/wgsl/parse/ast.rs @@ -133,6 +133,7 @@ pub struct Function<'a> { pub arguments: Vec>, pub result: Option>, pub body: Block<'a>, + pub diagnostic_filter_leaf: Option>, } #[derive(Debug)] diff --git a/naga/src/front/wgsl/parse/mod.rs b/naga/src/front/wgsl/parse/mod.rs index 18261f8ad2f..d20e06f88cd 100644 --- a/naga/src/front/wgsl/parse/mod.rs +++ b/naga/src/front/wgsl/parse/mod.rs @@ -2218,6 +2218,7 @@ impl Parser { fn function_decl<'a>( &mut self, lexer: &mut Lexer<'a>, + diagnostic_filter_leaf: Option>, out: &mut ast::TranslationUnit<'a>, dependencies: &mut FastIndexSet>, ) -> Result, Error<'a>> { @@ -2290,6 +2291,7 @@ impl Parser { arguments, result, body, + diagnostic_filter_leaf, }; // done @@ -2525,13 +2527,13 @@ impl Parser { Some(ast::GlobalDeclKind::Var(var)) } (Token::Word("fn"), _) => { - if !diagnostic_filters.is_empty() { - return Err(Error::DiagnosticAttributeNotYetImplementedAtParseSite { - site_name_plural: "functions", - spans: diagnostic_filters.spans().collect(), - }); - } - let function = self.function_decl(lexer, out, &mut dependencies)?; + let diagnostic_filter_leaf = Self::write_diagnostic_filters( + &mut out.diagnostic_filters, + diagnostic_filters, + out.diagnostic_filter_leaf, + ); + let function = + self.function_decl(lexer, diagnostic_filter_leaf, out, &mut dependencies)?; Some(ast::GlobalDeclKind::Fn(ast::Function { entry_point: if let Some(stage) = stage.value { if stage == ShaderStage::Compute && workgroup_size.value.is_none() { diff --git a/naga/src/lib.rs b/naga/src/lib.rs index 280a9a9d84f..c69542ab05e 100644 --- a/naga/src/lib.rs +++ b/naga/src/lib.rs @@ -2121,6 +2121,14 @@ pub struct Function { pub named_expressions: NamedExpressions, /// Block of instructions comprising the body of the function. pub body: Block, + /// The leaf of all diagnostic filter rules tree (stored in [`Module::diagnostic_filters`]) + /// parsed on this function. + /// + /// In WGSL, this corresponds to `@diagnostic(…)` attributes. + /// + /// See [`DiagnosticFilterNode`] for details on how the tree is represented and used in + /// validation. + pub diagnostic_filter_leaf: Option>, } /// The main function for a pipeline stage. diff --git a/naga/src/valid/analyzer.rs b/naga/src/valid/analyzer.rs index b50238b97b5..0ca9829d63e 100644 --- a/naga/src/valid/analyzer.rs +++ b/naga/src/valid/analyzer.rs @@ -1150,7 +1150,7 @@ impl ModuleInfo { expressions: vec![ExpressionInfo::new(); fun.expressions.len()].into_boxed_slice(), sampling: crate::FastHashSet::default(), dual_source_blending: false, - diagnostic_filter_leaf: module.diagnostic_filter_leaf, + diagnostic_filter_leaf: fun.diagnostic_filter_leaf, }; let resolve_context = ResolveContext::with_locals(module, &fun.local_variables, &fun.arguments); diff --git a/naga/src/valid/handles.rs b/naga/src/valid/handles.rs index 069261eb4ad..680c2d3ba01 100644 --- a/naga/src/valid/handles.rs +++ b/naga/src/valid/handles.rs @@ -122,6 +122,7 @@ impl super::Validator { ref expressions, ref named_expressions, ref body, + ref diagnostic_filter_leaf, } = function; for arg in arguments.iter() { @@ -165,6 +166,10 @@ impl super::Validator { Self::validate_block_handles(body, expressions, functions)?; + if let Some(handle) = *diagnostic_filter_leaf { + handle.check_valid_for(diagnostic_filters)?; + } + Ok(()) }; diff --git a/naga/tests/in/diagnostic-filter.wgsl b/naga/tests/in/diagnostic-filter.wgsl index 93a3942cf3d..f1cd78aaac2 100644 --- a/naga/tests/in/diagnostic-filter.wgsl +++ b/naga/tests/in/diagnostic-filter.wgsl @@ -1 +1,6 @@ diagnostic(off, derivative_uniformity); + +fn thing() {} + +@diagnostic(warning, derivative_uniformity) +fn with_diagnostic() {} diff --git a/naga/tests/out/ir/access.compact.ron b/naga/tests/out/ir/access.compact.ron index cae5d7d8e78..974080e9983 100644 --- a/naga/tests/out/ir/access.compact.ron +++ b/naga/tests/out/ir/access.compact.ron @@ -923,6 +923,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("test_matrix_within_array_within_struct_accesses"), @@ -1527,6 +1528,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("read_from_private"), @@ -1560,6 +1562,7 @@ value: Some(1), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("test_arr_as_arg"), @@ -1602,6 +1605,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_through_ptr_fn"), @@ -1630,6 +1634,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_array_through_ptr_fn"), @@ -1690,6 +1695,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fetch_arg_ptr_member"), @@ -1727,6 +1733,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_to_arg_ptr_member"), @@ -1763,6 +1770,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fetch_arg_ptr_array_element"), @@ -1800,6 +1808,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_to_arg_ptr_array_element"), @@ -1836,6 +1845,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -2138,6 +2148,7 @@ value: Some(52), ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2329,6 +2340,7 @@ value: Some(31), ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2410,6 +2422,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2473,6 +2486,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/access.ron b/naga/tests/out/ir/access.ron index cae5d7d8e78..974080e9983 100644 --- a/naga/tests/out/ir/access.ron +++ b/naga/tests/out/ir/access.ron @@ -923,6 +923,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("test_matrix_within_array_within_struct_accesses"), @@ -1527,6 +1528,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("read_from_private"), @@ -1560,6 +1562,7 @@ value: Some(1), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("test_arr_as_arg"), @@ -1602,6 +1605,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_through_ptr_fn"), @@ -1630,6 +1634,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_array_through_ptr_fn"), @@ -1690,6 +1695,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fetch_arg_ptr_member"), @@ -1727,6 +1733,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_to_arg_ptr_member"), @@ -1763,6 +1770,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fetch_arg_ptr_array_element"), @@ -1800,6 +1808,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("assign_to_arg_ptr_array_element"), @@ -1836,6 +1845,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -2138,6 +2148,7 @@ value: Some(52), ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2329,6 +2340,7 @@ value: Some(31), ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2410,6 +2422,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ( @@ -2473,6 +2486,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/atomic_i_increment.compact.ron b/naga/tests/out/ir/atomic_i_increment.compact.ron index c7c33fcaaa8..7d024f4e81c 100644 --- a/naga/tests/out/ir/atomic_i_increment.compact.ron +++ b/naga/tests/out/ir/atomic_i_increment.compact.ron @@ -254,6 +254,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -276,6 +277,7 @@ result: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/atomic_i_increment.ron b/naga/tests/out/ir/atomic_i_increment.ron index 4fe2266a148..aab4c07206f 100644 --- a/naga/tests/out/ir/atomic_i_increment.ron +++ b/naga/tests/out/ir/atomic_i_increment.ron @@ -279,6 +279,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -301,6 +302,7 @@ result: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/collatz.compact.ron b/naga/tests/out/ir/collatz.compact.ron index 9091d269c75..48ce8e76bc6 100644 --- a/naga/tests/out/ir/collatz.compact.ron +++ b/naga/tests/out/ir/collatz.compact.ron @@ -248,6 +248,7 @@ value: Some(23), ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -327,6 +328,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/collatz.ron b/naga/tests/out/ir/collatz.ron index 9091d269c75..48ce8e76bc6 100644 --- a/naga/tests/out/ir/collatz.ron +++ b/naga/tests/out/ir/collatz.ron @@ -248,6 +248,7 @@ value: Some(23), ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -327,6 +328,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/const_assert.compact.ron b/naga/tests/out/ir/const_assert.compact.ron index 8d4a729f9ae..03c540b6019 100644 --- a/naga/tests/out/ir/const_assert.compact.ron +++ b/naga/tests/out/ir/const_assert.compact.ron @@ -48,6 +48,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [], diff --git a/naga/tests/out/ir/const_assert.ron b/naga/tests/out/ir/const_assert.ron index 8d4a729f9ae..03c540b6019 100644 --- a/naga/tests/out/ir/const_assert.ron +++ b/naga/tests/out/ir/const_assert.ron @@ -48,6 +48,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [], diff --git a/naga/tests/out/ir/diagnostic-filter.compact.ron b/naga/tests/out/ir/diagnostic-filter.compact.ron index e96fc1f4d42..4294b06e960 100644 --- a/naga/tests/out/ir/diagnostic-filter.compact.ron +++ b/naga/tests/out/ir/diagnostic-filter.compact.ron @@ -9,7 +9,36 @@ overrides: [], global_variables: [], global_expressions: [], - functions: [], + functions: [ + ( + name: Some("thing"), + arguments: [], + result: None, + local_variables: [], + expressions: [], + named_expressions: {}, + body: [ + Return( + value: None, + ), + ], + diagnostic_filter_leaf: Some(0), + ), + ( + name: Some("with_diagnostic"), + arguments: [], + result: None, + local_variables: [], + expressions: [], + named_expressions: {}, + body: [ + Return( + value: None, + ), + ], + diagnostic_filter_leaf: Some(1), + ), + ], entry_points: [], diagnostic_filters: [ ( @@ -19,6 +48,13 @@ ), parent: None, ), + ( + inner: ( + new_severity: Warning, + triggering_rule: DerivativeUniformity, + ), + parent: Some(0), + ), ], diagnostic_filter_leaf: Some(0), ) \ No newline at end of file diff --git a/naga/tests/out/ir/diagnostic-filter.ron b/naga/tests/out/ir/diagnostic-filter.ron index e96fc1f4d42..4294b06e960 100644 --- a/naga/tests/out/ir/diagnostic-filter.ron +++ b/naga/tests/out/ir/diagnostic-filter.ron @@ -9,7 +9,36 @@ overrides: [], global_variables: [], global_expressions: [], - functions: [], + functions: [ + ( + name: Some("thing"), + arguments: [], + result: None, + local_variables: [], + expressions: [], + named_expressions: {}, + body: [ + Return( + value: None, + ), + ], + diagnostic_filter_leaf: Some(0), + ), + ( + name: Some("with_diagnostic"), + arguments: [], + result: None, + local_variables: [], + expressions: [], + named_expressions: {}, + body: [ + Return( + value: None, + ), + ], + diagnostic_filter_leaf: Some(1), + ), + ], entry_points: [], diagnostic_filters: [ ( @@ -19,6 +48,13 @@ ), parent: None, ), + ( + inner: ( + new_severity: Warning, + triggering_rule: DerivativeUniformity, + ), + parent: Some(0), + ), ], diagnostic_filter_leaf: Some(0), ) \ No newline at end of file diff --git a/naga/tests/out/ir/fetch_depth.compact.ron b/naga/tests/out/ir/fetch_depth.compact.ron index 08c9296bb84..0d998e205cf 100644 --- a/naga/tests/out/ir/fetch_depth.compact.ron +++ b/naga/tests/out/ir/fetch_depth.compact.ron @@ -167,6 +167,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -189,6 +190,7 @@ result: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/fetch_depth.ron b/naga/tests/out/ir/fetch_depth.ron index d48c09bfe1f..c66b7eb065b 100644 --- a/naga/tests/out/ir/fetch_depth.ron +++ b/naga/tests/out/ir/fetch_depth.ron @@ -237,6 +237,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -259,6 +260,7 @@ result: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/index-by-value.compact.ron b/naga/tests/out/ir/index-by-value.compact.ron index 461d5f6612a..f0ea76f496c 100644 --- a/naga/tests/out/ir/index-by-value.compact.ron +++ b/naga/tests/out/ir/index-by-value.compact.ron @@ -127,6 +127,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("index_let_array"), @@ -214,6 +215,7 @@ value: Some(10), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("index_let_matrix"), @@ -289,6 +291,7 @@ value: Some(10), ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -366,6 +369,7 @@ value: Some(9), ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/index-by-value.ron b/naga/tests/out/ir/index-by-value.ron index 461d5f6612a..f0ea76f496c 100644 --- a/naga/tests/out/ir/index-by-value.ron +++ b/naga/tests/out/ir/index-by-value.ron @@ -127,6 +127,7 @@ value: Some(2), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("index_let_array"), @@ -214,6 +215,7 @@ value: Some(10), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("index_let_matrix"), @@ -289,6 +291,7 @@ value: Some(10), ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -366,6 +369,7 @@ value: Some(9), ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/local-const.compact.ron b/naga/tests/out/ir/local-const.compact.ron index 4a0041f503a..6c35ee90bc4 100644 --- a/naga/tests/out/ir/local-const.compact.ron +++ b/naga/tests/out/ir/local-const.compact.ron @@ -133,6 +133,7 @@ end: 5, )), ], + diagnostic_filter_leaf: None, ), ], entry_points: [], diff --git a/naga/tests/out/ir/local-const.ron b/naga/tests/out/ir/local-const.ron index 4a0041f503a..6c35ee90bc4 100644 --- a/naga/tests/out/ir/local-const.ron +++ b/naga/tests/out/ir/local-const.ron @@ -133,6 +133,7 @@ end: 5, )), ], + diagnostic_filter_leaf: None, ), ], entry_points: [], diff --git a/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.compact.ron b/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.compact.ron index 55184adaef2..e762de03854 100644 --- a/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.compact.ron +++ b/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.compact.ron @@ -122,6 +122,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.ron b/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.ron index 55184adaef2..e762de03854 100644 --- a/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.ron +++ b/naga/tests/out/ir/overrides-atomicCompareExchangeWeak.ron @@ -122,6 +122,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/overrides-ray-query.compact.ron b/naga/tests/out/ir/overrides-ray-query.compact.ron index a66c7ba73a6..f7d05aa92f6 100644 --- a/naga/tests/out/ir/overrides-ray-query.compact.ron +++ b/naga/tests/out/ir/overrides-ray-query.compact.ron @@ -253,6 +253,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/overrides-ray-query.ron b/naga/tests/out/ir/overrides-ray-query.ron index a66c7ba73a6..f7d05aa92f6 100644 --- a/naga/tests/out/ir/overrides-ray-query.ron +++ b/naga/tests/out/ir/overrides-ray-query.ron @@ -253,6 +253,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/overrides.compact.ron b/naga/tests/out/ir/overrides.compact.ron index f1e3f411eed..d2df01c0db7 100644 --- a/naga/tests/out/ir/overrides.compact.ron +++ b/naga/tests/out/ir/overrides.compact.ron @@ -193,6 +193,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/overrides.ron b/naga/tests/out/ir/overrides.ron index f1e3f411eed..d2df01c0db7 100644 --- a/naga/tests/out/ir/overrides.ron +++ b/naga/tests/out/ir/overrides.ron @@ -193,6 +193,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/shadow.compact.ron b/naga/tests/out/ir/shadow.compact.ron index 65e78c14207..39a25fd10b3 100644 --- a/naga/tests/out/ir/shadow.compact.ron +++ b/naga/tests/out/ir/shadow.compact.ron @@ -540,6 +540,7 @@ value: Some(34), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fs_main"), @@ -948,6 +949,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -1023,6 +1025,7 @@ value: Some(5), ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/shadow.ron b/naga/tests/out/ir/shadow.ron index 88379a86c75..196536d56b1 100644 --- a/naga/tests/out/ir/shadow.ron +++ b/naga/tests/out/ir/shadow.ron @@ -795,6 +795,7 @@ value: Some(70), ), ], + diagnostic_filter_leaf: None, ), ( name: Some("fs_main"), @@ -1226,6 +1227,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -1301,6 +1303,7 @@ value: Some(5), ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/spec-constants.compact.ron b/naga/tests/out/ir/spec-constants.compact.ron index 5e8a1c22cdc..9ea75cd468d 100644 --- a/naga/tests/out/ir/spec-constants.compact.ron +++ b/naga/tests/out/ir/spec-constants.compact.ron @@ -486,6 +486,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -606,6 +607,7 @@ value: Some(14), ), ], + diagnostic_filter_leaf: None, ), ), ], diff --git a/naga/tests/out/ir/spec-constants.ron b/naga/tests/out/ir/spec-constants.ron index 8a42262d20e..5d48e94efcd 100644 --- a/naga/tests/out/ir/spec-constants.ron +++ b/naga/tests/out/ir/spec-constants.ron @@ -592,6 +592,7 @@ value: None, ), ], + diagnostic_filter_leaf: None, ), ], entry_points: [ @@ -712,6 +713,7 @@ value: Some(14), ), ], + diagnostic_filter_leaf: None, ), ), ],