#ifndef GCC_DF_H
#define GCC_DF_H
#include "bitmap.h"
#include "basic-block.h"
#define DF_RD 1
#define DF_RU 2
#define DF_LR 4
#define DF_DU_CHAIN 8
#define DF_UD_CHAIN 16
#define DF_REG_INFO 32
#define DF_RD_CHAIN 64
#define DF_RU_CHAIN 128
#define DF_ALL 255
#define DF_HARD_REGS 1024
#define DF_EQUIV_NOTES 2048
#define DF_FOR_REGALLOC 4096
enum df_ref_type {DF_REF_REG_DEF, DF_REF_REG_USE, DF_REF_REG_MEM_LOAD,
DF_REF_REG_MEM_STORE};
#define DF_REF_TYPE_NAMES {"def", "use", "mem load", "mem store"}
struct df_link
{
struct df_link *next;
struct ref *ref;
};
enum df_ref_flags
{
DF_REF_READ_WRITE = 1,
DF_REF_MODE_CHANGE = 2,
DF_REF_STRIPPED = 4,
DF_REF_MEM_OK = 8
};
struct ref
{
rtx reg;
rtx insn;
rtx *loc;
struct df_link *chain;
unsigned int id;
enum df_ref_type type;
enum df_ref_flags flags;
void *data;
};
struct insn_info
{
struct df_link *defs;
struct df_link *uses;
int luid;
};
struct reg_info
{
struct df_link *defs;
struct df_link *uses;
int lifetime;
int n_defs;
int n_uses;
};
struct bb_info
{
bitmap rd_kill;
bitmap rd_gen;
bitmap rd_in;
bitmap rd_out;
bitmap ru_kill;
bitmap ru_gen;
bitmap ru_in;
bitmap ru_out;
bitmap lr_def;
bitmap lr_use;
bitmap lr_in;
bitmap lr_out;
int rd_valid;
int ru_valid;
int lr_valid;
};
struct df
{
int flags;
struct bb_info *bbs;
struct ref **defs;
struct ref **uses;
struct ref **reg_def_last;
struct reg_info *regs;
unsigned int reg_size;
struct insn_info *insns;
unsigned int insn_size;
unsigned int def_id;
unsigned int def_size;
unsigned int n_defs;
unsigned int use_id;
unsigned int use_size;
unsigned int n_uses;
unsigned int n_bbs;
unsigned int n_regs;
unsigned int def_id_save;
unsigned int use_id_save;
bitmap insns_modified;
bitmap bbs_modified;
bitmap all_blocks;
int *dfs_order;
int *rc_order;
int *rts_order;
int *inverse_rc_map;
int *inverse_dfs_map;
int *inverse_rts_map;
};
struct df_map
{
rtx old;
rtx new;
};
#define DF_BB_INFO(REFS, BB) (&REFS->bbs[(BB)->index])
#define DF_REF_REAL_REG(REF) (GET_CODE ((REF)->reg) == SUBREG \
? SUBREG_REG ((REF)->reg) : ((REF)->reg))
#define DF_REF_REGNO(REF) REGNO (DF_REF_REAL_REG (REF))
#define DF_REF_REAL_LOC(REF) (GET_CODE ((REF)->reg) == SUBREG \
? &SUBREG_REG ((REF)->reg) : ((REF)->loc))
#define DF_REF_REG(REF) ((REF)->reg)
#define DF_REF_LOC(REF) ((REF)->loc)
#define DF_REF_BB(REF) (BLOCK_FOR_INSN ((REF)->insn))
#define DF_REF_BBNO(REF) (BLOCK_FOR_INSN ((REF)->insn)->index)
#define DF_REF_INSN(REF) ((REF)->insn)
#define DF_REF_INSN_UID(REF) (INSN_UID ((REF)->insn))
#define DF_REF_TYPE(REF) ((REF)->type)
#define DF_REF_CHAIN(REF) ((REF)->chain)
#define DF_REF_ID(REF) ((REF)->id)
#define DF_REF_FLAGS(REF) ((REF)->flags)
#define DF_REF_DATA(REF) ((REF)->data)
#define DF_REF_REG_DEF_P(REF) (DF_REF_TYPE (REF) == DF_REF_REG_DEF)
#define DF_REF_REG_USE_P(REF) ((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_REGNO_FIRST_DEF(DF, REGNUM) \
((DF)->regs[REGNUM].defs ? (DF)->regs[REGNUM].defs->ref : 0)
#define DF_REGNO_LAST_USE(DF, REGNUM) \
((DF)->regs[REGNUM].uses ? (DF)->regs[REGNUM].uses->ref : 0)
#define DF_REGNO_FIRST_BB(DF, REGNUM) \
(DF_REGNO_FIRST_DEF (DF, REGNUM) \
? DF_REF_BB (DF_REGNO_FIRST_DEF (DF, REGNUM)) : 0)
#define DF_REGNO_LAST_BB(DF, REGNUM) \
(DF_REGNO_LAST_USE (DF, REGNUM) \
? DF_REF_BB (DF_REGNO_LAST_USE (DF, REGNUM)) : 0)
#define DF_INSN_LUID(DF, INSN) ((DF)->insns[INSN_UID (INSN)].luid)
#define DF_INSN_DEFS(DF, INSN) ((DF)->insns[INSN_UID (INSN)].defs)
#define DF_INSN_USES(DF, INSN) ((DF)->insns[INSN_UID (INSN)].uses)
extern struct df *df_init (void);
extern int df_analyze (struct df *, bitmap, int);
extern void df_analyze_subcfg (struct df *, bitmap, int);
extern void df_finish (struct df *);
extern void df_dump (struct df *, int, FILE *);
extern void df_insn_modify (struct df *, basic_block, rtx);
extern rtx df_insn_delete (struct df *, basic_block, rtx);
extern rtx df_pattern_emit_before (struct df *, rtx, basic_block, rtx);
extern rtx df_jump_pattern_emit_after (struct df *, rtx, basic_block, rtx);
extern rtx df_pattern_emit_after (struct df *, rtx, basic_block, rtx);
extern rtx df_insn_move_before (struct df *, basic_block, rtx, basic_block,
rtx);
extern int df_reg_replace (struct df *, bitmap, rtx, rtx);
extern int df_ref_reg_replace (struct df *, struct ref *, rtx, rtx);
extern int df_ref_remove (struct df *, struct ref *);
extern int df_insn_reg_replace (struct df *, basic_block, rtx, rtx, rtx);
extern int df_insn_mem_replace (struct df *, basic_block, rtx, rtx, rtx);
extern struct ref *df_bb_def_use_swap (struct df *, basic_block, rtx, rtx,
unsigned int);
extern basic_block df_regno_bb (struct df *, unsigned int);
extern int df_reg_lifetime (struct df *, rtx);
extern int df_reg_global_p (struct df *, rtx);
extern int df_insn_regno_def_p (struct df *, basic_block, rtx, unsigned int);
extern int df_insn_dominates_all_uses_p (struct df *, basic_block, rtx);
extern int df_insn_dominates_uses_p (struct df *, basic_block, rtx, bitmap);
extern int df_bb_reg_live_start_p (struct df *, basic_block, rtx);
extern int df_bb_reg_live_end_p (struct df *, basic_block, rtx);
extern int df_bb_regs_lives_compare (struct df *, basic_block, rtx, rtx);
extern rtx df_bb_single_def_use_insn_find (struct df *, basic_block, rtx,
rtx);
extern struct ref *df_bb_regno_last_use_find (struct df *, basic_block, unsigned int);
extern struct ref *df_bb_regno_first_def_find (struct df *, basic_block, unsigned int);
extern struct ref *df_bb_regno_last_def_find (struct df *, basic_block, unsigned int);
extern struct ref *df_find_def (struct df *, rtx, rtx);
extern int df_reg_used (struct df *, rtx, rtx);
extern void debug_df_insn (rtx);
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 (struct ref *);
extern void debug_df_chain (struct df_link *);
extern void df_insn_debug (struct df *, rtx, FILE *);
extern void df_insn_debug_regno (struct df *, rtx, FILE *);
enum df_confluence_op
{
DF_UNION,
DF_INTERSECTION
};
enum df_flow_dir
{
DF_FORWARD,
DF_BACKWARD
};
typedef void (*transfer_function) (int, int *, void *, void *,
void *, void *, void *);
enum set_representation
{
SR_SBITMAP,
SR_BITMAP
};
struct dataflow
{
enum set_representation repr;
void **gen, **kill;
void **in, **out;
enum df_flow_dir dir;
enum df_confluence_op conf_op;
unsigned n_blocks;
int *order;
transfer_function transfun;
void *data;
};
extern void iterative_dataflow (struct dataflow *);
extern bool read_modify_subreg_p (rtx);
#endif