smatch_extra: fix (foo != 42) { ...
[smatch.git] / flow.h
blob9f2e165f04b7a5d15a890f46fb2d0eb599b2f4ca
1 #ifndef FLOW_H
2 #define FLOW_H
4 extern unsigned long bb_generation;
6 #define REPEAT_CSE 1
7 #define REPEAT_SYMBOL_CLEANUP 2
9 extern int simplify_flow(struct entrypoint *ep);
11 extern void simplify_symbol_usage(struct entrypoint *ep);
12 extern void simplify_memops(struct entrypoint *ep);
13 extern void pack_basic_blocks(struct entrypoint *ep);
15 extern void convert_instruction_target(struct instruction *insn, pseudo_t src);
16 extern void cleanup_and_cse(struct entrypoint *ep);
17 extern int simplify_instruction(struct instruction *);
19 extern void kill_bb(struct basic_block *);
20 extern void kill_use(pseudo_t *);
21 extern void kill_instruction(struct instruction *);
22 extern void kill_unreachable_bbs(struct entrypoint *ep);
24 void check_access(struct instruction *insn);
25 void convert_load_instruction(struct instruction *, pseudo_t);
26 void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
27 int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
29 extern void clear_liveness(struct entrypoint *ep);
30 extern void track_pseudo_liveness(struct entrypoint *ep);
31 extern void track_pseudo_death(struct entrypoint *ep);
33 extern void vrfy_flow(struct entrypoint *ep);
34 extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);
36 #endif