[flang] Optionally dump all source members of parse tree

In the parse tree dumper, add a compile-time option to dump source
locations for all nodes that have them. This is a useful way to check
if they are correct, especially after parse tree rewrites.

It is enabled by defining `SHOW_ALL_SOURCE_MEMBERS` in `dump-parse-tree.h`.

Original-commit: flang-compiler/f18@ceae5632e2
Reviewed-on: https://github.com/flang-compiler/f18/pull/433
Tree-same-pre-rewrite: false
This commit is contained in:
Tim Keith 2019-04-26 15:06:58 -07:00
parent 876bf77a3c
commit e9b4cf42e4
1 changed files with 42 additions and 24 deletions

View File

@ -21,11 +21,20 @@
#include "../common/indirection.h" #include "../common/indirection.h"
#include <ostream> #include <ostream>
#include <string> #include <string>
#include <type_traits>
namespace Fortran::parser { namespace Fortran::parser {
using namespace std::string_literals; using namespace std::string_literals;
// When SHOW_ALL_SOURCE_MEMBERS is defined, HasSource<T>::value is true if T has
// a member named source
template<typename T, typename = int> struct HasSource : std::false_type {};
#ifdef SHOW_ALL_SOURCE_MEMBERS
template<typename T>
struct HasSource<T, decltype((void)T::source, 0)> : std::true_type {};
#endif
// //
// Dump the Parse Tree hierarchy of any node 'x' of the parse tree. // Dump the Parse Tree hierarchy of any node 'x' of the parse tree.
// //
@ -711,11 +720,14 @@ public:
#undef NODE_NAME #undef NODE_NAME
template<typename T> bool Pre(const T &x) { template<typename T> bool Pre(const T &x) {
if (UnionTrait<T> || WrapperTrait<T>) { if constexpr (!HasSource<T>::value && (UnionTrait<T> || WrapperTrait<T>)) {
Prefix(GetNodeName(x)); Prefix(GetNodeName(x));
} else { } else {
IndentEmptyLine(); IndentEmptyLine();
out_ << GetNodeName(x); out_ << GetNodeName(x);
if constexpr (HasSource<T>::value) {
out_ << " = '" << x.source.ToString() << '\'';
}
EndLine(); EndLine();
++indent_; ++indent_;
} }
@ -723,28 +735,25 @@ public:
} }
template<typename T> void Post(const T &x) { template<typename T> void Post(const T &x) {
if (UnionTrait<T> || WrapperTrait<T>) { if constexpr (!HasSource<T>::value && (UnionTrait<T> || WrapperTrait<T>)) {
EndLineIfNonempty(); EndLineIfNonempty();
} else { } else {
--indent_; --indent_;
} }
} }
bool PutName(const std::string &name) { bool Pre(const parser::Name &x) {
IndentEmptyLine(); IndentEmptyLine();
out_ << "Name = '" << name << '\''; out_ << "Name = '" << x.ToString() << '\'';
++indent_;
EndLine(); EndLine();
return true; return false;
}
bool Pre(const std::string &x) {
IndentEmptyLine();
out_ << "string = '" << x << '\'';
EndLine();
return false;
} }
bool Pre(const parser::Name &x) { return PutName(x.ToString()); }
void Post(const parser::Name &) { --indent_; }
bool Pre(const std::string &x) { return PutName(x); }
void Post(const std::string &x) { --indent_; }
bool Pre(const std::int64_t &x) { bool Pre(const std::int64_t &x) {
IndentEmptyLine(); IndentEmptyLine();
@ -759,30 +768,39 @@ public:
bool Pre(const std::uint64_t &x) { bool Pre(const std::uint64_t &x) {
IndentEmptyLine(); IndentEmptyLine();
out_ << "int = '" << x << '\''; out_ << "int = '" << x << '\'';
++indent_;
EndLine(); EndLine();
return true; return false;
} }
void Post(const std::uint64_t &x) { --indent_; }
bool Pre(const parser::IntLiteralConstant &x) { bool Pre(const parser::IntLiteralConstant &x) {
IndentEmptyLine(); IndentEmptyLine();
out_ << "int = '" << std::get<parser::CharBlock>(x.t).ToString() << '\''; out_ << "int = '" << std::get<parser::CharBlock>(x.t).ToString() << '\'';
++indent_;
EndLine(); EndLine();
return true; ++indent_;
Walk(std::get<std::optional<KindParam>>(x.t), *this);
--indent_;
return false;
} }
void Post(const parser::IntLiteralConstant &) { --indent_; }
bool Pre(const parser::SignedIntLiteralConstant &x) { bool Pre(const parser::SignedIntLiteralConstant &x) {
IndentEmptyLine(); IndentEmptyLine();
out_ << "int = '" << std::get<parser::CharBlock>(x.t).ToString() << '\''; out_ << "int = '" << std::get<parser::CharBlock>(x.t).ToString() << '\'';
++indent_;
EndLine(); EndLine();
return true; ++indent_;
Walk(std::get<std::optional<KindParam>>(x.t), *this);
--indent_;
return false;
}
bool Pre(const parser::RealLiteralConstant &x) {
Prefix(GetNodeName(x));
out_ << "Real = '" << x.real.source.ToString() << '\'';
EndLine();
++indent_;
Walk(x.kind, *this);
--indent_;
return false;
} }
void Post(const parser::SignedIntLiteralConstant &) { --indent_; }
// A few types we want to ignore // A few types we want to ignore