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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
#include "optimize.hh"
#ifdef DEBUG_SUBSTITUTIONS
#include "grammar.hh"
#include "opcodename.hh"
#include <sstream>
#include <cstring>
using namespace FUNCTIONPARSERTYPES;
using namespace FPoptimizer_Grammar;
using namespace FPoptimizer_CodeTree;
using namespace FPoptimizer_Optimize;
namespace FPoptimizer_Grammar
{
template<typename Value_t>
void DumpMatch(const Rule& rule,
const CodeTree<Value_t>& tree,
const MatchInfo<Value_t>& info,
bool DidMatch,
std::ostream& o)
{
DumpMatch(rule,tree,info,DidMatch?"Found match":"Found mismatch",o);
}
template<typename Value_t>
void DumpMatch(const Rule& rule,
const CodeTree<Value_t>& tree,
const MatchInfo<Value_t>& info,
const char* whydump,
std::ostream& o)
{
static const char ParamHolderNames[][2] = {"%","&","x","y","z","a","b","c"};
o << whydump
<< " (rule " << (&rule - grammar_rules) << ")"
<< ":\n"
" Pattern : ";
{ ParamSpec tmp;
tmp.first = SubFunction;
ParamSpec_SubFunction tmp2;
tmp2.data = rule.match_tree;
tmp.second = (const void*) &tmp2;
DumpParam<Value_t>(tmp, o);
}
o << "\n"
" Replacement: ";
DumpParams<Value_t>(rule.repl_param_list, rule.repl_param_count, o);
o << "\n";
o <<
" Tree : ";
DumpTree(tree, o);
o << "\n";
if(!std::strcmp(whydump,"Found match")) DumpHashes(tree, o);
for(size_t a=0; a<info.paramholder_matches.size(); ++a)
{
if(!info.paramholder_matches[a].IsDefined()) continue;
o << " " << ParamHolderNames[a] << " = ";
DumpTree(info.paramholder_matches[a], o);
o << "\n";
}
for(size_t b=0; b<info.restholder_matches.size(); ++b)
{
if(!info.restholder_matches[b].first) continue;
for(size_t a=0; a<info.restholder_matches[b].second.size(); ++a)
{
o << " <" << b << "> = ";
DumpTree(info.restholder_matches[b].second[a], o);
o << std::endl;
}
}
o << std::flush;
}
}
/* BEGIN_EXPLICIT_INSTANTATION */
#include "instantiate.hh"
namespace FPoptimizer_Grammar
{
#define FP_INSTANTIATE(type) \
template void DumpMatch(const Rule& rule, \
const CodeTree<type>& tree, \
const MatchInfo<type>& info, \
bool DidMatch, \
std::ostream& o);
FPOPTIMIZER_EXPLICITLY_INSTANTIATE(FP_INSTANTIATE)
#undef FP_INSTANTIATE
}
/* END_EXPLICIT_INSTANTATION */
#endif
|
