123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215 |
- #ifndef GCC_DF_H
- #define GCC_DF_H
- #include "bitmap.h"
- #include "regset.h"
- #include "sbitmap.h"
- #include "predict.h"
- #include "vec.h"
- #include "hashtab.h"
- #include "hash-set.h"
- #include "machmode.h"
- #include "tm.h"
- #include "hard-reg-set.h"
- #include "input.h"
- #include "function.h"
- #include "alloc-pool.h"
- #include "timevar.h"
- struct dataflow;
- struct df_d;
- struct df_problem;
- struct df_link;
- struct df_insn_info;
- union df_ref_d;
- #define DF_SCAN 0
- #define DF_LR 1
- #define DF_LIVE 2
- #define DF_RD 3
- #define DF_CHAIN 4
- #define DF_WORD_LR 5
- #define DF_NOTE 6
- #define DF_MD 7
- #define DF_LAST_PROBLEM_PLUS1 (DF_MD + 1)
- enum df_flow_dir
- {
- DF_NONE,
- DF_FORWARD,
- DF_BACKWARD
- };
- enum df_ref_class {DF_REF_BASE, DF_REF_ARTIFICIAL, DF_REF_REGULAR};
- enum df_ref_type {DF_REF_REG_DEF, DF_REF_REG_USE,
- DF_REF_REG_MEM_LOAD, DF_REF_REG_MEM_STORE};
- enum df_ref_flags
- {
-
- DF_REF_CONDITIONAL = 1 << 0,
-
- DF_REF_AT_TOP = 1 << 1,
-
- DF_REF_IN_NOTE = 1 << 2,
-
- DF_HARD_REG_LIVE = 1 << 3,
-
- DF_REF_PARTIAL = 1 << 4,
-
- DF_REF_READ_WRITE = 1 << 5,
-
- DF_REF_MAY_CLOBBER = 1 << 6,
-
- DF_REF_MUST_CLOBBER = 1 << 7,
-
-
- DF_REF_SIGN_EXTRACT = 1 << 8,
-
- DF_REF_ZERO_EXTRACT = 1 << 9,
-
- DF_REF_STRICT_LOW_PART = 1 << 10,
-
- DF_REF_SUBREG = 1 << 11,
-
- DF_REF_MW_HARDREG = 1 << 12,
-
- DF_REF_CALL_STACK_USAGE = 1 << 13,
-
- DF_REF_REG_MARKER = 1 << 14,
-
- DF_REF_PRE_POST_MODIFY = 1 << 15
- };
- enum df_ref_order
- {
-
- DF_REF_ORDER_NO_TABLE,
-
- DF_REF_ORDER_UNORDERED,
- DF_REF_ORDER_UNORDERED_WITH_NOTES,
-
- DF_REF_ORDER_BY_REG,
-
- DF_REF_ORDER_BY_REG_WITH_NOTES,
-
- DF_REF_ORDER_BY_INSN,
-
- DF_REF_ORDER_BY_INSN_WITH_NOTES
- };
- typedef void (*df_alloc_function) (bitmap);
- typedef void (*df_reset_function) (bitmap);
- typedef void (*df_free_bb_function) (basic_block, void *);
- typedef void (*df_local_compute_function) (bitmap);
- typedef void (*df_init_function) (bitmap);
- typedef void (*df_dataflow_function) (struct dataflow *, bitmap, int *, int);
- typedef void (*df_confluence_function_0) (basic_block);
- typedef bool (*df_confluence_function_n) (edge);
- typedef bool (*df_transfer_function) (int);
- typedef void (*df_finalizer_function) (bitmap);
- typedef void (*df_free_function) (void);
- typedef void (*df_remove_problem_function) (void);
- typedef void (*df_dump_problem_function) (FILE *);
- typedef void (*df_dump_bb_problem_function) (basic_block, FILE *);
- typedef void (*df_dump_insn_problem_function) (const rtx_insn *, FILE *);
- typedef void (*df_verify_solution_start) (void);
- typedef void (*df_verify_solution_end) (void);
- struct df_problem {
-
- unsigned int id;
- enum df_flow_dir dir;
- df_alloc_function alloc_fun;
- df_reset_function reset_fun;
- df_free_bb_function free_bb_fun;
- df_local_compute_function local_compute_fun;
- df_init_function init_fun;
- df_dataflow_function dataflow_fun;
- df_confluence_function_0 con_fun_0;
- df_confluence_function_n con_fun_n;
- df_transfer_function trans_fun;
- df_finalizer_function finalize_fun;
- df_free_function free_fun;
- df_remove_problem_function remove_problem_fun;
- df_dump_problem_function dump_start_fun;
- df_dump_bb_problem_function dump_top_fun;
- df_dump_bb_problem_function dump_bottom_fun;
- df_dump_insn_problem_function dump_insn_top_fun;
- df_dump_insn_problem_function dump_insn_bottom_fun;
- df_verify_solution_start verify_start_fun;
- df_verify_solution_end verify_end_fun;
- struct df_problem *dependent_problem;
- unsigned int block_info_elt_size;
-
- timevar_id_t tv_id;
-
- bool free_blocks_on_set_blocks;
- };
- struct dataflow
- {
- struct df_problem *problem;
-
- void *block_info;
- unsigned int block_info_size;
-
- alloc_pool block_pool;
-
- bitmap out_of_date_transfer_functions;
-
- void *problem_data;
-
- unsigned int local_flags;
-
- bool computed;
-
- bool solutions_dirty;
-
- bool optional_p;
- };
- struct df_mw_hardreg
- {
- df_mw_hardreg *next;
- rtx mw_reg;
-
- ENUM_BITFIELD(df_ref_type) type : 16;
-
- int flags : 16;
- unsigned int start_regno;
- unsigned int end_regno;
- unsigned int mw_order;
- };
- struct df_base_ref
- {
-
- ENUM_BITFIELD(df_ref_class) cl : 8;
- ENUM_BITFIELD(df_ref_type) type : 8;
-
- int flags : 16;
- unsigned int regno;
- rtx reg;
- union df_ref_d *next_loc;
- struct df_link *chain;
-
- struct df_insn_info *insn_info;
-
- union df_ref_d *next_reg;
- union df_ref_d *prev_reg;
-
- int id;
-
- unsigned int ref_order;
- };
- struct df_artificial_ref
- {
- struct df_base_ref base;
-
- basic_block bb;
- };
- struct df_regular_ref
- {
- struct df_base_ref base;
-
- rtx *loc;
- };
- union df_ref_d
- {
- struct df_base_ref base;
- struct df_regular_ref regular_ref;
- struct df_artificial_ref artificial_ref;
- };
- typedef union df_ref_d *df_ref;
- struct df_insn_info
- {
- rtx_insn *insn;
- df_ref defs;
- df_ref uses;
-
- df_ref eq_uses;
- struct df_mw_hardreg *mw_hardregs;
-
- int luid;
- };
- struct df_link
- {
- df_ref ref;
- struct df_link *next;
- };
- enum df_chain_flags
- {
-
- DF_DU_CHAIN = 1,
- DF_UD_CHAIN = 2
- };
- enum df_changeable_flags
- {
-
-
- DF_LR_RUN_DCE = 1 << 0,
- DF_NO_HARD_REGS = 1 << 1,
- DF_EQ_NOTES = 1 << 2,
- DF_NO_REGS_EVER_LIVE = 1 << 3,
-
- DF_NO_INSN_RESCAN = 1 << 4,
-
- DF_DEFER_INSN_RESCAN = 1 << 5,
-
- DF_RD_PRUNE_DEAD_DEFS = 1 << 6,
- DF_VERIFY_SCHEDULED = 1 << 7
- };
- struct df_ref_info
- {
- df_ref *refs;
- unsigned int *begin;
- unsigned int *count;
- unsigned int refs_size;
-
- unsigned int table_size;
- unsigned int total_size;
- enum df_ref_order ref_order;
- };
- struct df_reg_info
- {
-
- df_ref reg_chain;
-
- unsigned int n_refs;
- };
- struct df_d
- {
-
- struct dataflow *problems_in_order[DF_LAST_PROBLEM_PLUS1];
- struct dataflow *problems_by_index[DF_LAST_PROBLEM_PLUS1];
-
- bitmap blocks_to_analyze;
-
- struct df_ref_info def_info;
- struct df_ref_info use_info;
-
- struct df_reg_info **def_regs;
- struct df_reg_info **use_regs;
- struct df_reg_info **eq_use_regs;
- unsigned int regs_size;
- unsigned int regs_inited;
- struct df_insn_info **insns;
- unsigned int insns_size;
- int num_problems_defined;
- bitmap_head hardware_regs_used;
-
- bitmap_head regular_block_artificial_uses;
-
- bitmap_head eh_block_artificial_uses;
-
- bitmap entry_block_defs;
- bitmap exit_block_uses;
-
- bitmap_head insns_to_delete;
- bitmap_head insns_to_rescan;
- bitmap_head insns_to_notes_rescan;
- int *postorder;
- int *postorder_inverted;
- int n_blocks;
- int n_blocks_inverted;
-
- unsigned int *hard_regs_live_count;
-
- unsigned int ref_order;
-
- int changeable_flags : 8;
-
- bool analyze_subset;
-
- bool redo_entry_and_exit;
- };
- #define DF_SCAN_BB_INFO(BB) (df_scan_get_bb_info ((BB)->index))
- #define DF_RD_BB_INFO(BB) (df_rd_get_bb_info ((BB)->index))
- #define DF_LR_BB_INFO(BB) (df_lr_get_bb_info ((BB)->index))
- #define DF_LIVE_BB_INFO(BB) (df_live_get_bb_info ((BB)->index))
- #define DF_WORD_LR_BB_INFO(BB) (df_word_lr_get_bb_info ((BB)->index))
- #define DF_MD_BB_INFO(BB) (df_md_get_bb_info ((BB)->index))
- #define DF_LIVE_IN(BB) (&DF_LIVE_BB_INFO (BB)->in)
- #define DF_LIVE_OUT(BB) (&DF_LIVE_BB_INFO (BB)->out)
- #define DF_LR_IN(BB) (&DF_LR_BB_INFO (BB)->in)
- #define DF_LR_OUT(BB) (&DF_LR_BB_INFO (BB)->out)
- #define DF_WORD_LR_IN(BB) (&DF_WORD_LR_BB_INFO (BB)->in)
- #define DF_WORD_LR_OUT(BB) (&DF_WORD_LR_BB_INFO (BB)->out)
- #define DF_REF_REAL_REG(REF) (GET_CODE ((REF)->base.reg) == SUBREG \
- ? SUBREG_REG ((REF)->base.reg) : ((REF)->base.reg))
- #define DF_REF_REGNO(REF) ((REF)->base.regno)
- #define DF_REF_REAL_LOC(REF) (GET_CODE (*((REF)->regular_ref.loc)) == SUBREG \
- ? &SUBREG_REG (*((REF)->regular_ref.loc)) : ((REF)->regular_ref.loc))
- #define DF_REF_REG(REF) ((REF)->base.reg)
- #define DF_REF_LOC(REF) (DF_REF_CLASS (REF) == DF_REF_REGULAR ? \
- (REF)->regular_ref.loc : NULL)
- #define DF_REF_BB(REF) (DF_REF_IS_ARTIFICIAL (REF) \
- ? (REF)->artificial_ref.bb \
- : BLOCK_FOR_INSN (DF_REF_INSN (REF)))
- #define DF_REF_BBNO(REF) (DF_REF_BB (REF)->index)
- #define DF_REF_INSN_INFO(REF) ((REF)->base.insn_info)
- #define DF_REF_INSN(REF) ((REF)->base.insn_info->insn)
- #define DF_REF_INSN_UID(REF) (INSN_UID (DF_REF_INSN(REF)))
- #define DF_REF_CLASS(REF) ((REF)->base.cl)
- #define DF_REF_TYPE(REF) ((REF)->base.type)
- #define DF_REF_CHAIN(REF) ((REF)->base.chain)
- #define DF_REF_ID(REF) ((REF)->base.id)
- #define DF_REF_FLAGS(REF) ((REF)->base.flags)
- #define DF_REF_FLAGS_IS_SET(REF, v) ((DF_REF_FLAGS (REF) & (v)) != 0)
- #define DF_REF_FLAGS_SET(REF, v) (DF_REF_FLAGS (REF) |= (v))
- #define DF_REF_FLAGS_CLEAR(REF, v) (DF_REF_FLAGS (REF) &= ~(v))
- #define DF_REF_ORDER(REF) ((REF)->base.ref_order)
- #define DF_REF_IS_ARTIFICIAL(REF) (DF_REF_CLASS (REF) == DF_REF_ARTIFICIAL)
- #define DF_REF_REG_MARK(REF) (DF_REF_FLAGS_SET ((REF),DF_REF_REG_MARKER))
- #define DF_REF_REG_UNMARK(REF) (DF_REF_FLAGS_CLEAR ((REF),DF_REF_REG_MARKER))
- #define DF_REF_IS_REG_MARKED(REF) (DF_REF_FLAGS_IS_SET ((REF),DF_REF_REG_MARKER))
- #define DF_REF_NEXT_LOC(REF) ((REF)->base.next_loc)
- #define DF_REF_NEXT_REG(REF) ((REF)->base.next_reg)
- #define DF_REF_PREV_REG(REF) ((REF)->base.prev_reg)
- #define DF_REF_EXTRACT_WIDTH(REF) ((REF)->extract_ref.width)
- #define DF_REF_EXTRACT_OFFSET(REF) ((REF)->extract_ref.offset)
- #define DF_REF_EXTRACT_MODE(REF) ((REF)->extract_ref.mode)
- #define DF_REF_REG_DEF_P(REF) (DF_REF_TYPE (REF) == DF_REF_REG_DEF)
- #define DF_REF_REG_USE_P(REF) (!DF_REF_REG_DEF_P (REF))
- #define DF_REF_REG_MEM_STORE_P(REF) (DF_REF_TYPE (REF) == DF_REF_REG_MEM_STORE)
- #define DF_REF_REG_MEM_LOAD_P(REF) (DF_REF_TYPE (REF) == DF_REF_REG_MEM_LOAD)
- #define DF_REF_REG_MEM_P(REF) (DF_REF_REG_MEM_STORE_P (REF) \
- || DF_REF_REG_MEM_LOAD_P (REF))
- #define DF_MWS_REG_DEF_P(MREF) (DF_MWS_TYPE (MREF) == DF_REF_REG_DEF)
- #define DF_MWS_REG_USE_P(MREF) (!DF_MWS_REG_DEF_P (MREF))
- #define DF_MWS_NEXT(MREF) ((MREF)->next)
- #define DF_MWS_TYPE(MREF) ((MREF)->type)
- #define DF_DEFS_TABLE_SIZE() (df->def_info.table_size)
- #define DF_DEFS_GET(ID) (df->def_info.refs[(ID)])
- #define DF_DEFS_SET(ID,VAL) (df->def_info.refs[(ID)]=(VAL))
- #define DF_DEFS_COUNT(ID) (df->def_info.count[(ID)])
- #define DF_DEFS_BEGIN(ID) (df->def_info.begin[(ID)])
- #define DF_USES_TABLE_SIZE() (df->use_info.table_size)
- #define DF_USES_GET(ID) (df->use_info.refs[(ID)])
- #define DF_USES_SET(ID,VAL) (df->use_info.refs[(ID)]=(VAL))
- #define DF_USES_COUNT(ID) (df->use_info.count[(ID)])
- #define DF_USES_BEGIN(ID) (df->use_info.begin[(ID)])
- #define DF_REG_SIZE(DF) (df->regs_inited)
- #define DF_REG_DEF_GET(REG) (df->def_regs[(REG)])
- #define DF_REG_DEF_CHAIN(REG) (df->def_regs[(REG)]->reg_chain)
- #define DF_REG_DEF_COUNT(REG) (df->def_regs[(REG)]->n_refs)
- #define DF_REG_USE_GET(REG) (df->use_regs[(REG)])
- #define DF_REG_USE_CHAIN(REG) (df->use_regs[(REG)]->reg_chain)
- #define DF_REG_USE_COUNT(REG) (df->use_regs[(REG)]->n_refs)
- #define DF_REG_EQ_USE_GET(REG) (df->eq_use_regs[(REG)])
- #define DF_REG_EQ_USE_CHAIN(REG) (df->eq_use_regs[(REG)]->reg_chain)
- #define DF_REG_EQ_USE_COUNT(REG) (df->eq_use_regs[(REG)]->n_refs)
- #define DF_REGNO_FIRST_DEF(REGNUM) \
- (DF_REG_DEF_GET(REGNUM) ? DF_REG_DEF_GET (REGNUM) : 0)
- #define DF_REGNO_LAST_USE(REGNUM) \
- (DF_REG_USE_GET(REGNUM) ? DF_REG_USE_GET (REGNUM) : 0)
- #define DF_INSN_SIZE() ((df)->insns_size)
- #define DF_INSN_INFO_GET(INSN) (df->insns[(INSN_UID (INSN))])
- #define DF_INSN_INFO_SET(INSN,VAL) (df->insns[(INSN_UID (INSN))]=(VAL))
- #define DF_INSN_INFO_LUID(II) ((II)->luid)
- #define DF_INSN_INFO_DEFS(II) ((II)->defs)
- #define DF_INSN_INFO_USES(II) ((II)->uses)
- #define DF_INSN_INFO_EQ_USES(II) ((II)->eq_uses)
- #define DF_INSN_INFO_MWS(II) ((II)->mw_hardregs)
- #define DF_INSN_LUID(INSN) (DF_INSN_INFO_LUID (DF_INSN_INFO_GET (INSN)))
- #define DF_INSN_DEFS(INSN) (DF_INSN_INFO_DEFS (DF_INSN_INFO_GET (INSN)))
- #define DF_INSN_USES(INSN) (DF_INSN_INFO_USES (DF_INSN_INFO_GET (INSN)))
- #define DF_INSN_EQ_USES(INSN) (DF_INSN_INFO_EQ_USES (DF_INSN_INFO_GET (INSN)))
- #define DF_INSN_UID_GET(UID) (df->insns[(UID)])
- #define DF_INSN_UID_SET(UID,VAL) (df->insns[(UID)]=(VAL))
- #define DF_INSN_UID_SAFE_GET(UID) (((unsigned)(UID) < DF_INSN_SIZE ()) \
- ? DF_INSN_UID_GET (UID) \
- : NULL)
- #define DF_INSN_UID_LUID(INSN) (DF_INSN_UID_GET (INSN)->luid)
- #define DF_INSN_UID_DEFS(INSN) (DF_INSN_UID_GET (INSN)->defs)
- #define DF_INSN_UID_USES(INSN) (DF_INSN_UID_GET (INSN)->uses)
- #define DF_INSN_UID_EQ_USES(INSN) (DF_INSN_UID_GET (INSN)->eq_uses)
- #define DF_INSN_UID_MWS(INSN) (DF_INSN_UID_GET (INSN)->mw_hardregs)
- #define FOR_EACH_INSN_INFO_DEF(ITER, INSN) \
- for (ITER = DF_INSN_INFO_DEFS (INSN); ITER; ITER = DF_REF_NEXT_LOC (ITER))
- #define FOR_EACH_INSN_INFO_USE(ITER, INSN) \
- for (ITER = DF_INSN_INFO_USES (INSN); ITER; ITER = DF_REF_NEXT_LOC (ITER))
- #define FOR_EACH_INSN_INFO_EQ_USE(ITER, INSN) \
- for (ITER = DF_INSN_INFO_EQ_USES (INSN); ITER; ITER = DF_REF_NEXT_LOC (ITER))
- #define FOR_EACH_INSN_INFO_MW(ITER, INSN) \
- for (ITER = DF_INSN_INFO_MWS (INSN); ITER; ITER = DF_MWS_NEXT (ITER))
- #define FOR_EACH_INSN_DEF(ITER, INSN) \
- FOR_EACH_INSN_INFO_DEF(ITER, DF_INSN_INFO_GET (INSN))
- #define FOR_EACH_INSN_USE(ITER, INSN) \
- FOR_EACH_INSN_INFO_USE(ITER, DF_INSN_INFO_GET (INSN))
- #define FOR_EACH_INSN_EQ_USE(ITER, INSN) \
- FOR_EACH_INSN_INFO_EQ_USE(ITER, DF_INSN_INFO_GET (INSN))
- #define FOR_EACH_ARTIFICIAL_USE(ITER, BB_INDEX) \
- for (ITER = df_get_artificial_uses (BB_INDEX); ITER; \
- ITER = DF_REF_NEXT_LOC (ITER))
- #define FOR_EACH_ARTIFICIAL_DEF(ITER, BB_INDEX) \
- for (ITER = df_get_artificial_defs (BB_INDEX); ITER; \
- ITER = DF_REF_NEXT_LOC (ITER))
- extern bitmap_obstack df_bitmap_obstack;
- struct df_scan_bb_info
- {
-
- df_ref artificial_defs;
-
- df_ref artificial_uses;
- };
- struct df_rd_bb_info
- {
-
- bitmap_head kill;
- bitmap_head sparse_kill;
- bitmap_head gen;
-
- bitmap_head in;
- bitmap_head out;
- };
- struct df_md_bb_info
- {
-
- bitmap_head gen;
- bitmap_head kill;
- bitmap_head init;
-
- bitmap_head in;
- bitmap_head out;
- };
- struct df_lr_bb_info
- {
-
- bitmap_head def;
- bitmap_head use;
-
- bitmap_head in;
- bitmap_head out;
- };
- struct df_live_bb_info
- {
-
- bitmap_head kill;
- bitmap_head gen;
-
- bitmap_head in;
- bitmap_head out;
- };
- struct df_word_lr_bb_info
- {
-
- bitmap_head def;
- bitmap_head use;
-
- bitmap_head in;
- bitmap_head out;
- };
- extern struct df_d *df;
- #define df_scan (df->problems_by_index[DF_SCAN])
- #define df_rd (df->problems_by_index[DF_RD])
- #define df_lr (df->problems_by_index[DF_LR])
- #define df_live (df->problems_by_index[DF_LIVE])
- #define df_chain (df->problems_by_index[DF_CHAIN])
- #define df_word_lr (df->problems_by_index[DF_WORD_LR])
- #define df_note (df->problems_by_index[DF_NOTE])
- #define df_md (df->problems_by_index[DF_MD])
- #if 0
- #define DF_DEBUG_CFG
- #endif
- extern void df_add_problem (struct df_problem *);
- extern int df_set_flags (int);
- extern int df_clear_flags (int);
- extern void df_set_blocks (bitmap);
- extern void df_remove_problem (struct dataflow *);
- extern void df_finish_pass (bool);
- extern void df_analyze_problem (struct dataflow *, bitmap, int *, int);
- extern void df_analyze ();
- extern void df_analyze_loop (struct loop *);
- extern int df_get_n_blocks (enum df_flow_dir);
- extern int *df_get_postorder (enum df_flow_dir);
- extern void df_simple_dataflow (enum df_flow_dir, df_init_function,
- df_confluence_function_0, df_confluence_function_n,
- df_transfer_function, bitmap, int *, int);
- extern void df_mark_solutions_dirty (void);
- extern bool df_get_bb_dirty (basic_block);
- extern void df_set_bb_dirty (basic_block);
- extern void df_compact_blocks (void);
- extern void df_bb_replace (int, basic_block);
- extern void df_bb_delete (int);
- extern void df_verify (void);
- #ifdef DF_DEBUG_CFG
- extern void df_check_cfg_clean (void);
- #endif
- extern df_ref df_bb_regno_first_def_find (basic_block, unsigned int);
- extern df_ref df_bb_regno_last_def_find (basic_block, unsigned int);
- extern df_ref df_find_def (rtx_insn *, rtx);
- extern bool df_reg_defined (rtx_insn *, rtx);
- extern df_ref df_find_use (rtx_insn *, rtx);
- extern bool df_reg_used (rtx_insn *, rtx);
- extern void df_worklist_dataflow (struct dataflow *,bitmap, int *, int);
- extern void df_print_regset (FILE *file, bitmap r);
- extern void df_print_word_regset (FILE *file, bitmap r);
- extern void df_dump (FILE *);
- extern void df_dump_region (FILE *);
- extern void df_dump_start (FILE *);
- extern void df_dump_top (basic_block, FILE *);
- extern void df_dump_bottom (basic_block, FILE *);
- extern void df_dump_insn_top (const rtx_insn *, FILE *);
- extern void df_dump_insn_bottom (const rtx_insn *, FILE *);
- extern void df_refs_chain_dump (df_ref, bool, FILE *);
- extern void df_regs_chain_dump (df_ref, FILE *);
- extern void df_insn_debug (rtx_insn *, bool, FILE *);
- extern void df_insn_debug_regno (rtx_insn *, FILE *);
- extern void df_regno_debug (unsigned int, FILE *);
- extern void df_ref_debug (df_ref, FILE *);
- extern void debug_df_insn (rtx_insn *);
- extern void debug_df_regno (unsigned int);
- extern void debug_df_reg (rtx);
- extern void debug_df_defno (unsigned int);
- extern void debug_df_useno (unsigned int);
- extern void debug_df_ref (df_ref);
- extern void debug_df_chain (struct df_link *);
- extern struct df_link *df_chain_create (df_ref, df_ref);
- extern void df_chain_unlink (df_ref);
- extern void df_chain_copy (df_ref, struct df_link *);
- extern void df_grow_bb_info (struct dataflow *);
- extern void df_chain_dump (struct df_link *, FILE *);
- extern void df_print_bb_index (basic_block bb, FILE *file);
- extern void df_rd_add_problem (void);
- extern void df_rd_simulate_artificial_defs_at_top (basic_block, bitmap);
- extern void df_rd_simulate_one_insn (basic_block, rtx_insn *, bitmap);
- extern void df_lr_add_problem (void);
- extern void df_lr_verify_transfer_functions (void);
- extern void df_live_verify_transfer_functions (void);
- extern void df_live_add_problem (void);
- extern void df_live_set_all_dirty (void);
- extern void df_chain_add_problem (unsigned int);
- extern void df_word_lr_add_problem (void);
- extern bool df_word_lr_mark_ref (df_ref, bool, bitmap);
- extern bool df_word_lr_simulate_defs (rtx_insn *, bitmap);
- extern void df_word_lr_simulate_uses (rtx_insn *, bitmap);
- extern void df_word_lr_simulate_artificial_refs_at_top (basic_block, bitmap);
- extern void df_word_lr_simulate_artificial_refs_at_end (basic_block, bitmap);
- extern void df_note_add_problem (void);
- extern void df_md_add_problem (void);
- extern void df_md_simulate_artificial_defs_at_top (basic_block, bitmap);
- extern void df_md_simulate_one_insn (basic_block, rtx_insn *, bitmap);
- extern void df_simulate_find_noclobber_defs (rtx_insn *, bitmap);
- extern void df_simulate_find_defs (rtx_insn *, bitmap);
- extern void df_simulate_defs (rtx_insn *, bitmap);
- extern void df_simulate_uses (rtx_insn *, bitmap);
- extern void df_simulate_initialize_backwards (basic_block, bitmap);
- extern void df_simulate_one_insn_backwards (basic_block, rtx_insn *, bitmap);
- extern void df_simulate_finalize_backwards (basic_block, bitmap);
- extern void df_simulate_initialize_forwards (basic_block, bitmap);
- extern void df_simulate_one_insn_forwards (basic_block, rtx_insn *, bitmap);
- extern void simulate_backwards_to_point (basic_block, regset, rtx);
- extern bool can_move_insns_across (rtx_insn *, rtx_insn *,
- rtx_insn *, rtx_insn *,
- basic_block, regset,
- regset, rtx_insn **);
- extern void df_scan_alloc (bitmap);
- extern void df_scan_add_problem (void);
- extern void df_grow_reg_info (void);
- extern void df_grow_insn_info (void);
- extern void df_scan_blocks (void);
- extern void df_uses_create (rtx *, rtx_insn *, int);
- extern struct df_insn_info * df_insn_create_insn_record (rtx_insn *);
- extern void df_insn_delete (rtx_insn *);
- extern void df_bb_refs_record (int, bool);
- extern bool df_insn_rescan (rtx_insn *);
- extern bool df_insn_rescan_debug_internal (rtx_insn *);
- extern void df_insn_rescan_all (void);
- extern void df_process_deferred_rescans (void);
- extern void df_recompute_luids (basic_block);
- extern void df_insn_change_bb (rtx_insn *, basic_block);
- extern void df_maybe_reorganize_use_refs (enum df_ref_order);
- extern void df_maybe_reorganize_def_refs (enum df_ref_order);
- extern void df_ref_change_reg_with_loc (int, int, rtx);
- extern void df_notes_rescan (rtx_insn *);
- extern void df_hard_reg_init (void);
- extern void df_update_entry_block_defs (void);
- extern void df_update_exit_block_uses (void);
- extern void df_update_entry_exit_and_calls (void);
- extern bool df_hard_reg_used_p (unsigned int);
- extern unsigned int df_hard_reg_used_count (unsigned int);
- extern bool df_regs_ever_live_p (unsigned int);
- extern void df_set_regs_ever_live (unsigned int, bool);
- extern void df_compute_regs_ever_live (bool);
- extern bool df_read_modify_subreg_p (rtx);
- extern void df_scan_verify (void);
- static inline struct df_scan_bb_info *
- df_scan_get_bb_info (unsigned int index)
- {
- if (index < df_scan->block_info_size)
- return &((struct df_scan_bb_info *) df_scan->block_info)[index];
- else
- return NULL;
- }
- static inline struct df_rd_bb_info *
- df_rd_get_bb_info (unsigned int index)
- {
- if (index < df_rd->block_info_size)
- return &((struct df_rd_bb_info *) df_rd->block_info)[index];
- else
- return NULL;
- }
- static inline struct df_lr_bb_info *
- df_lr_get_bb_info (unsigned int index)
- {
- if (index < df_lr->block_info_size)
- return &((struct df_lr_bb_info *) df_lr->block_info)[index];
- else
- return NULL;
- }
- static inline struct df_md_bb_info *
- df_md_get_bb_info (unsigned int index)
- {
- if (index < df_md->block_info_size)
- return &((struct df_md_bb_info *) df_md->block_info)[index];
- else
- return NULL;
- }
- static inline struct df_live_bb_info *
- df_live_get_bb_info (unsigned int index)
- {
- if (index < df_live->block_info_size)
- return &((struct df_live_bb_info *) df_live->block_info)[index];
- else
- return NULL;
- }
- static inline struct df_word_lr_bb_info *
- df_word_lr_get_bb_info (unsigned int index)
- {
- if (index < df_word_lr->block_info_size)
- return &((struct df_word_lr_bb_info *) df_word_lr->block_info)[index];
- else
- return NULL;
- }
- static inline bitmap
- df_get_live_out (basic_block bb)
- {
- gcc_checking_assert (df_lr);
- if (df_live)
- return DF_LIVE_OUT (bb);
- else
- return DF_LR_OUT (bb);
- }
- static inline bitmap
- df_get_live_in (basic_block bb)
- {
- gcc_checking_assert (df_lr);
- if (df_live)
- return DF_LIVE_IN (bb);
- else
- return DF_LR_IN (bb);
- }
- static inline df_ref
- df_get_artificial_defs (unsigned int bb_index)
- {
- return df_scan_get_bb_info (bb_index)->artificial_defs;
- }
- static inline df_ref
- df_get_artificial_uses (unsigned int bb_index)
- {
- return df_scan_get_bb_info (bb_index)->artificial_uses;
- }
- static inline df_ref
- df_single_def (const df_insn_info *info)
- {
- df_ref defs = DF_INSN_INFO_DEFS (info);
- return defs && !DF_REF_NEXT_LOC (defs) ? defs : NULL;
- }
- static inline df_ref
- df_single_use (const df_insn_info *info)
- {
- df_ref uses = DF_INSN_INFO_USES (info);
- return uses && !DF_REF_NEXT_LOC (uses) ? uses : NULL;
- }
- class web_entry_base
- {
- private:
-
- web_entry_base *pred_pvt;
- public:
-
- web_entry_base *pred () { return pred_pvt; }
- void set_pred (web_entry_base *p) { pred_pvt = p; }
-
- web_entry_base *unionfind_root ();
-
- friend bool unionfind_union (web_entry_base *first, web_entry_base *second);
- };
- #endif
|