1171450d56
(After changing the scope) This PR implements parsing the reflection operator (^^) for primitive types. The goal is to keep the first PR simple. In subsequent PRs, parsing for the remaining requirements will be introduced. This implementation is based on the fork of @katzdm. Class `CXXReflectExpr` is introduced to represent the operand of the reflection operator. For now, in this PR, the type std::meta::info is not implemented yet, so when we construct an AST node CXXReflectExpr, `VoidTy` is used as placeholder type for now. The file `ParseReflect.cpp` is introduced, which for now only has the function `ParseCXXReflectExpression`. It parses the operand of the reflection operator. --------- Co-authored-by: Shafik Yaghmour <shafik.yaghmour@intel.com> Co-authored-by: Hubert Tong <hubert.reinterpretcast@gmail.com> Co-authored-by: Sirraide <aeternalmail@gmail.com> Co-authored-by: Aaron Ballman <aaron@aaronballman.com> Co-authored-by: Erich Keane <ekeane@nvidia.com>
81 lines
2.9 KiB
C++
81 lines
2.9 KiB
C++
//===--- OperatorPrecedence.cpp ---------------------------------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// \file
|
|
/// Defines and computes precedence levels for binary/ternary operators.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
#include "clang/Basic/OperatorPrecedence.h"
|
|
|
|
namespace clang {
|
|
|
|
prec::Level getBinOpPrecedence(tok::TokenKind Kind, bool GreaterThanIsOperator,
|
|
bool CPlusPlus11) {
|
|
switch (Kind) {
|
|
case tok::greater:
|
|
// C++ [temp.names]p3:
|
|
// [...] When parsing a template-argument-list, the first
|
|
// non-nested > is taken as the ending delimiter rather than a
|
|
// greater-than operator. [...]
|
|
if (GreaterThanIsOperator)
|
|
return prec::Relational;
|
|
return prec::Unknown;
|
|
|
|
case tok::greatergreater:
|
|
// C++11 [temp.names]p3:
|
|
//
|
|
// [...] Similarly, the first non-nested >> is treated as two
|
|
// consecutive but distinct > tokens, the first of which is
|
|
// taken as the end of the template-argument-list and completes
|
|
// the template-id. [...]
|
|
if (GreaterThanIsOperator || !CPlusPlus11)
|
|
return prec::Shift;
|
|
return prec::Unknown;
|
|
|
|
default: return prec::Unknown;
|
|
case tok::comma: return prec::Comma;
|
|
case tok::equal:
|
|
case tok::starequal:
|
|
case tok::slashequal:
|
|
case tok::percentequal:
|
|
case tok::plusequal:
|
|
case tok::minusequal:
|
|
case tok::lesslessequal:
|
|
case tok::greatergreaterequal:
|
|
case tok::ampequal:
|
|
case tok::caretequal:
|
|
case tok::pipeequal: return prec::Assignment;
|
|
case tok::question: return prec::Conditional;
|
|
case tok::pipepipe: return prec::LogicalOr;
|
|
case tok::ampamp: return prec::LogicalAnd;
|
|
case tok::pipe: return prec::InclusiveOr;
|
|
// this is for the case when ^^ appears where a binary operator is needed,
|
|
// and the first ^ is the actual binary operator,
|
|
// and the second is for a block.
|
|
case tok::caretcaret:
|
|
case tok::caret: return prec::ExclusiveOr;
|
|
case tok::amp: return prec::And;
|
|
case tok::exclaimequal:
|
|
case tok::equalequal: return prec::Equality;
|
|
case tok::lessequal:
|
|
case tok::less:
|
|
case tok::greaterequal: return prec::Relational;
|
|
case tok::spaceship: return prec::Spaceship;
|
|
case tok::lessless: return prec::Shift;
|
|
case tok::plus:
|
|
case tok::minus: return prec::Additive;
|
|
case tok::percent:
|
|
case tok::slash:
|
|
case tok::star: return prec::Multiplicative;
|
|
case tok::periodstar:
|
|
case tok::arrowstar: return prec::PointerToMember;
|
|
}
|
|
}
|
|
|
|
} // namespace clang
|