// Copyright 2020 The Tint Authors. // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. #include "src/tint/reader/wgsl/parser_impl_test_helper.h" namespace tint::reader::wgsl { namespace { struct VariableStorageData { const char* input; ast::AddressSpace address_space; ast::Access access; }; inline std::ostream& operator<<(std::ostream& out, VariableStorageData data) { out << std::string(data.input); return out; } class VariableQualifierTest : public ParserImplTestWithParam {}; TEST_P(VariableQualifierTest, ParsesAddressSpace) { auto params = GetParam(); auto p = parser(std::string("<") + params.input + ">"); auto sc = p->variable_qualifier(); EXPECT_FALSE(p->has_error()); EXPECT_FALSE(sc.errored); EXPECT_TRUE(sc.matched); EXPECT_EQ(sc->address_space, params.address_space); EXPECT_EQ(sc->access, params.access); auto& t = p->next(); EXPECT_TRUE(t.IsEof()); } INSTANTIATE_TEST_SUITE_P( ParserImplTest, VariableQualifierTest, testing::Values( VariableStorageData{"uniform", ast::AddressSpace::kUniform, ast::Access::kUndefined}, VariableStorageData{"workgroup", ast::AddressSpace::kWorkgroup, ast::Access::kUndefined}, VariableStorageData{"storage", ast::AddressSpace::kStorage, ast::Access::kUndefined}, VariableStorageData{"private", ast::AddressSpace::kPrivate, ast::Access::kUndefined}, VariableStorageData{"function", ast::AddressSpace::kFunction, ast::Access::kUndefined}, VariableStorageData{"storage, read", ast::AddressSpace::kStorage, ast::Access::kRead}, VariableStorageData{"storage, write", ast::AddressSpace::kStorage, ast::Access::kWrite}, VariableStorageData{"storage, read_write", ast::AddressSpace::kStorage, ast::Access::kReadWrite})); TEST_F(ParserImplTest, VariableQualifier_NoMatch) { auto p = parser(""); auto sc = p->variable_qualifier(); EXPECT_TRUE(p->has_error()); EXPECT_TRUE(sc.errored); EXPECT_FALSE(sc.matched); EXPECT_EQ(p->error(), R"(1:2: expected address space for variable declaration Possible values: 'function', 'private', 'push_constant', 'storage', 'uniform', 'workgroup')"); } TEST_F(ParserImplTest, VariableQualifier_Empty) { auto p = parser("<>"); auto sc = p->variable_qualifier(); EXPECT_TRUE(p->has_error()); EXPECT_TRUE(sc.errored); EXPECT_FALSE(sc.matched); EXPECT_EQ(p->error(), R"(1:2: expected address space for variable declaration Possible values: 'function', 'private', 'push_constant', 'storage', 'uniform', 'workgroup')"); } TEST_F(ParserImplTest, VariableQualifier_MissingLessThan) { auto p = parser("private>"); auto sc = p->variable_qualifier(); EXPECT_FALSE(p->has_error()); EXPECT_FALSE(sc.errored); EXPECT_FALSE(sc.matched); auto& t = p->next(); ASSERT_TRUE(t.Is(Token::Type::kIdentifier)); } TEST_F(ParserImplTest, VariableQualifier_MissingLessThan_AfterSC) { auto p = parser("private, >"); auto sc = p->variable_qualifier(); EXPECT_FALSE(p->has_error()); EXPECT_FALSE(sc.errored); EXPECT_FALSE(sc.matched); auto& t = p->next(); ASSERT_TRUE(t.Is(Token::Type::kIdentifier)); } TEST_F(ParserImplTest, VariableQualifier_MissingGreaterThan) { auto p = parser("variable_qualifier(); EXPECT_TRUE(p->has_error()); EXPECT_TRUE(sc.errored); EXPECT_FALSE(sc.matched); EXPECT_EQ(p->error(), "1:9: expected '>' for variable declaration"); } } // namespace } // namespace tint::reader::wgsl