-
Notifications
You must be signed in to change notification settings - Fork 2
/
serializer.cpp
133 lines (122 loc) · 3.37 KB
/
serializer.cpp
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
#include <netlistDB/serializer/serializer.h>
#include <netlistDB/hw_type/hw_int.h>
using namespace std;
using namespace netlistDB::hw_type;
namespace netlistDB {
namespace serializer {
Serializer::Serializer(iSerializationIO & io, bool delete_io_after) :
delete_io_after(delete_io_after), io(io) {
}
void Serializer::serialize_value(const iHwTypeValue & val) {
auto int_v = dynamic_cast<const HwInt::value_type*>(&val);
if (int_v) {
serialize_value(*int_v);
return;
}
throw runtime_error(
string("not implemented") + std::string(__FILE__) + ":"
+ std::to_string(__LINE__));
}
void Serializer::serialize_stm(const Statement & stm) {
auto a = dynamic_cast<const Assignment*>(&stm);
if (a) {
serialize_stm(*a);
return;
}
auto i = dynamic_cast<const IfStatement*>(&stm);
if (i) {
serialize_stm(*i);
return;
}
throw runtime_error(
string("Not implemented ") + std::string(__FILE__) + ":"
+ std::to_string(__LINE__));
}
int Serializer::precedence_of_expr(const Net & n) {
// not id or value
if (not n.id.hidden or n.val != nullptr or n.drivers.size() != 1)
return -1;
auto d = dynamic_cast<const FunctionCall*>(n.drivers[0]);
if (not d) {
// the signal will not stay hidden
return -1;
}
auto prec = get_operator_precedence();
auto p = prec.find(&d->fn);
assert(p != prec.end());
return p->second;
}
void Serializer::serialize_operand(const Net & operand,
const FunctionCall & oper, bool expr_requires_brackets,
bool cancel_brackets) {
auto & str = io.str();
bool use_brackets = false;
if (not cancel_brackets) {
// resolve if the brackets are required
auto precedence_my = precedence_of_expr(operand);
if (precedence_my >= 0) { // if this is expression
if (expr_requires_brackets) {
use_brackets = true;
} else {
auto prec = get_operator_precedence();
auto p = prec.find(&oper.fn);
assert(p != prec.end());
auto precedence_parent = p->second;
Net * right = nullptr;
Net * left = nullptr;
switch (oper.args.size()) {
case 1:
break;
case 2:
if (oper.args[0] == &operand) {
right = oper.args[1];
} else {
left = oper.args[0];
}
break;
default:
throw runtime_error(
string("Not implemented ") + std::string(__FILE__)
+ ":" + std::to_string(__LINE__));
}
if (left) { // "operand" is right
// same precedence -> brackets on right if it is expression
// a + (b + c)
// a + b + c = (a + b) + c
// right with lower precedence -> brackets for right not required
// a + b * c = a + (b * c)
// right with higher precedence -> brackets for right
// a * (b + c)
if (precedence_my >= precedence_parent) {
use_brackets = true;
}
} else {
// "operand" is left
if (precedence_my == precedence_parent) {
if (precedence_of_expr(*right) == precedence_my) {
// right and left with same precedence -> brackets on both sides
// (a + b) + (c + d)
use_brackets = true;
}
} else if (precedence_my > precedence_parent) {
// left with higher precedence -> brackets for left
// (a + b) * c
// a + b + c + d = (a + b) + c + d = ((a + b) + c) + d
use_brackets = true;
}
}
}
}
}
if (use_brackets)
str << "(";
serialize_net_usage(operand);
if (use_brackets)
str << ")";
}
Serializer::~Serializer() {
if (delete_io_after)
delete &io;
}
}
}