[tint][fuzz][ast] Add MultiplanarExternalTexture fuzzer
Bug: tint:2223
Change-Id: I5a5ad00db26027f812e90c0ffbf74f035c70b957
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/185644
Reviewed-by: Ryan Harrison <rharrison@chromium.org>
Reviewed-by: James Price <jrprice@google.com>
diff --git a/src/tint/lang/wgsl/ast/transform/BUILD.cmake b/src/tint/lang/wgsl/ast/transform/BUILD.cmake
index 1b942e2..9f17000 100644
--- a/src/tint/lang/wgsl/ast/transform/BUILD.cmake
+++ b/src/tint/lang/wgsl/ast/transform/BUILD.cmake
@@ -261,6 +261,7 @@
lang/wgsl/ast/transform/expand_compound_assignment_fuzz.cc
lang/wgsl/ast/transform/first_index_offset_fuzz.cc
lang/wgsl/ast/transform/fold_constants_fuzz.cc
+ lang/wgsl/ast/transform/multiplanar_external_texture_fuzz.cc
lang/wgsl/ast/transform/zero_init_workgroup_memory_fuzz.cc
)
diff --git a/src/tint/lang/wgsl/ast/transform/BUILD.gn b/src/tint/lang/wgsl/ast/transform/BUILD.gn
index 21a485d..76bcf95 100644
--- a/src/tint/lang/wgsl/ast/transform/BUILD.gn
+++ b/src/tint/lang/wgsl/ast/transform/BUILD.gn
@@ -251,6 +251,7 @@
"expand_compound_assignment_fuzz.cc",
"first_index_offset_fuzz.cc",
"fold_constants_fuzz.cc",
+ "multiplanar_external_texture_fuzz.cc",
"zero_init_workgroup_memory_fuzz.cc",
]
deps = [
diff --git a/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.cc b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.cc
index f1bd0c3..3d7450b 100644
--- a/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.cc
+++ b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.cc
@@ -531,6 +531,7 @@
}
};
+MultiplanarExternalTexture::NewBindingPoints::NewBindingPoints() = default;
MultiplanarExternalTexture::NewBindingPoints::NewBindingPoints(BindingsMap inputBindingsMap,
bool may_collide)
: bindings_map(std::move(inputBindingsMap)), allow_collisions(may_collide) {}
diff --git a/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.h b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.h
index 3395047..d9ed67a 100644
--- a/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.h
+++ b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.h
@@ -36,6 +36,7 @@
#include "src/tint/lang/core/builtin_fn.h"
#include "src/tint/lang/wgsl/ast/struct_member.h"
#include "src/tint/lang/wgsl/ast/transform/transform.h"
+#include "src/tint/utils/reflection/reflection.h"
namespace tint::ast::transform {
@@ -66,8 +67,11 @@
/// which binding slots it should expand into.
struct NewBindingPoints final : public Castable<NewBindingPoints, Data> {
/// Constructor
+ NewBindingPoints();
+
+ /// Constructor
/// @param bm a map to the new binding slots to use.
- /// /// @param may_collide if true, then validation will be disabled for binding point
+ /// @param may_collide if true, then validation will be disabled for binding point
/// collisions generated by this transform
explicit NewBindingPoints(BindingsMap bm, bool may_collide = false);
@@ -75,11 +79,14 @@
~NewBindingPoints() override;
/// A map of new binding points to use.
- const BindingsMap bindings_map;
+ BindingsMap bindings_map;
/// If true, then validation will be disabled for bindign poitn collisions generated by this
/// transform.
- const bool allow_collisions = false;
+ bool allow_collisions = false;
+
+ /// Reflection for this struct
+ TINT_REFLECT(NewBindingPoints, bindings_map, allow_collisions);
};
/// Constructor
diff --git a/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture_fuzz.cc b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture_fuzz.cc
new file mode 100644
index 0000000..caddb35
--- /dev/null
+++ b/src/tint/lang/wgsl/ast/transform/multiplanar_external_texture_fuzz.cc
@@ -0,0 +1,106 @@
+// Copyright 2024 The Dawn & Tint Authors
+//
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are met:
+//
+// 1. Redistributions of source code must retain the above copyright notice, this
+// list of conditions and the following disclaimer.
+//
+// 2. Redistributions in binary form must reproduce the above copyright notice,
+// this list of conditions and the following disclaimer in the documentation
+// and/or other materials provided with the distribution.
+//
+// 3. Neither the name of the copyright holder nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+#include "src/tint/api/common/binding_point.h"
+#include "src/tint/cmd/fuzz/wgsl/fuzz.h"
+#include "src/tint/lang/core/type/external_texture.h"
+#include "src/tint/lang/wgsl/ast/module.h"
+#include "src/tint/lang/wgsl/ast/transform/multiplanar_external_texture.h"
+#include "src/tint/lang/wgsl/sem/variable.h"
+
+namespace tint::ast::transform {
+namespace {
+
+bool CanRun(const Program& program,
+ const MultiplanarExternalTexture::NewBindingPoints& remappings) {
+ Hashset<BindingPoint, 8> all_binding_points;
+ for (auto* global : program.AST().GlobalVariables()) {
+ if (auto* sem = program.Sem().Get<sem::GlobalVariable>(global)) {
+ if (auto binding_point = sem->Attributes().binding_point) {
+ if (sem->Type()->UnwrapPtrOrRef()->Is<core::type::ExternalTexture>() &&
+ remappings.bindings_map.find(binding_point.value()) ==
+ remappings.bindings_map.end()) {
+ // Missing entry for external texture
+ return false;
+ }
+
+ all_binding_points.Add(binding_point.value());
+ }
+ }
+ }
+
+ if (!remappings.allow_collisions) {
+ for (auto* global : program.AST().GlobalVariables()) {
+ if (auto* sem = program.Sem().Get<sem::GlobalVariable>(global)) {
+ if (auto binding_point = sem->Attributes().binding_point) {
+ all_binding_points.Add(binding_point.value());
+ }
+ }
+ }
+ Hashset<BindingPoint, 8> new_binding_points;
+ for (auto& remapping : remappings.bindings_map) {
+ if (all_binding_points.Remove(remapping.first)) {
+ if (!new_binding_points.Add(remapping.second.params)) {
+ return false; // Binding collision
+ }
+ if (!new_binding_points.Add(remapping.second.plane_1)) {
+ return false; // Binding collision
+ }
+ }
+ }
+ for (auto& binding_point : new_binding_points) {
+ if (!all_binding_points.Add(binding_point)) {
+ return false; // Binding collision
+ }
+ }
+ }
+ return true;
+}
+
+void MultiplanarExternalTextureFuzzer(
+ const Program& program,
+ const MultiplanarExternalTexture::NewBindingPoints& binding_points) {
+ if (!CanRun(program, binding_points)) {
+ return;
+ }
+
+ DataMap inputs;
+ inputs.Add<MultiplanarExternalTexture::NewBindingPoints>(std::move(binding_points));
+
+ DataMap outputs;
+ if (auto result = MultiplanarExternalTexture{}.Apply(program, inputs, outputs)) {
+ if (!result->IsValid()) {
+ TINT_ICE() << "MultiplanarExternalTexture returned invalid program:\n"
+ << result->Diagnostics();
+ }
+ }
+}
+
+} // namespace
+} // namespace tint::ast::transform
+
+TINT_WGSL_PROGRAM_FUZZER(tint::ast::transform::MultiplanarExternalTextureFuzzer);
