1 // Copyright 2020 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/ast/discard_statement.h"
16 #include "src/reader/wgsl/parser_impl_test_helper.h"
17
18 namespace tint {
19 namespace reader {
20 namespace wgsl {
21 namespace {
22
TEST_F(ParserImplTest,LoopStmt_BodyNoContinuing)23 TEST_F(ParserImplTest, LoopStmt_BodyNoContinuing) {
24 auto p = parser("loop { discard; }");
25 auto e = p->loop_stmt();
26 EXPECT_TRUE(e.matched);
27 EXPECT_FALSE(e.errored);
28 EXPECT_FALSE(p->has_error()) << p->error();
29 ASSERT_NE(e.value, nullptr);
30
31 ASSERT_EQ(e->body->statements.size(), 1u);
32 EXPECT_TRUE(e->body->statements[0]->Is<ast::DiscardStatement>());
33
34 EXPECT_EQ(e->continuing->statements.size(), 0u);
35 }
36
TEST_F(ParserImplTest,LoopStmt_BodyWithContinuing)37 TEST_F(ParserImplTest, LoopStmt_BodyWithContinuing) {
38 auto p = parser("loop { discard; continuing { discard; }}");
39 auto e = p->loop_stmt();
40 EXPECT_TRUE(e.matched);
41 EXPECT_FALSE(e.errored);
42 EXPECT_FALSE(p->has_error()) << p->error();
43 ASSERT_NE(e.value, nullptr);
44
45 ASSERT_EQ(e->body->statements.size(), 1u);
46 EXPECT_TRUE(e->body->statements[0]->Is<ast::DiscardStatement>());
47
48 EXPECT_EQ(e->continuing->statements.size(), 1u);
49 EXPECT_TRUE(e->continuing->statements[0]->Is<ast::DiscardStatement>());
50 }
51
TEST_F(ParserImplTest,LoopStmt_NoBodyNoContinuing)52 TEST_F(ParserImplTest, LoopStmt_NoBodyNoContinuing) {
53 auto p = parser("loop { }");
54 auto e = p->loop_stmt();
55 EXPECT_TRUE(e.matched);
56 EXPECT_FALSE(e.errored);
57 EXPECT_FALSE(p->has_error()) << p->error();
58 ASSERT_NE(e.value, nullptr);
59 ASSERT_EQ(e->body->statements.size(), 0u);
60 ASSERT_EQ(e->continuing->statements.size(), 0u);
61 }
62
TEST_F(ParserImplTest,LoopStmt_NoBodyWithContinuing)63 TEST_F(ParserImplTest, LoopStmt_NoBodyWithContinuing) {
64 auto p = parser("loop { continuing { discard; }}");
65 auto e = p->loop_stmt();
66 EXPECT_TRUE(e.matched);
67 EXPECT_FALSE(e.errored);
68 EXPECT_FALSE(p->has_error()) << p->error();
69 ASSERT_NE(e.value, nullptr);
70 ASSERT_EQ(e->body->statements.size(), 0u);
71 ASSERT_EQ(e->continuing->statements.size(), 1u);
72 EXPECT_TRUE(e->continuing->statements[0]->Is<ast::DiscardStatement>());
73 }
74
TEST_F(ParserImplTest,LoopStmt_MissingBracketLeft)75 TEST_F(ParserImplTest, LoopStmt_MissingBracketLeft) {
76 auto p = parser("loop discard; }");
77 auto e = p->loop_stmt();
78 EXPECT_FALSE(e.matched);
79 EXPECT_TRUE(e.errored);
80 EXPECT_EQ(e.value, nullptr);
81 EXPECT_TRUE(p->has_error());
82 EXPECT_EQ(p->error(), "1:6: expected '{' for loop");
83 }
84
TEST_F(ParserImplTest,LoopStmt_MissingBracketRight)85 TEST_F(ParserImplTest, LoopStmt_MissingBracketRight) {
86 auto p = parser("loop { discard; ");
87 auto e = p->loop_stmt();
88 EXPECT_FALSE(e.matched);
89 EXPECT_TRUE(e.errored);
90 EXPECT_EQ(e.value, nullptr);
91 EXPECT_TRUE(p->has_error());
92 EXPECT_EQ(p->error(), "1:17: expected '}' for loop");
93 }
94
TEST_F(ParserImplTest,LoopStmt_InvalidStatements)95 TEST_F(ParserImplTest, LoopStmt_InvalidStatements) {
96 auto p = parser("loop { discard }");
97 auto e = p->loop_stmt();
98 EXPECT_FALSE(e.matched);
99 EXPECT_TRUE(e.errored);
100 EXPECT_EQ(e.value, nullptr);
101 EXPECT_TRUE(p->has_error());
102 EXPECT_EQ(p->error(), "1:16: expected ';' for discard statement");
103 }
104
TEST_F(ParserImplTest,LoopStmt_InvalidContinuing)105 TEST_F(ParserImplTest, LoopStmt_InvalidContinuing) {
106 auto p = parser("loop { continuing { discard }}");
107 auto e = p->loop_stmt();
108 EXPECT_FALSE(e.matched);
109 EXPECT_TRUE(e.errored);
110 EXPECT_EQ(e.value, nullptr);
111 EXPECT_TRUE(p->has_error());
112 EXPECT_EQ(p->error(), "1:29: expected ';' for discard statement");
113 }
114
115 } // namespace
116 } // namespace wgsl
117 } // namespace reader
118 } // namespace tint
119