blob: 21efd2f4f29935c48e20808c12dd1554993c3f68 [file] [log] [blame]
// 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 {
TEST_F(ParserImplTest, Empty) {
auto p = parser("");
ASSERT_TRUE(p->Parse()) << p->error();
}
TEST_F(ParserImplTest, Parses) {
auto p = parser(R"(
@fragment
fn main() -> @location(0) vec4<f32> {
return vec4<f32>(.4, .2, .3, 1);
}
)");
ASSERT_TRUE(p->Parse()) << p->error();
Program program = p->program();
ASSERT_EQ(1u, program.AST().Functions().Length());
}
TEST_F(ParserImplTest, Parses_ExtraSemicolons) {
auto p = parser(R"(
;
struct S {
a : f32,
};;
;
fn foo() -> S {
;
return S();;;
;
};;
;
)");
ASSERT_TRUE(p->Parse()) << p->error();
Program program = p->program();
ASSERT_EQ(1u, program.AST().Functions().Length());
ASSERT_EQ(1u, program.AST().TypeDecls().Length());
}
TEST_F(ParserImplTest, HandlesError) {
auto p = parser(R"(
fn main() -> { // missing return type
return;
})");
ASSERT_FALSE(p->Parse());
ASSERT_TRUE(p->has_error());
EXPECT_EQ(p->error(), "2:15: unable to determine function return type");
}
TEST_F(ParserImplTest, HandlesUnexpectedToken) {
auto p = parser(R"(
fn main() {
}
foobar
)");
ASSERT_FALSE(p->Parse());
ASSERT_TRUE(p->has_error());
EXPECT_EQ(p->error(), "4:1: unexpected token");
}
TEST_F(ParserImplTest, HandlesBadToken_InMiddle) {
auto p = parser(R"(
fn main() {
let f = 0x1p10000000000000000000; // Exponent too big for hex float
return;
})");
ASSERT_FALSE(p->Parse());
ASSERT_TRUE(p->has_error());
EXPECT_EQ(p->error(), "3:11: exponent is too large for hex float");
}
TEST_F(ParserImplTest, HandlesBadToken_AtModuleScope) {
auto p = parser(R"(
fn main() {
return;
}
0x1p10000000000000000000
)");
ASSERT_FALSE(p->Parse());
ASSERT_TRUE(p->has_error());
EXPECT_EQ(p->error(), "5:1: exponent is too large for hex float");
}
TEST_F(ParserImplTest, Comments_TerminatedBlockComment) {
auto p = parser(R"(
/**
* Here is my shader.
*
* /* I can nest /**/ comments. */
* // I can nest line comments too.
**/
@fragment // This is the stage
fn main(/*
no
parameters
*/) -> @location(0) vec4<f32> {
return/*block_comments_delimit_tokens*/vec4<f32>(.4, .2, .3, 1);
}/* block comments are OK at EOF...*/)");
ASSERT_TRUE(p->Parse()) << p->error();
ASSERT_EQ(1u, p->program().AST().Functions().Length());
}
TEST_F(ParserImplTest, Comments_UnterminatedBlockComment) {
auto p = parser(R"(
@fragment
fn main() -> @location(0) vec4<f32> {
return vec4<f32>(.4, .2, .3, 1);
} /* unterminated block comments are invalid ...)");
ASSERT_FALSE(p->Parse());
ASSERT_TRUE(p->has_error());
EXPECT_EQ(p->error(), "5:3: unterminated block comment") << p->error();
}
TEST_F(ParserImplTest, Peek) {
auto p = parser("a == if");
EXPECT_TRUE(p->peek_is(Token::Type::kIdentifier));
EXPECT_TRUE(p->peek_is(Token::Type::kEqualEqual, 1));
EXPECT_TRUE(p->peek_is(Token::Type::kIf, 2));
}
TEST_F(ParserImplTest, Peek_Placeholder) {
auto p = parser(">> if");
EXPECT_TRUE(p->peek_is(Token::Type::kShiftRight));
EXPECT_TRUE(p->peek_is(Token::Type::kIf, 1));
}
TEST_F(ParserImplTest, Peek_PastPlaceholder) {
auto p = parser(">= vec2<u32>");
auto& n = p->next();
ASSERT_TRUE(n.Is(Token::Type::kGreaterThanEqual));
EXPECT_TRUE(p->peek_is(Token::Type::kVec2)) << "expected: vec2 got: " << p->peek().to_name();
EXPECT_TRUE(p->peek_is(Token::Type::kLessThan, 1))
<< "expected: < got: " << p->peek(1).to_name();
}
TEST_F(ParserImplTest, Peek_MultiplePlaceholder) {
auto p = parser(">= >= vec2<u32>");
auto& n = p->next();
ASSERT_TRUE(n.Is(Token::Type::kGreaterThanEqual));
EXPECT_TRUE(p->peek_is(Token::Type::kGreaterThanEqual))
<< "expected: <= got: " << p->peek().to_name();
EXPECT_TRUE(p->peek_is(Token::Type::kVec2, 1))
<< "expected: vec2 got: " << p->peek(1).to_name();
EXPECT_TRUE(p->peek_is(Token::Type::kLessThan, 2))
<< "expected: < got: " << p->peek(2).to_name();
}
TEST_F(ParserImplTest, Peek_PastEnd) {
auto p = parser(">");
EXPECT_TRUE(p->peek_is(Token::Type::kGreaterThan));
EXPECT_TRUE(p->peek_is(Token::Type::kEOF, 1));
EXPECT_TRUE(p->peek_is(Token::Type::kEOF, 2));
}
TEST_F(ParserImplTest, Peek_PastEnd_WalkingPlaceholders) {
auto p = parser(">= >=");
auto& n = p->next();
ASSERT_TRUE(n.Is(Token::Type::kGreaterThanEqual));
EXPECT_TRUE(p->peek_is(Token::Type::kGreaterThanEqual))
<< "expected: <= got: " << p->peek().to_name();
EXPECT_TRUE(p->peek_is(Token::Type::kEOF, 1)) << "expected: EOF got: " << p->peek(1).to_name();
}
TEST_F(ParserImplTest, Peek_AfterSplit) {
auto p = parser(">= vec2<u32>");
auto& n = p->next();
ASSERT_TRUE(n.Is(Token::Type::kGreaterThanEqual));
EXPECT_TRUE(p->peek_is(Token::Type::kVec2)) << "expected: vec2 got: " << p->peek().to_name();
p->split_token(Token::Type::kGreaterThan, Token::Type::kEqual);
ASSERT_TRUE(n.Is(Token::Type::kGreaterThan));
EXPECT_TRUE(p->peek_is(Token::Type::kEqual)) << "expected: = got: " << p->peek().to_name();
}
} // namespace
} // namespace tint::reader::wgsl