[validation] impl v-0015: runtime array may only appear last This CL adds checks to verify that runtime arrays only appear as the last element of a struct Bug: tint:345 Change-Id: Ic2930aaf1e24e5c1d116add3a4a6dbdb9eaa02a7 Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/33261 Reviewed-by: dan sinclair <dsinclair@chromium.org> Commit-Queue: Sarah Mashayekhi <sarahmashay@google.com>
diff --git a/src/validator/validator_impl.cc b/src/validator/validator_impl.cc index eccdde6..998277f 100644 --- a/src/validator/validator_impl.cc +++ b/src/validator/validator_impl.cc
@@ -22,8 +22,11 @@ #include "src/ast/int_literal.h" #include "src/ast/intrinsic.h" #include "src/ast/sint_literal.h" +#include "src/ast/struct.h" #include "src/ast/switch_statement.h" +#include "src/ast/type/array_type.h" #include "src/ast/type/i32_type.h" +#include "src/ast/type/struct_type.h" #include "src/ast/type/u32_type.h" #include "src/ast/type/void_type.h" #include "src/ast/uint_literal.h" @@ -48,6 +51,9 @@ if (!ValidateGlobalVariables(module->global_variables())) { return false; } + if (!ValidateConstructedTypes(module->constructed_types())) { + return false; + } if (!ValidateFunctions(module->functions())) { return false; } @@ -59,6 +65,28 @@ return true; } +bool ValidatorImpl::ValidateConstructedTypes( + const std::vector<ast::type::Type*>& constructed_types) { + for (auto* const ct : constructed_types) { + if (ct->IsStruct()) { + auto* st = ct->AsStruct(); + for (auto* member : st->impl()->members()) { + if (member->type()->UnwrapAll()->IsArray()) { + auto* r = member->type()->UnwrapAll()->AsArray(); + if (r->IsRuntimeArray() && member != st->impl()->members().back()) { + set_error(member->source(), + "v-0015: runtime arrays may only appear as the last " + "member of a struct: '" + + member->name() + "'"); + return false; + } + } + } + } + } + return true; +} + bool ValidatorImpl::ValidateGlobalVariables( const ast::VariableList& global_vars) { for (auto* var : global_vars) {
diff --git a/src/validator/validator_impl.h b/src/validator/validator_impl.h index a406f53..a29df99 100644 --- a/src/validator/validator_impl.h +++ b/src/validator/validator_impl.h
@@ -17,6 +17,7 @@ #include <string> #include <unordered_map> +#include <vector> #include "src/ast/assignment_statement.h" #include "src/ast/call_expression.h" @@ -118,6 +119,12 @@ /// @returns true if the valdiation was successful bool ValidateEntryPoint(const ast::FunctionList& funcs); + /// Validates constructed types + /// @param constructed_types the types to check + /// @returns true if the valdiation was successful + bool ValidateConstructedTypes( + const std::vector<ast::type::Type*>& constructed_types); + private: std::string error_; ScopeStack<ast::Variable*> variable_stack_;
diff --git a/src/validator/validator_type_test.cc b/src/validator/validator_type_test.cc index 3773738..db6f7f6 100644 --- a/src/validator/validator_type_test.cc +++ b/src/validator/validator_type_test.cc
@@ -17,6 +17,7 @@ #include "src/ast/struct.h" #include "src/ast/struct_member.h" #include "src/ast/struct_member_decoration.h" +#include "src/ast/type/alias_type.h" #include "src/ast/type/array_type.h" #include "src/ast/type/f32_type.h" #include "src/ast/type/struct_type.h" @@ -51,11 +52,11 @@ auto* st = create<ast::Struct>(decos, members); ast::type::StructType struct_type("Foo", st); - // mod()->AddConstructedType(&struct_type); - // EXPECT_TRUE(v()->ValidateConstructedTypes(mod()->constructed_types())); + mod()->AddConstructedType(&struct_type); + EXPECT_TRUE(v()->ValidateConstructedTypes(mod()->constructed_types())); } -TEST_F(ValidatorTypeTest, DISABLED_RuntimeArrayIsNotLast_Fail) { +TEST_F(ValidatorTypeTest, RuntimeArrayIsNotLast_Fail) { // struct Foo { // rt: array<f32>; // vf: f32; @@ -78,10 +79,71 @@ ast::type::StructType struct_type("Foo", st); mod()->AddConstructedType(&struct_type); - // EXPECT_FALSE(v()->ValidateConstructedTypes(mod()->constructed_types())); - // EXPECT_EQ(v()->error(), - // "12:34: v-0015: runtime arrays may only appear as the last member - // " "of a struct: 'rt'"); + EXPECT_FALSE(v()->ValidateConstructedTypes(mod()->constructed_types())); + EXPECT_EQ(v()->error(), + "12:34: v-0015: runtime arrays may only appear as the last member " + "of a struct: 'rt'"); } + +TEST_F(ValidatorTypeTest, AliasRuntimeArrayIsNotLast_Fail) { + // type RTArr = array<u32>; + // struct s { + // b: RTArr; + // a: u32; + //} + + ast::type::F32Type u32; + ast::type::ArrayType array(&u32); + ast::type::AliasType alias{"RTArr", &array}; + + ast::StructMemberList members; + { + ast::StructMemberDecorationList deco; + members.push_back(create<ast::StructMember>( + Source{Source::Location{12, 34}}, "b", &alias, deco)); + } + { + ast::StructMemberDecorationList deco; + members.push_back(create<ast::StructMember>("a", &u32, deco)); + } + + ast::StructDecorationList decos; + auto* st = create<ast::Struct>(decos, members); + ast::type::StructType struct_type("s", st); + mod()->AddConstructedType(&struct_type); + EXPECT_FALSE(v()->ValidateConstructedTypes(mod()->constructed_types())); + EXPECT_EQ(v()->error(), + "12:34: v-0015: runtime arrays may only appear as the last member " + "of a struct: 'b'"); +} + +TEST_F(ValidatorTypeTest, AliasRuntimeArrayIsLast_Pass) { + // type RTArr = array<u32>; + // struct s { + // a: u32; + // b: RTArr; + //} + + ast::type::F32Type u32; + ast::type::ArrayType array(&u32); + ast::type::AliasType alias{"RTArr", &array}; + + ast::StructMemberList members; + { + ast::StructMemberDecorationList deco; + members.push_back(create<ast::StructMember>("a", &u32, deco)); + } + { + ast::StructMemberDecorationList deco; + members.push_back(create<ast::StructMember>( + Source{Source::Location{12, 34}}, "b", &alias, deco)); + } + ast::StructDecorationList decos; + auto* st = create<ast::Struct>(decos, members); + ast::type::StructType struct_type("s", st); + mod()->AddConstructedType(&struct_type); + EXPECT_TRUE(v()->ValidateConstructedTypes(mod()->constructed_types())); +} + } // namespace } // namespace tint