smatch_capped: get_implied_max() does not implied capped
[smatch.git] / flow.h
blob370aaddf1f8a21b8e0259465081f45c1de649f92
1 #ifndef FLOW_H
2 #define FLOW_H
4 #include "lib.h"
6 extern unsigned long bb_generation;
8 #define REPEAT_CSE 1
9 #define REPEAT_SYMBOL_CLEANUP 2
11 struct entrypoint;
12 struct instruction;
14 extern int simplify_flow(struct entrypoint *ep);
16 extern void simplify_symbol_usage(struct entrypoint *ep);
17 extern void simplify_memops(struct entrypoint *ep);
18 extern void pack_basic_blocks(struct entrypoint *ep);
20 extern void convert_instruction_target(struct instruction *insn, pseudo_t src);
21 extern void cleanup_and_cse(struct entrypoint *ep);
22 extern int simplify_instruction(struct instruction *);
24 extern void kill_bb(struct basic_block *);
25 extern void kill_use(pseudo_t *);
26 extern void kill_instruction(struct instruction *);
27 extern void kill_unreachable_bbs(struct entrypoint *ep);
29 void check_access(struct instruction *insn);
30 void convert_load_instruction(struct instruction *, pseudo_t);
31 void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
32 int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
34 extern void clear_liveness(struct entrypoint *ep);
35 extern void track_pseudo_liveness(struct entrypoint *ep);
36 extern void track_pseudo_death(struct entrypoint *ep);
37 extern void track_phi_uses(struct instruction *insn);
39 extern void vrfy_flow(struct entrypoint *ep);
40 extern int pseudo_in_list(struct pseudo_list *list, pseudo_t pseudo);
42 #endif