blob: 6fa3b6eb63c4db4ee145f468b39058f3221dc70f [file] [log] [blame]
Ryan Harrisondbc13af2022-02-21 15:19:07 +00001// Copyright 2021 The Tint Authors.
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15#include "src/tint/fuzzers/tint_common_fuzzer.h"
16
dan sinclair5ab6dcb2023-03-23 19:35:02 +000017#include <algorithm>
Ryan Harrisondbc13af2022-02-21 15:19:07 +000018#include <cassert>
19#include <cstring>
20#include <fstream>
dan sinclair6cc183c2023-03-02 21:28:45 +000021#include <iostream>
Ryan Harrisondbc13af2022-02-21 15:19:07 +000022#include <memory>
23#include <sstream>
24#include <string>
dan sinclair5ab6dcb2023-03-23 19:35:02 +000025#include <unordered_map>
Ryan Harrisondbc13af2022-02-21 15:19:07 +000026#include <utility>
27#include <vector>
28
Austin Eng142bddf2023-03-07 09:27:45 +000029#if TINT_BUILD_SPV_READER || TINT_BUILD_SPV_WRITER
Ryan Harrisondbc13af2022-02-21 15:19:07 +000030#include "spirv-tools/libspirv.hpp"
Austin Eng142bddf2023-03-07 09:27:45 +000031#endif // TINT_BUILD_SPV_READER || TINT_BUILD_SPV_WRITER
Ryan Harrisondbc13af2022-02-21 15:19:07 +000032
33#include "src/tint/ast/module.h"
34#include "src/tint/diagnostic/formatter.h"
35#include "src/tint/program.h"
dan sinclair5ab6dcb2023-03-23 19:35:02 +000036#include "src/tint/sem/binding_point.h"
37#include "src/tint/sem/variable.h"
38#include "src/tint/type/external_texture.h"
Ryan Harrisondbc13af2022-02-21 15:19:07 +000039#include "src/tint/utils/hash.h"
Antonio Maiorano4e98fb02022-05-02 19:49:19 +000040#include "src/tint/writer/flatten_bindings.h"
Ryan Harrisondbc13af2022-02-21 15:19:07 +000041
dan sinclair62a1d712022-04-07 17:46:04 +000042namespace tint::fuzzers {
Ryan Harrisondbc13af2022-02-21 15:19:07 +000043
44namespace {
45
46// A macro is used to avoid FATAL_ERROR creating its own stack frame. This leads
47// to better de-duplication of bug reports, because ClusterFuzz only uses the
48// top few stack frames for de-duplication, and a FATAL_ERROR stack frame
49// provides no useful information.
dan sinclair41e4d9a2022-05-01 14:40:55 +000050#define FATAL_ERROR(diags, msg_string) \
51 do { \
52 std::string msg = msg_string; \
53 auto printer = tint::diag::Printer::create(stderr, true); \
54 if (!msg.empty()) { \
55 printer->write(msg + "\n", {diag::Color::kRed, true}); \
56 } \
57 tint::diag::Formatter().format(diags, printer.get()); \
58 __builtin_trap(); \
59 } while (false)
Ryan Harrisondbc13af2022-02-21 15:19:07 +000060
dan sinclair41e4d9a2022-05-01 14:40:55 +000061[[noreturn]] void TintInternalCompilerErrorReporter(const tint::diag::List& diagnostics) {
62 FATAL_ERROR(diagnostics, "");
Ryan Harrisondbc13af2022-02-21 15:19:07 +000063}
64
65// Wrapping in a macro, so it can be a one-liner in the code, but not
66// introduce another level in the stack trace. This will help with de-duping
67// ClusterFuzz issues.
dan sinclair41e4d9a2022-05-01 14:40:55 +000068#define CHECK_INSPECTOR(program, inspector) \
69 do { \
70 if ((inspector).has_error()) { \
71 if (!enforce_validity) { \
72 return; \
73 } \
74 FATAL_ERROR((program)->Diagnostics(), "Inspector failed: " + (inspector).error()); \
75 } \
76 } while (false)
Ryan Harrisondbc13af2022-02-21 15:19:07 +000077
78// Wrapping in a macro to make code more readable and help with issue de-duping.
79#define VALIDITY_ERROR(diags, msg_string) \
dan sinclair41e4d9a2022-05-01 14:40:55 +000080 do { \
81 if (!enforce_validity) { \
82 return 0; \
83 } \
84 FATAL_ERROR(diags, msg_string); \
85 } while (false)
Ryan Harrisondbc13af2022-02-21 15:19:07 +000086
dan sinclair41e4d9a2022-05-01 14:40:55 +000087bool SPIRVToolsValidationCheck(const tint::Program& program, const std::vector<uint32_t>& spirv) {
88 spvtools::SpirvTools tools(SPV_ENV_VULKAN_1_1);
89 const tint::diag::List& diags = program.Diagnostics();
90 tools.SetMessageConsumer(
91 [diags](spv_message_level_t, const char*, const spv_position_t& pos, const char* msg) {
92 std::stringstream out;
93 out << "Unexpected spirv-val error:\n"
94 << (pos.line + 1) << ":" << (pos.column + 1) << ": " << msg << std::endl;
Ryan Harrisondbc13af2022-02-21 15:19:07 +000095
dan sinclair41e4d9a2022-05-01 14:40:55 +000096 auto printer = tint::diag::Printer::create(stderr, true);
97 printer->write(out.str(), {diag::Color::kYellow, false});
98 tint::diag::Formatter().format(diags, printer.get());
99 });
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000100
dan sinclair41e4d9a2022-05-01 14:40:55 +0000101 return tools.Validate(spirv.data(), spirv.size(), spvtools::ValidatorOptions());
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000102}
103
104} // namespace
105
106void GenerateSpirvOptions(DataBuilder* b, writer::spirv::Options* options) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000107 *options = b->build<writer::spirv::Options>();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000108}
109
110void GenerateWgslOptions(DataBuilder* b, writer::wgsl::Options* options) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000111 *options = b->build<writer::wgsl::Options>();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000112}
113
114void GenerateHlslOptions(DataBuilder* b, writer::hlsl::Options* options) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000115 *options = b->build<writer::hlsl::Options>();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000116}
117
118void GenerateMslOptions(DataBuilder* b, writer::msl::Options* options) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000119 *options = b->build<writer::msl::Options>();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000120}
121
122CommonFuzzer::CommonFuzzer(InputFormat input, OutputFormat output)
123 : input_(input), output_(output) {}
124
125CommonFuzzer::~CommonFuzzer() = default;
126
127int CommonFuzzer::Run(const uint8_t* data, size_t size) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000128 tint::SetInternalCompilerErrorReporter(&TintInternalCompilerErrorReporter);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000129
130#if TINT_BUILD_WGSL_WRITER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000131 tint::Program::printer = [](const tint::Program* program) {
132 auto result = tint::writer::wgsl::Generate(program, {});
133 if (!result.error.empty()) {
134 return "error: " + result.error;
135 }
136 return result.wgsl;
137 };
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000138#endif // TINT_BUILD_WGSL_WRITER
139
dan sinclair41e4d9a2022-05-01 14:40:55 +0000140 Program program;
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000141
142#if TINT_BUILD_SPV_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000143 std::vector<uint32_t> spirv_input(size / sizeof(uint32_t));
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000144
145#endif // TINT_BUILD_SPV_READER
146
147#if TINT_BUILD_WGSL_READER || TINT_BUILD_SPV_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000148 auto dump_input_data = [&](auto& content, const char* extension) {
149 size_t hash = utils::Hash(content);
150 auto filename = "fuzzer_input_" + std::to_string(hash) + extension; //
151 std::ofstream fout(filename, std::ios::binary);
152 fout.write(reinterpret_cast<const char*>(data), static_cast<std::streamsize>(size));
153 std::cout << "Dumped input data to " << filename << std::endl;
154 };
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000155#endif
156
dan sinclair41e4d9a2022-05-01 14:40:55 +0000157 switch (input_) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000158 case InputFormat::kWGSL: {
Brandon Jones13d14522023-01-20 00:11:00 +0000159#if TINT_BUILD_WGSL_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000160 // Clear any existing diagnostics, as these will hold pointers to file_,
161 // which we are about to release.
162 diagnostics_ = {};
163 std::string str(reinterpret_cast<const char*>(data), size);
164 file_ = std::make_unique<Source::File>("test.wgsl", str);
165 if (dump_input_) {
166 dump_input_data(str, ".wgsl");
167 }
168 program = reader::wgsl::Parse(file_.get());
Brandon Jones13d14522023-01-20 00:11:00 +0000169#endif // TINT_BUILD_WGSL_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000170 break;
171 }
Brandon Jones13d14522023-01-20 00:11:00 +0000172
dan sinclair41e4d9a2022-05-01 14:40:55 +0000173 case InputFormat::kSpv: {
Brandon Jones13d14522023-01-20 00:11:00 +0000174#if TINT_BUILD_SPV_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000175 // `spirv_input` has been initialized with the capacity to store `size /
176 // sizeof(uint32_t)` uint32_t values. If `size` is not a multiple of
177 // sizeof(uint32_t) then not all of `data` can be copied into
178 // `spirv_input`, and any trailing bytes are discarded.
179 std::memcpy(spirv_input.data(), data, spirv_input.size() * sizeof(uint32_t));
180 if (spirv_input.empty()) {
181 return 0;
182 }
183 if (dump_input_) {
184 dump_input_data(spirv_input, ".spv");
185 }
186 program = reader::spirv::Parse(spirv_input);
Brandon Jones13d14522023-01-20 00:11:00 +0000187#endif // TINT_BUILD_SPV_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000188 break;
189 }
dan sinclair41e4d9a2022-05-01 14:40:55 +0000190 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000191
dan sinclair41e4d9a2022-05-01 14:40:55 +0000192 if (!program.IsValid()) {
193 diagnostics_ = program.Diagnostics();
194 return 0;
195 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000196
197#if TINT_BUILD_SPV_READER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000198 if (input_ == InputFormat::kSpv && !SPIRVToolsValidationCheck(program, spirv_input)) {
199 FATAL_ERROR(program.Diagnostics(),
200 "Fuzzing detected invalid input spirv not being caught by Tint");
201 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000202#endif // TINT_BUILD_SPV_READER
203
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000204 RunInspector(&program);
dan sinclair41e4d9a2022-05-01 14:40:55 +0000205 diagnostics_ = program.Diagnostics();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000206
dan sinclair65edd3d2022-09-19 18:59:41 +0000207 auto validate_program = [&](auto& out) {
James Price0e6534e2023-05-17 01:21:45 +0000208 if (!out.IsValid()) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000209 // Transforms can produce error messages for bad input.
210 // Catch ICEs and errors from non transform systems.
James Price0e6534e2023-05-17 01:21:45 +0000211 for (const auto& diag : out.Diagnostics()) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000212 if (diag.severity > diag::Severity::Error ||
213 diag.system != diag::System::Transform) {
214 VALIDITY_ERROR(program.Diagnostics(),
215 "Fuzzing detected valid input program being "
216 "transformed into an invalid output program");
217 }
218 }
Ben Clayton89541892022-12-01 15:34:55 +0000219 return 0;
dan sinclair41e4d9a2022-05-01 14:40:55 +0000220 }
221
James Price0e6534e2023-05-17 01:21:45 +0000222 program = std::move(out);
dan sinclair41e4d9a2022-05-01 14:40:55 +0000223 RunInspector(&program);
dan sinclair65edd3d2022-09-19 18:59:41 +0000224 return 1;
225 };
226
227 if (transform_manager_) {
James Price0e6534e2023-05-17 01:21:45 +0000228 transform::DataMap outputs;
229 auto out = transform_manager_->Run(&program, *transform_inputs_, outputs);
dan sinclair65edd3d2022-09-19 18:59:41 +0000230 if (!validate_program(out)) {
231 return 0;
232 }
233 }
234
235 {
236 // Run SubstituteOverride if required
237
James Priceb4acbb82023-05-11 21:27:16 +0000238 ast::transform::SubstituteOverride::Config cfg;
dan sinclair65edd3d2022-09-19 18:59:41 +0000239 inspector::Inspector inspector(&program);
240 auto default_values = inspector.GetOverrideDefaultValues();
241 for (const auto& [override_id, scalar] : default_values) {
242 // If the override is not null, then it has a default value, we can just let it use the
243 // provided default instead of overriding.
244 if (!scalar.IsNull()) {
245 continue;
246 }
247
248 cfg.map.insert({override_id, 0.0});
249 }
250
James Pricec1fd6312023-05-24 16:55:30 +0000251 if (!default_values.empty()) {
James Price0e6534e2023-05-17 01:21:45 +0000252 transform::DataMap override_data;
James Priceb4acbb82023-05-11 21:27:16 +0000253 override_data.Add<ast::transform::SubstituteOverride::Config>(cfg);
dan sinclair65edd3d2022-09-19 18:59:41 +0000254
255 transform::Manager mgr;
James Priceb4acbb82023-05-11 21:27:16 +0000256 mgr.append(std::make_unique<ast::transform::SubstituteOverride>());
dan sinclair65edd3d2022-09-19 18:59:41 +0000257
James Price0e6534e2023-05-17 01:21:45 +0000258 transform::DataMap outputs;
259 auto out = mgr.Run(&program, override_data, outputs);
dan sinclair65edd3d2022-09-19 18:59:41 +0000260 if (!validate_program(out)) {
261 return 0;
262 }
263 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000264 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000265
dan sinclair5ab6dcb2023-03-23 19:35:02 +0000266 // For the generates which use MultiPlanar, make sure the configuration options are provided so
267 // that the transformer will execute.
dan sinclaird146c8a2023-04-11 23:02:38 +0000268 if (output_ == OutputFormat::kMSL || output_ == OutputFormat::kHLSL ||
269 output_ == OutputFormat::kSpv) {
dan sinclair5ab6dcb2023-03-23 19:35:02 +0000270 // Gather external texture binding information
271 // Collect next valid binding number per group
272 std::unordered_map<uint32_t, uint32_t> group_to_next_binding_number;
273 std::vector<sem::BindingPoint> ext_tex_bps;
274 for (auto* var : program.AST().GlobalVariables()) {
275 if (auto* sem_var = program.Sem().Get(var)->As<sem::GlobalVariable>()) {
Ben Clayton5f4847c2023-04-19 13:24:27 +0000276 if (auto bp = sem_var->BindingPoint()) {
277 auto& n = group_to_next_binding_number[bp->group];
278 n = std::max(n, bp->binding + 1);
dan sinclair5ab6dcb2023-03-23 19:35:02 +0000279
Ben Clayton5f4847c2023-04-19 13:24:27 +0000280 if (sem_var->Type()->UnwrapRef()->Is<type::ExternalTexture>()) {
281 ext_tex_bps.emplace_back(*bp);
282 }
dan sinclair5ab6dcb2023-03-23 19:35:02 +0000283 }
284 }
285 }
286
287 writer::ExternalTextureOptions::BindingsMap new_bindings_map;
288 for (auto bp : ext_tex_bps) {
289 uint32_t g = bp.group;
290 uint32_t& next_num = group_to_next_binding_number[g];
291 auto new_bps =
292 writer::ExternalTextureOptions::BindingPoints{{g, next_num++}, {g, next_num++}};
293
294 new_bindings_map[bp] = new_bps;
295 }
296
297 switch (output_) {
298 case OutputFormat::kMSL: {
299 options_msl_.external_texture_options.bindings_map = new_bindings_map;
300 break;
301 }
302 case OutputFormat::kHLSL: {
303 options_hlsl_.external_texture_options.bindings_map = new_bindings_map;
304 break;
305 }
dan sinclaird146c8a2023-04-11 23:02:38 +0000306 case OutputFormat::kSpv: {
307 options_spirv_.external_texture_options.bindings_map = new_bindings_map;
308 break;
309 }
dan sinclair5ab6dcb2023-03-23 19:35:02 +0000310 default:
311 break;
312 }
313 }
314
dan sinclair41e4d9a2022-05-01 14:40:55 +0000315 switch (output_) {
316 case OutputFormat::kWGSL: {
317#if TINT_BUILD_WGSL_WRITER
dan sinclair8dbd4d02022-07-27 18:54:05 +0000318 writer::wgsl::Generate(&program, options_wgsl_);
dan sinclair41e4d9a2022-05-01 14:40:55 +0000319#endif // TINT_BUILD_WGSL_WRITER
320 break;
321 }
322 case OutputFormat::kSpv: {
323#if TINT_BUILD_SPV_WRITER
324 auto result = writer::spirv::Generate(&program, options_spirv_);
325 generated_spirv_ = std::move(result.spirv);
dan sinclair41e4d9a2022-05-01 14:40:55 +0000326
327 if (!SPIRVToolsValidationCheck(program, generated_spirv_)) {
328 VALIDITY_ERROR(program.Diagnostics(),
329 "Fuzzing detected invalid spirv being emitted by Tint");
330 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000331
332#endif // TINT_BUILD_SPV_WRITER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000333 break;
334 }
335 case OutputFormat::kHLSL: {
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000336#if TINT_BUILD_HLSL_WRITER
dan sinclair8dbd4d02022-07-27 18:54:05 +0000337 writer::hlsl::Generate(&program, options_hlsl_);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000338#endif // TINT_BUILD_HLSL_WRITER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000339 break;
340 }
341 case OutputFormat::kMSL: {
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000342#if TINT_BUILD_MSL_WRITER
Antonio Maiorano4e98fb02022-05-02 19:49:19 +0000343 // Remap resource numbers to a flat namespace.
344 // TODO(crbug.com/tint/1501): Do this via Options::BindingMap.
345 auto input_program = &program;
346 auto flattened = tint::writer::FlattenBindings(&program);
347 if (flattened) {
348 input_program = &*flattened;
349 }
350
dan sinclair8dbd4d02022-07-27 18:54:05 +0000351 writer::msl::Generate(input_program, options_msl_);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000352#endif // TINT_BUILD_MSL_WRITER
dan sinclair41e4d9a2022-05-01 14:40:55 +0000353 break;
354 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000355 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000356
dan sinclair41e4d9a2022-05-01 14:40:55 +0000357 return 0;
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000358}
359
360void CommonFuzzer::RunInspector(Program* program) {
dan sinclair41e4d9a2022-05-01 14:40:55 +0000361 inspector::Inspector inspector(program);
362 diagnostics_ = program->Diagnostics();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000363
Ben Clayton3f24fdc2022-11-01 00:23:14 +0000364 if (!program->IsValid()) {
365 // It's not safe to use the inspector on invalid programs.
366 return;
367 }
368
dan sinclair41e4d9a2022-05-01 14:40:55 +0000369 auto entry_points = inspector.GetEntryPoints();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000370 CHECK_INSPECTOR(program, inspector);
371
Ben Clayton9a6acc42022-07-27 20:50:40 +0000372 auto override_ids = inspector.GetOverrideDefaultValues();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000373 CHECK_INSPECTOR(program, inspector);
374
Ben Clayton9a6acc42022-07-27 20:50:40 +0000375 auto override_name_to_id = inspector.GetNamedOverrideIds();
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000376 CHECK_INSPECTOR(program, inspector);
377
dan sinclair41e4d9a2022-05-01 14:40:55 +0000378 for (auto& ep : entry_points) {
379 inspector.GetStorageSize(ep.name);
380 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000381
dan sinclair41e4d9a2022-05-01 14:40:55 +0000382 inspector.GetResourceBindings(ep.name);
383 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000384
dan sinclair41e4d9a2022-05-01 14:40:55 +0000385 inspector.GetUniformBufferResourceBindings(ep.name);
386 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000387
dan sinclair41e4d9a2022-05-01 14:40:55 +0000388 inspector.GetStorageBufferResourceBindings(ep.name);
389 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000390
dan sinclair41e4d9a2022-05-01 14:40:55 +0000391 inspector.GetReadOnlyStorageBufferResourceBindings(ep.name);
392 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000393
dan sinclair41e4d9a2022-05-01 14:40:55 +0000394 inspector.GetSamplerResourceBindings(ep.name);
395 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000396
dan sinclair41e4d9a2022-05-01 14:40:55 +0000397 inspector.GetComparisonSamplerResourceBindings(ep.name);
398 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000399
dan sinclair41e4d9a2022-05-01 14:40:55 +0000400 inspector.GetSampledTextureResourceBindings(ep.name);
401 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000402
dan sinclair41e4d9a2022-05-01 14:40:55 +0000403 inspector.GetMultisampledTextureResourceBindings(ep.name);
404 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000405
dan sinclair41e4d9a2022-05-01 14:40:55 +0000406 inspector.GetWriteOnlyStorageTextureResourceBindings(ep.name);
407 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000408
dan sinclair41e4d9a2022-05-01 14:40:55 +0000409 inspector.GetDepthTextureResourceBindings(ep.name);
410 CHECK_INSPECTOR(program, inspector);
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000411
dan sinclair41e4d9a2022-05-01 14:40:55 +0000412 inspector.GetDepthMultisampledTextureResourceBindings(ep.name);
413 CHECK_INSPECTOR(program, inspector);
414
415 inspector.GetExternalTextureResourceBindings(ep.name);
416 CHECK_INSPECTOR(program, inspector);
417
418 inspector.GetSamplerTextureUses(ep.name);
419 CHECK_INSPECTOR(program, inspector);
420
421 inspector.GetWorkgroupStorageSize(ep.name);
422 CHECK_INSPECTOR(program, inspector);
423 }
Ryan Harrisondbc13af2022-02-21 15:19:07 +0000424}
425
dan sinclair62a1d712022-04-07 17:46:04 +0000426} // namespace tint::fuzzers