11 DECLARE_PTR_LIST(pseudo_ptr_list
, pseudo_t
);
14 struct instruction
*insn
;
18 DECLARE_ALLOCATOR(pseudo_user
);
19 DECLARE_PTR_LIST(pseudo_user_list
, struct pseudo_user
);
33 enum pseudo_type type
;
34 struct pseudo_user_list
*users
;
38 struct instruction
*def
;
43 extern struct pseudo void_pseudo
;
45 #define VOID (&void_pseudo)
48 struct basic_block
*target
;
52 struct asm_constraint
{
54 const char *constraint
;
55 const struct ident
*ident
;
58 DECLARE_ALLOCATOR(asm_constraint
);
59 DECLARE_PTR_LIST(asm_constraint_list
, struct asm_constraint
);
62 struct asm_constraint_list
*inputs
;
63 struct asm_constraint_list
*outputs
;
64 struct asm_constraint_list
*clobbers
;
67 DECLARE_ALLOCATOR(asm_rules
);
72 struct basic_block
*bb
;
76 pseudo_t cond
; /* for branch and switch */
79 struct /* entrypoint */ {
80 struct pseudo_list
*arg_list
;
83 struct basic_block
*bb_true
, *bb_false
;
86 struct multijmp_list
*multijmp_list
;
88 struct /* phi_node */ {
89 struct pseudo_list
*phi_list
;
91 struct /* phi source */ {
93 struct instruction_list
*phi_users
;
97 struct symbol
*orig_type
; /* casts */
98 unsigned int offset
; /* memops */
100 struct /* binops and sel */ {
101 pseudo_t src1
, src2
, src3
;
107 struct /* multijump */ {
110 struct /* setval */ {
111 pseudo_t symbol
; /* Subtle: same offset as "src" !! */
112 struct expression
*val
;
116 struct pseudo_list
*arguments
;
118 struct /* context */ {
119 int increment
, required
, inc_false
;
120 struct expression
*context_expr
;
124 struct asm_rules
*asm_rules
;
137 OP_RET
= OP_TERMINATOR
,
143 OP_TERMINATOR_END
= OP_UNWIND
,
161 OP_BINARY_END
= OP_OR_BOOL
,
163 /* Binary comparison */
165 OP_SET_EQ
= OP_BINCMP
,
175 OP_BINCMP_END
= OP_SET_AE
,
181 /* Select - three input values */
212 /* Sparse tagging (line numbers, context, whatever) */
216 /* Needed to translate SSA back to normal form */
220 struct basic_block_list
;
221 struct instruction_list
;
225 unsigned long generation
;
227 struct entrypoint
*ep
;
228 struct basic_block_list
*parents
; /* sources */
229 struct basic_block_list
*children
; /* destinations */
230 struct instruction_list
*insns
; /* Linear list of instructions */
231 struct pseudo_list
*needs
, *defines
;
234 static inline int is_branch_goto(struct instruction
*br
)
236 return br
&& br
->opcode
==OP_BR
&& (!br
->bb_true
|| !br
->bb_false
);
239 static inline void add_bb(struct basic_block_list
**list
, struct basic_block
*bb
)
241 add_ptr_list(list
, bb
);
244 static inline void add_instruction(struct instruction_list
**list
, struct instruction
*insn
)
246 add_ptr_list(list
, insn
);
249 static inline void add_multijmp(struct multijmp_list
**list
, struct multijmp
*multijmp
)
251 add_ptr_list(list
, multijmp
);
254 static inline pseudo_t
*add_pseudo(struct pseudo_list
**list
, pseudo_t pseudo
)
256 return add_ptr_list(list
, pseudo
);
259 static inline int remove_pseudo(struct pseudo_list
**list
, pseudo_t pseudo
)
261 return delete_ptr_list_entry((struct ptr_list
**)list
, pseudo
, 0) != 0;
264 static inline int bb_terminated(struct basic_block
*bb
)
266 struct instruction
*insn
;
269 insn
= last_instruction(bb
->insns
);
270 return insn
&& insn
->opcode
>= OP_TERMINATOR
271 && insn
->opcode
<= OP_TERMINATOR_END
;
274 static inline int bb_reachable(struct basic_block
*bb
)
279 static inline void add_pseudo_ptr(pseudo_t
*ptr
, struct pseudo_ptr_list
**list
)
281 add_ptr_list(list
, ptr
);
284 static inline void add_pseudo_user_ptr(struct pseudo_user
*user
, struct pseudo_user_list
**list
)
286 add_ptr_list(list
, user
);
289 static inline int has_use_list(pseudo_t p
)
291 return (p
&& p
->type
!= PSEUDO_VOID
&& p
->type
!= PSEUDO_VAL
);
294 static inline struct pseudo_user
*alloc_pseudo_user(struct instruction
*insn
, pseudo_t
*pp
)
296 struct pseudo_user
*user
= __alloc_pseudo_user(0);
302 static inline void use_pseudo(struct instruction
*insn
, pseudo_t p
, pseudo_t
*pp
)
306 add_pseudo_user_ptr(alloc_pseudo_user(insn
, pp
), &p
->users
);
309 static inline void remove_bb_from_list(struct basic_block_list
**list
, struct basic_block
*entry
, int count
)
311 delete_ptr_list_entry((struct ptr_list
**)list
, entry
, count
);
314 static inline void replace_bb_in_list(struct basic_block_list
**list
,
315 struct basic_block
*old
, struct basic_block
*new, int count
)
317 replace_ptr_list_entry((struct ptr_list
**)list
, old
, new, count
);
322 struct symbol_list
*syms
;
323 struct pseudo_list
*accesses
;
324 struct basic_block_list
*bbs
;
325 struct basic_block
*active
;
326 struct instruction
*entry
;
329 extern void insert_select(struct basic_block
*bb
, struct instruction
*br
, struct instruction
*phi
, pseudo_t
true, pseudo_t
false);
330 extern void insert_branch(struct basic_block
*bb
, struct instruction
*br
, struct basic_block
*target
);
332 pseudo_t
alloc_phi(struct basic_block
*source
, pseudo_t pseudo
, int size
);
333 pseudo_t
alloc_pseudo(struct instruction
*def
);
334 pseudo_t
value_pseudo(long long val
);
336 struct entrypoint
*linearize_symbol(struct symbol
*sym
);
337 int unssa(struct entrypoint
*ep
);
338 void show_entry(struct entrypoint
*ep
);
339 const char *show_pseudo(pseudo_t pseudo
);
340 void show_bb(struct basic_block
*bb
);
341 const char *show_instruction(struct instruction
*insn
);
343 #endif /* LINEARIZE_H */