08b2684271
Omppar Original-commit: flang-compiler/f18@d341464e7f Reviewed-on: https://github.com/flang-compiler/f18/pull/137 Due to a conflicting rebase during the linearizing of flang-compiler/f18, this commit squashes a number of other commits: flang-compiler/f18@cfbc8bd16b Add OpenMP Block directives and some declarative directive(TBD:declare reduction and declare target) flang-compiler/f18@d198352f84 Removed extra code from resolveing conflict of the merge. flang-compiler/f18@85911a0e80 fix some grammar and unparsing. flang-compiler/f18@43bcfb7cd3 OpenMP declartive directive can be after function declaration line. OpenMP Loop construct will be treated as if statement instead of block because currently parser cannot construct the loop if loop end with Label [Continue] Use DefinedOperator and ProcedureDesignator instead of create a new Parser and postpone the validity of operator in semantic. flang-compiler/f18@5d83b50ad3 Merge branch 'master' into omppar flang-compiler/f18@8c666436a5 remove "HEAD" code and resolve conflict.
84 lines
3.3 KiB
C++
84 lines
3.3 KiB
C++
// Copyright (c) 2018, NVIDIA CORPORATION. All rights reserved.
|
|
//
|
|
// 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.
|
|
|
|
#ifndef FORTRAN_PARSER_STMT_PARSER_H_
|
|
#define FORTRAN_PARSER_STMT_PARSER_H_
|
|
|
|
// Basic parsing of statements.
|
|
|
|
#include "basic-parsers.h"
|
|
#include "token-parsers.h"
|
|
|
|
namespace Fortran::parser {
|
|
|
|
// statement(p) parses Statement<P> for some statement type P that is the
|
|
// result type of the argument parser p, while also handling labels and
|
|
// end-of-statement markers.
|
|
|
|
// R611 label -> digit [digit]...
|
|
constexpr auto label{space >> digitString / spaceCheck};
|
|
|
|
template<typename PA> inline constexpr auto unterminatedStatement(const PA &p) {
|
|
return skipStuffBeforeStatement >>
|
|
sourced(construct<Statement<typename PA::resultType>>(
|
|
maybe(label), space >> p));
|
|
}
|
|
|
|
constexpr auto endOfLine{
|
|
"\n"_ch >> ok || fail("expected end of line"_err_en_US)};
|
|
|
|
constexpr auto endOfStmt{
|
|
space >> (";"_ch >> skipMany(";"_tok) >> space >> maybe("\n"_ch) >> ok ||
|
|
endOfLine)};
|
|
|
|
template<typename PA> inline constexpr auto statement(const PA &p) {
|
|
return unterminatedStatement(p) / endOfStmt;
|
|
}
|
|
|
|
// This unambiguousStatement() variant of statement() provides better error
|
|
// recovery for contexts containing statements that might have trailing
|
|
// garbage, but it must be used only when no instance of the statement in
|
|
// question could also be a legal prefix of some other statement that might
|
|
// be valid at that point. It only makes sense to use this within "some()"
|
|
// or "many()" so as to not end the list of statements.
|
|
template<typename PA> inline constexpr auto unambiguousStatement(const PA &p) {
|
|
return unterminatedStatement(p) /
|
|
recovery(space >>
|
|
withMessage("expected end of statement"_err_en_US, endOfStmt),
|
|
SkipPast<'\n'>{});
|
|
}
|
|
|
|
constexpr auto forceEndOfStmt{recovery(space >>
|
|
withMessage("expected end of statement"_err_en_US, lookAhead(";\n"_ch)),
|
|
SkipTo<'\n'>{})};
|
|
|
|
constexpr auto ignoredStatementPrefix{
|
|
skipStuffBeforeStatement >> maybe(label) >> maybe(name / ":") >> space};
|
|
|
|
// Error recovery within statements: skip to the end of the line,
|
|
// but not over an END or CONTAINS statement.
|
|
constexpr auto stmtErrorRecovery{!"END"_tok >> !"CONTAINS"_tok >>
|
|
SkipPast<'\n'>{} >> construct<ErrorRecovery>()};
|
|
|
|
// Error recovery across statements: skip the line, unless it looks
|
|
// like it might end the containing construct.
|
|
constexpr auto stmtErrorRecoveryStart{ignoredStatementPrefix};
|
|
constexpr auto skipBadLine{SkipPast<'\n'>{} >> construct<ErrorRecovery>()};
|
|
constexpr auto executionPartErrorRecovery{stmtErrorRecoveryStart >>
|
|
!"END"_tok >> !"CONTAINS"_tok >> !"ELSE"_tok >> !"CASE"_tok >>
|
|
!"TYPE IS"_tok >> !"CLASS"_tok >> !"RANK"_tok >>
|
|
!("!$OMP "_sptok >> "END"_tok) >> skipBadLine};
|
|
|
|
} // namespace Fortran::parser
|
|
#endif // FORTRAN_PARSER_STMT_PARSER_H_
|