[PATCH] Add -Wno-cast-truncate
[smatch.git] / linearize.h
blob66a76dc90b7a534a813ad8f013493a5cd3648ccd
1 #ifndef LINEARIZE_H
2 #define LINEARIZE_H
4 #include "lib.h"
5 #include "token.h"
6 #include "parse.h"
7 #include "symbol.h"
9 struct instruction;
10 DECLARE_PTR_LIST(pseudo_ptr_list, pseudo_t);
12 enum pseudo_type {
13 PSEUDO_VOID,
14 PSEUDO_REG,
15 PSEUDO_SYM,
16 PSEUDO_VAL,
17 PSEUDO_ARG,
18 PSEUDO_PHI,
21 struct pseudo {
22 int nr;
23 enum pseudo_type type;
24 struct pseudo_ptr_list *users;
25 struct ident *ident;
26 union {
27 struct symbol *sym;
28 struct instruction *def;
29 long long value;
33 extern struct pseudo void_pseudo;
35 #define VOID (&void_pseudo)
37 struct multijmp {
38 struct basic_block *target;
39 int begin, end;
42 struct asm_constraint {
43 pseudo_t pseudo;
44 const char *constraint;
45 const struct ident *ident;
48 DECLARE_PTR_LIST(asm_constraint_list, struct asm_constraint);
50 struct asm_rules {
51 struct asm_constraint_list *inputs;
52 struct asm_constraint_list *outputs;
53 struct asm_constraint_list *clobbers;
56 struct instruction {
57 unsigned opcode:8,
58 size:24;
59 struct basic_block *bb;
60 struct position pos;
61 union {
62 pseudo_t target;
63 pseudo_t cond; /* for branch and switch */
65 union {
66 struct /* entrypoint */ {
67 struct pseudo_list *arg_list;
69 struct /* branch */ {
70 struct basic_block *bb_true, *bb_false;
72 struct /* switch */ {
73 struct multijmp_list *multijmp_list;
75 struct /* phi_node */ {
76 struct pseudo_list *phi_list;
78 struct /* phi source */ {
79 pseudo_t phi_src;
80 struct instruction_list *phi_users;
82 struct /* unops */ {
83 pseudo_t src;
84 struct symbol *orig_type; /* casts */
85 unsigned int offset; /* memops */
87 struct /* binops and sel */ {
88 pseudo_t src1, src2, src3;
90 struct /* slice */ {
91 pseudo_t base;
92 unsigned from, len;
94 struct /* multijump */ {
95 int begin, end;
97 struct /* setval */ {
98 pseudo_t symbol; /* Subtle: same offset as "src" !! */
99 struct expression *val;
101 struct /* call */ {
102 pseudo_t func;
103 struct pseudo_list *arguments;
105 struct /* context */ {
106 int increment;
107 int check;
109 struct /* asm */ {
110 const char *string;
111 struct asm_rules *asm_rules;
116 enum opcode {
117 OP_BADOP,
119 /* Entry */
120 OP_ENTRY,
122 /* Terminator */
123 OP_TERMINATOR,
124 OP_RET = OP_TERMINATOR,
125 OP_BR,
126 OP_SWITCH,
127 OP_INVOKE,
128 OP_COMPUTEDGOTO,
129 OP_UNWIND,
130 OP_TERMINATOR_END = OP_UNWIND,
132 /* Binary */
133 OP_BINARY,
134 OP_ADD = OP_BINARY,
135 OP_SUB,
136 OP_MULU, OP_MULS,
137 OP_DIVU, OP_DIVS,
138 OP_MODU, OP_MODS,
139 OP_SHL,
140 OP_LSR, OP_ASR,
142 /* Logical */
143 OP_AND,
144 OP_OR,
145 OP_XOR,
146 OP_AND_BOOL,
147 OP_OR_BOOL,
148 OP_BINARY_END = OP_OR_BOOL,
150 /* Binary comparison */
151 OP_BINCMP,
152 OP_SET_EQ = OP_BINCMP,
153 OP_SET_NE,
154 OP_SET_LE,
155 OP_SET_GE,
156 OP_SET_LT,
157 OP_SET_GT,
158 OP_SET_B,
159 OP_SET_A,
160 OP_SET_BE,
161 OP_SET_AE,
162 OP_BINCMP_END = OP_SET_AE,
164 /* Uni */
165 OP_NOT,
166 OP_NEG,
168 /* Select - three input values */
169 OP_SEL,
171 /* Memory */
172 OP_MALLOC,
173 OP_FREE,
174 OP_ALLOCA,
175 OP_LOAD,
176 OP_STORE,
177 OP_SETVAL,
178 OP_SYMADDR,
179 OP_GET_ELEMENT_PTR,
181 /* Other */
182 OP_PHI,
183 OP_PHISOURCE,
184 OP_CAST,
185 OP_SCAST,
186 OP_FPCAST,
187 OP_PTRCAST,
188 OP_CALL,
189 OP_VANEXT,
190 OP_VAARG,
191 OP_SLICE,
192 OP_SNOP,
193 OP_LNOP,
194 OP_NOP,
195 OP_DEATHNOTE,
196 OP_ASM,
198 /* Sparse tagging (line numbers, context, whatever) */
199 OP_CONTEXT,
200 OP_RANGE,
202 /* Needed to translate SSA back to normal form */
203 OP_COPY,
206 struct basic_block_list;
207 struct instruction_list;
209 struct basic_block {
210 struct position pos;
211 unsigned long generation;
212 int context;
213 struct entrypoint *ep;
214 struct basic_block_list *parents; /* sources */
215 struct basic_block_list *children; /* destinations */
216 struct instruction_list *insns; /* Linear list of instructions */
217 struct pseudo_list *needs, *defines;
220 static inline int is_branch_goto(struct instruction *br)
222 return br && br->opcode==OP_BR && (!br->bb_true || !br->bb_false);
225 static inline void add_bb(struct basic_block_list **list, struct basic_block *bb)
227 add_ptr_list(list, bb);
230 static inline void add_instruction(struct instruction_list **list, struct instruction *insn)
232 add_ptr_list(list, insn);
235 static inline void add_multijmp(struct multijmp_list **list, struct multijmp *multijmp)
237 add_ptr_list(list, multijmp);
240 static inline pseudo_t *add_pseudo(struct pseudo_list **list, pseudo_t pseudo)
242 return add_ptr_list(list, pseudo);
245 static inline int remove_pseudo(struct pseudo_list **list, pseudo_t pseudo)
247 return delete_ptr_list_entry((struct ptr_list **)list, pseudo, 0) != 0;
250 static inline int bb_terminated(struct basic_block *bb)
252 struct instruction *insn;
253 if (!bb)
254 return 0;
255 insn = last_instruction(bb->insns);
256 return insn && insn->opcode >= OP_RET && insn->opcode <= OP_UNWIND;
259 static inline int bb_reachable(struct basic_block *bb)
261 return bb != NULL;
264 static inline void add_pseudo_ptr(pseudo_t *ptr, struct pseudo_ptr_list **list)
266 add_ptr_list(list, ptr);
269 static inline int has_use_list(pseudo_t p)
271 return (p && p->type != PSEUDO_VOID && p->type != PSEUDO_VAL);
274 static inline void use_pseudo(pseudo_t p, pseudo_t *pp)
276 *pp = p;
277 if (has_use_list(p))
278 add_pseudo_ptr(pp, &p->users);
281 static inline void remove_bb_from_list(struct basic_block_list **list, struct basic_block *entry, int count)
283 delete_ptr_list_entry((struct ptr_list **)list, entry, count);
286 static inline void replace_bb_in_list(struct basic_block_list **list,
287 struct basic_block *old, struct basic_block *new, int count)
289 replace_ptr_list_entry((struct ptr_list **)list, old, new, count);
292 struct entrypoint {
293 struct symbol *name;
294 struct symbol_list *syms;
295 struct symbol_list *accesses;
296 struct basic_block_list *bbs;
297 struct basic_block *active;
298 struct instruction *entry;
301 extern void insert_select(struct basic_block *bb, struct instruction *br, struct instruction *phi, pseudo_t true, pseudo_t false);
302 extern void insert_branch(struct basic_block *bb, struct instruction *br, struct basic_block *target);
304 pseudo_t alloc_phi(struct basic_block *source, pseudo_t pseudo, int size);
305 pseudo_t alloc_pseudo(struct instruction *def);
306 pseudo_t value_pseudo(long long val);
308 struct entrypoint *linearize_symbol(struct symbol *sym);
309 int unssa(struct entrypoint *ep);
310 void show_entry(struct entrypoint *ep);
311 const char *show_pseudo(pseudo_t pseudo);
312 void show_bb(struct basic_block *bb);
313 const char *show_instruction(struct instruction *insn);
315 #endif /* LINEARIZE_H */