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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
|
#ifndef LINEARIZE_H
#define LINEARIZE_H
#include "lib.h"
#include "token.h"
#include "parse.h"
#include "symbol.h"
/* Silly pseudo define. Do this right some day */
struct pseudo {
int nr;
};
typedef struct pseudo *pseudo_t;
extern struct pseudo void_pseudo;
#define VOID (&void_pseudo)
struct multijmp {
struct basic_block *target;
int begin, end;
};
struct phi {
struct basic_block *source;
pseudo_t pseudo;
};
struct instruction {
struct symbol *type;
int opcode;
union {
pseudo_t target;
pseudo_t cond; /* for branch and switch */
};
union {
struct /* branch */ {
struct basic_block *bb_true, *bb_false;
};
struct /* switch */ {
struct multijmp_list *multijmp_list;
};
struct /* phi_node */ {
struct phi_list *phi_list;
};
struct /* unops */ {
struct symbol *orig_type; /* casts */
pseudo_t src;
};
struct /* binops */ {
pseudo_t src1, src2;
};
struct /* slice */ {
pseudo_t base;
unsigned from, len;
};
struct /* multijump */ {
int begin, end;
};
struct /* setval */ {
struct expression *val;
};
struct /* call */ {
pseudo_t func;
struct pseudo_list *arguments;
};
};
};
enum opcode {
OP_BADOP,
/* Terminator */
OP_TERMINATOR,
OP_RET = OP_TERMINATOR,
OP_BR,
OP_SWITCH,
OP_INVOKE,
OP_COMPUTEDGOTO,
OP_UNWIND,
OP_TERMINATOR_END = OP_UNWIND,
/* Binary */
OP_BINARY,
OP_ADD = OP_BINARY,
OP_SUB,
OP_MUL,
OP_DIV,
OP_MOD,
OP_SHL,
OP_SHR,
OP_SEL,
/* Logical */
OP_AND,
OP_OR,
OP_XOR,
OP_AND_BOOL,
OP_OR_BOOL,
OP_BINARY_END = OP_OR_BOOL,
/* Binary comparison */
OP_BINCMP,
OP_SET_EQ = OP_BINCMP,
OP_SET_NE,
OP_SET_LE,
OP_SET_GE,
OP_SET_LT,
OP_SET_GT,
OP_SET_B,
OP_SET_A,
OP_SET_BE,
OP_SET_AE,
OP_BINCMP_END = OP_SET_AE,
/* Uni */
OP_NOT,
OP_NEG,
/* Setcc - always in combination with a select or conditional branch */
OP_SETCC,
/* Memory */
OP_MALLOC,
OP_FREE,
OP_ALLOCA,
OP_LOAD,
OP_STORE,
OP_SETVAL,
OP_GET_ELEMENT_PTR,
/* Other */
OP_PHI,
OP_CAST,
OP_CALL,
OP_VANEXT,
OP_VAARG,
OP_SLICE,
};
struct basic_block_list;
struct instruction_list;
/*
* Basic block flags. Right now we only have one, which keeps
* track (at build time) whether the basic block has been branched
* out of yet.
*/
#define BB_REACHABLE 0x00000001
struct basic_block {
unsigned long flags; /* BB status flags */
struct basic_block_list *parents; /* sources */
struct instruction_list *insns; /* Linear list of instructions */
};
static inline int is_branch_goto(struct instruction *br)
{
return br && br->opcode==OP_BR && (!br->bb_true || !br->bb_false);
}
static inline void add_bb(struct basic_block_list **list, struct basic_block *bb)
{
add_ptr_list((struct ptr_list **)list, bb);
}
static inline void add_instruction(struct instruction_list **list, struct instruction *insn)
{
add_ptr_list((struct ptr_list **)list, insn);
}
static inline void add_multijmp(struct multijmp_list **list, struct multijmp *multijmp)
{
add_ptr_list((struct ptr_list **)list, multijmp);
}
static inline void add_phi(struct phi_list **list, struct phi *phi)
{
add_ptr_list((struct ptr_list **)list, phi);
}
static inline void add_pseudo(struct pseudo_list **list, struct pseudo *pseudo)
{
add_ptr_list((struct ptr_list **)list, pseudo);
}
static inline int bb_terminated(struct basic_block *bb)
{
struct instruction *insn;
if (!bb)
return 0;
insn = last_instruction(bb->insns);
return insn && insn->opcode >= OP_RET && insn->opcode <= OP_UNWIND;
}
static inline int bb_reachable(struct basic_block *bb)
{
return bb && (bb->parents || (bb->flags & BB_REACHABLE));
}
struct entrypoint {
struct symbol *name;
struct symbol_list *syms;
struct basic_block_list *bbs;
struct basic_block *active;
struct basic_block *entry;
};
struct entrypoint *linearize_symbol(struct symbol *sym);
void show_entry(struct entrypoint *ep);
#endif /* LINEARIZE_H */
|
