1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
//===--- LRTable.cpp - Parsing table for LR parsers --------------*- 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
//
//===----------------------------------------------------------------------===//
#include "clang-pseudo/grammar/LRTable.h"
#include "clang-pseudo/grammar/Grammar.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/raw_ostream.h"
namespace clang {
namespace pseudo {
std::string LRTable::dumpStatistics() const {
return llvm::formatv(R"(
Statistics of the LR parsing table:
number of states: {0}
number of actions: shift={1} goto={2} reduce={3}
size of the table (bytes): {4}
)",
numStates(), Shifts.size(), Gotos.size(), Reduces.size(),
bytes())
.str();
}
std::string LRTable::dumpForTests(const Grammar &G) const {
std::string Result;
llvm::raw_string_ostream OS(Result);
OS << "LRTable:\n";
for (StateID S = 0; S < numStates(); ++S) {
OS << llvm::formatv("State {0}\n", S);
for (uint16_t Terminal = 0; Terminal < NumTerminals; ++Terminal) {
SymbolID TokID = tokenSymbol(static_cast<tok::TokenKind>(Terminal));
if (auto SS = getShiftState(S, TokID))
OS.indent(4) << llvm::formatv("{0}: shift state {1}\n",
G.symbolName(TokID), SS);
}
for (RuleID R : getReduceRules(S)) {
SymbolID Target = G.lookupRule(R).Target;
std::vector<llvm::StringRef> Terminals;
for (unsigned Terminal = 0; Terminal < NumTerminals; ++Terminal) {
SymbolID TokID = tokenSymbol(static_cast<tok::TokenKind>(Terminal));
if (canFollow(Target, TokID))
Terminals.push_back(G.symbolName(TokID));
}
OS.indent(4) << llvm::formatv("{0}: reduce by rule {1} '{2}'\n",
llvm::join(Terminals, " "), R,
G.dumpRule(R));
}
for (SymbolID NontermID = 0; NontermID < G.table().Nonterminals.size();
++NontermID) {
if (auto GS = getGoToState(S, NontermID)) {
OS.indent(4) << llvm::formatv("{0}: go to state {1}\n",
G.symbolName(NontermID), *GS);
}
}
}
return OS.str();
}
LRTable::StateID LRTable::getStartState(SymbolID Target) const {
assert(llvm::is_sorted(StartStates) && "StartStates must be sorted!");
auto It = llvm::partition_point(
StartStates, [Target](const std::pair<SymbolID, StateID> &X) {
return X.first < Target;
});
assert(It != StartStates.end() && It->first == Target &&
"target symbol doesn't have a start state!");
return It->second;
}
} // namespace pseudo
} // namespace clang
|
