osprey/kg++fe/gnu/ra.c File Reference

#include "config.h"
#include "system.h"
#include "rtl.h"
#include "tm_p.h"
#include "insn-config.h"
#include "recog.h"
#include "reload.h"
#include "integrate.h"
#include "function.h"
#include "regs.h"
#include "obstack.h"
#include "hard-reg-set.h"
#include "basic-block.h"
#include "df.h"
#include "expr.h"
#include "output.h"
#include "toplev.h"
#include "flags.h"
#include "ra.h"

Include dependency graph for ra.c:

Go to the source code of this file.

Functions/Subroutines
static void create_insn_info	PARAMS ((struct df *))
static void free_insn_info	PARAMS ((void))
static void free_all_mem	PARAMS ((struct df *df))
static int one_pass	PARAMS ((struct df *, int))
void *	ra_alloc (size_t size)
void *	ra_calloc (size_t size)
int	hard_regs_count (HARD_REG_SET rs)
rtx	ra_emit_move_insn (rtx x, rtx y)
static void	create_insn_info (struct df *df)
static void	free_insn_info ()
struct web *	find_subweb (struct web *web, rtx reg)
struct web *	find_subweb_2 (struct web *web, unsigned int size_word)
struct web *	find_web_for_subweb_1 (struct web *subweb)
int	hard_regs_intersect_p (HARD_REG_SET *a, HARD_REG_SET *b)
static void	alloc_mem (struct df *df)
static void	free_mem (df)
static void	free_all_mem (struct df *df)
static int	one_pass (struct df *df, int rebuild)
static void	init_ra ()
static void	check_df (struct df *df)
void	reg_alloc ()
Variables
static struct obstack	ra_obstack
sbitmap	igraph
sbitmap	sup_igraph
sbitmap	insns_with_deaths
int	death_insns_max_uid
struct web_part *	web_parts
unsigned int	num_webs
unsigned int	num_subwebs
unsigned int	num_allwebs
struct web **	id2web
struct web *	hardreg2web [FIRST_PSEUDO_REGISTER]
struct web **	def2web
struct web **	use2web
struct move_list *	wl_moves
int	ra_max_regno
short *	ra_reg_renumber
struct df *	df
bitmap *	live_at_end
int	ra_pass
unsigned int	max_normal_pseudo
int	an_unusable_color
struct dlist *	web_lists [(int) LAST_NODE_TYPE]
unsigned int	last_def_id
unsigned int	last_use_id
unsigned int	last_num_webs
int	last_max_uid
sbitmap	last_check_uses
unsigned int	remember_conflicts
int	orig_max_uid
HARD_REG_SET	never_use_colors
HARD_REG_SET	usable_regs [N_REG_CLASSES]
unsigned int	num_free_regs [N_REG_CLASSES]
HARD_REG_SET	hardregs_for_mode [NUM_MACHINE_MODES]
unsigned char	byte2bitcount [256]
unsigned int	debug_new_regalloc = -1
int	flag_ra_biased = 0
int	flag_ra_improved_spilling = 0
int	flag_ra_ir_spilling = 0
int	flag_ra_optimistic_coalescing = 0
int	flag_ra_break_aliases = 0
int	flag_ra_merge_spill_costs = 0
int	flag_ra_spill_every_use = 0
int	flag_ra_dump_notes = 0
int	insn_df_max_uid
struct ra_insn_info *	insn_df
static struct ref **	refs_for_insn_df
static long	ticks_build
static long	ticks_rebuild

---

Function Documentation

static void alloc_mem

(

struct df *

df

)

[static]

Definition at line 368 of file ra.c.

References BITMAP_XMALLOC, create_insn_info(), i, last_basic_block, ra_build_realloc(), and xmalloc().

Referenced by gcse_after_reload_main(), and reg_alloc().

static void check_df

(

struct df *

df

)

[static]

Definition at line 576 of file ra.c.

References abort, b, bitmap_bit_p(), bitmap_clear(), bitmap_set_bit(), BITMAP_XFREE, BITMAP_XMALLOC, DF_INSN_DEFS, DF_INSN_USES, DF_REF_ID, get_insns(), insn, INSN_P, max_reg_num(), df_link::next, NEXT_INSN, df_link::ref, and ui.

Referenced by reg_alloc().

static void create_insn_info

(

struct df *

df

)

[static]

Definition at line 238 of file ra.c.

References abort, ra_insn_info::defs, DF_INSN_DEFS, DF_INSN_USES, DF_REF_REGNO, FIRST_PSEUDO_REGISTER, get_last_insn(), get_max_uid(), ref::insn, INSN_P, INSN_UID, n, df_link::next, ra_insn_info::num_defs, ra_insn_info::num_uses, PREV_INSN, df_link::ref, TEST_HARD_REG_BIT, ra_insn_info::uses, and xcalloc().

Referenced by alloc_mem().

struct web* find_subweb	(	struct web *	web,
		rtx	reg
	)			[read]

Definition at line 302 of file ra.c.

References abort, GET_CODE, GET_MODE, NULL, web::orig_x, SUBREG_BYTE, and web::subreg_next.

Referenced by combine(), parts_to_webs_1(), restore_conflicts_from_coalesce(), and spill_coalescing().

struct web* find_subweb_2	(	struct web *	web,
		unsigned int	size_word
	)			[read]

Definition at line 320 of file ra.c.

References bl, GET_MODE, GET_MODE_SIZE, NULL, web::orig_x, rtx_to_bits(), and web::subreg_next.

Referenced by build_inverse_webs(), conflicts_between_webs(), and parts_to_webs().

struct web* find_web_for_subweb_1

(

struct web *

subweb

)

[read]

Definition at line 340 of file ra.c.

static void free_all_mem

(

struct df *

df

)

[static]

Definition at line 398 of file ra.c.

References BITMAP_XFREE, free(), i, last_basic_block, NULL, obstack_free, ra_build_free_all(), ra_colorize_free_all(), ra_obstack, and unsigned.

Referenced by reg_alloc().

static void free_insn_info

(

)

[static]

Definition at line 288 of file ra.c.

References free(), and NULL.

Referenced by free_mem().

static void free_mem

(

df

)

[static]

Definition at line 387 of file ra.c.

References free_insn_info(), and ra_build_free().

Referenced by gcse_after_reload_main(), and reg_alloc().

int hard_regs_count

(

HARD_REG_SET

rs

)

Definition at line 185 of file ra.c.

References count.

Referenced by combine(), init_one_web_common(), init_ra(), and remember_web_was_spilled().

static int hard_regs_intersect_p	(	HARD_REG_SET *	a,
		HARD_REG_SET *	b
	)

Definition at line 352 of file ra.c.

Referenced by calc_live_regs(), extended_coalesce_2(), insert_coalesced_conflicts(), moves_to_webs(), push_regs(), record_conflict(), sh_expand_epilogue(), sort_and_combine_web_pairs(), and web_conflicts_p().

static void init_ra

(

)

[static]

Definition at line 462 of file ra.c.

References abort, AND_COMPL_HARD_REG_SET, ARG_POINTER_REGNUM, ARRAY_SIZE, CAN_ELIMINATE, CLEAR_HARD_REG_SET, compute_bb_for_insn(), COPY_HARD_REG_SET, count, current_function_calls_alloca, ELIMINABLE_REGS, EXIT_IGNORE_STACK, FIRST_PSEUDO_REGISTER, fixed_reg_set, flag_omit_frame_pointer, FRAME_POINTER_REGNUM, FRAME_POINTER_REQUIRED, gcc_obstack_init, get_max_uid(), HARD_FRAME_POINTER_REGNUM, HARD_REG_SET, HARD_REGNO_MODE_OK, HARD_REGNO_NREGS, hard_regs_count(), i, N_REG_CLASSES, NULL, NUM_MACHINE_MODES, Pmode, ra_colorize_init(), ra_obstack, reg_class_contents, sbitmap_alloc(), sbitmap_ones(), SET_HARD_REG_BIT, size, STACK_POINTER_REGNUM, TEST_HARD_REG_BIT, and unsigned.

Referenced by reg_alloc().

static int one_pass	(	struct df *	df,
		int	rebuild
	)			[static]

Definition at line 419 of file ra.c.

References actual_spill(), build_i_graph(), clock, dump_igraph_machine(), get_max_uid(), ra_colorize_graph(), SPILLED, and WEBS.

Referenced by reg_alloc().

static int one_pass PARAMS

(

(struct df *, int)

)

[static]

static void free_all_mem PARAMS

(

(struct df *df)

)

[static]

static void free_insn_info PARAMS

(

(void)

)

[static, read]

Definition at line 77 of file cplus-dem.c.

static void create_insn_info PARAMS

(

(struct df *)

)

[static]

void* ra_alloc

(

size_t

size

)

Definition at line 165 of file ra.c.

References obstack_alloc, and ra_obstack.

Referenced by add_conflict_edge(), add_web_pair_cost(), copy_conflict_list(), copy_web(), get_sub_conflicts(), moves_to_webs(), remember_move(), and remember_slot().

void* ra_calloc

(

size_t

size

)

Definition at line 174 of file ra.c.

References memset, obstack_alloc, p, and ra_obstack.

Referenced by build_worklists(), init_one_web_common(), and remember_move().

rtx ra_emit_move_insn	(	rtx	x,
		rtx	y
	)

Definition at line 220 of file ra.c.

References emit_insn(), emit_move_insn(), gen_move_insn(), GET_MODE, GET_MODE_CLASS, mode, and MODE_CC.

Referenced by emit_loads(), insert_stores(), and rewrite_program().

void reg_alloc

(

void

)

Definition at line 647 of file ra.c.

Referenced by main(), and rest_of_compilation().

---

Variable Documentation

int an_unusable_color

Definition at line 131 of file ra.c.

Referenced by colorize_one_web(), emit_colors(), spill_is_free(), spill_same_color_p(), and update_spill_colors().

unsigned char byte2bitcount[256]

Definition at line 149 of file ra.c.

int death_insns_max_uid

Definition at line 113 of file ra.c.

Referenced by actual_spill(), and live_out_1().

unsigned int debug_new_regalloc = -1

Definition at line 151 of file ra.c.

Referenced by dump_constraints(), dump_graph_cost(), dump_igraph(), dump_igraph_machine(), dump_ra(), and VPARAMS().

struct web** def2web

Definition at line 122 of file ra.c.

Referenced by conflicts_between_webs(), delete_useless_defs(), detect_webs_set_in_cond_jump(), emit_colors(), extended_coalesce_2(), handle_asm_insn(), insert_stores(), moves_to_webs(), parts_to_webs(), parts_to_webs_1(), ra_build_free_all(), ra_build_realloc(), and rewrite_program2().

struct df* df

Definition at line 127 of file ra.c.

Referenced by Perform_Interprocedural_Analysis().

int flag_ra_biased = 0

Definition at line 152 of file ra.c.

Referenced by colorize_one_web(), and get_biased_reg().

int flag_ra_break_aliases = 0

Definition at line 156 of file ra.c.

Referenced by default_spill_heuristic(), and ra_colorize_graph().

int flag_ra_dump_notes = 0

Definition at line 159 of file ra.c.

Referenced by ra_print_rtl_with_bb().

int flag_ra_improved_spilling = 0

Definition at line 153 of file ra.c.

Referenced by actual_spill().

int flag_ra_ir_spilling = 0

Definition at line 154 of file ra.c.

Referenced by rewrite_program2().

int flag_ra_merge_spill_costs = 0

Definition at line 157 of file ra.c.

Referenced by combine(), and recolor_spills().

int flag_ra_optimistic_coalescing = 0

Definition at line 155 of file ra.c.

Referenced by colorize_one_web(), moves_to_webs(), and ra_colorize_graph().

int flag_ra_spill_every_use = 0

Definition at line 158 of file ra.c.

Referenced by rewrite_program().

struct web* hardreg2web[FIRST_PSEUDO_REGISTER]

Definition at line 121 of file ra.c.

Referenced by break_precolored_alias(), combine(), handle_asm_insn(), insert_coalesced_conflicts(), ok(), parts_to_webs(), and parts_to_webs_1().

HARD_REG_SET hardregs_for_mode[NUM_MACHINE_MODES]

Definition at line 148 of file ra.c.

Referenced by prune_hardregs_for_mode().

struct web** id2web

Definition at line 120 of file ra.c.

Referenced by build_worklists(), check_colors(), dump_graph_cost(), dump_web_conflicts(), parts_to_webs(), ra_build_free(), and recolor_spills().

sbitmap igraph

Definition at line 105 of file ra.c.

Referenced by break_precolored_alias(), dump_igraph(), dump_web_conflicts(), ok(), parts_to_webs(), ra_build_free(), record_conflict(), reset_conflicts(), and restore_conflicts_from_coalesce().

struct ra_insn_info* insn_df

Definition at line 231 of file ra.c.

Referenced by extended_coalesce_2(), insert_stores(), live_out_1(), livethrough_conflicts_bb(), and rewrite_program2().

int insn_df_max_uid

Definition at line 230 of file ra.c.

Referenced by insert_stores().

sbitmap insns_with_deaths

Definition at line 112 of file ra.c.

Referenced by actual_spill(), detect_spill_temps(), live_out_1(), and livethrough_conflicts_bb().

sbitmap last_check_uses

Definition at line 140 of file ra.c.

Referenced by build_web_parts_and_conflicts(), detect_web_parts_to_rebuild(), mark_refs_for_checking(), ra_build_free_all(), and ra_build_realloc().

unsigned int last_def_id

Definition at line 136 of file ra.c.

Referenced by init_web_parts(), parts_to_webs_1(), and ra_build_realloc().

int last_max_uid

Definition at line 139 of file ra.c.

Referenced by insert_stores(), ra_build_realloc(), and update_regnos_mentioned().

unsigned int last_num_webs

Definition at line 138 of file ra.c.

Referenced by parts_to_webs(), and parts_to_webs_1().

unsigned int last_use_id

Definition at line 137 of file ra.c.

Referenced by build_web_parts_and_conflicts(), init_web_parts(), parts_to_webs_1(), and ra_build_realloc().

bitmap* live_at_end

Definition at line 128 of file ra.c.

Referenced by live_in_edge(), propagate_one_insn(), and rewrite_program2().

unsigned int max_normal_pseudo

Definition at line 130 of file ra.c.

Referenced by build_worklists(), check_colors(), colorize_one_web(), combine(), copy_insn_p(), dump_igraph(), emit_colors(), emit_loads(), extended_coalesce_2(), and remember_web_was_spilled().

HARD_REG_SET never_use_colors

Definition at line 145 of file ra.c.

Referenced by init_one_web_common(), ok(), reloads_to_loads(), remember_web_was_spilled(), and rewrite_program2().

unsigned int num_allwebs

Definition at line 119 of file ra.c.

Referenced by parts_to_webs().

unsigned int num_free_regs[N_REG_CLASSES]

Definition at line 147 of file ra.c.

unsigned int num_subwebs

Definition at line 118 of file ra.c.

Referenced by build_worklists(), check_colors(), dump_igraph_machine(), emit_colors(), parts_to_webs(), ra_build_free(), recolor_spills(), and reset_conflicts().

unsigned int num_webs

Definition at line 117 of file ra.c.

Referenced by add_conflict_edge(), add_web_pair_cost(), aggressive_coalesce(), break_precolored_alias(), build_worklists(), check_colors(), check_uncoalesced_moves(), coalesce(), detect_web_parts_to_rebuild(), dump_graph_cost(), dump_igraph(), dump_igraph_machine(), dump_web_conflicts(), emit_colors(), extended_coalesce_2(), init_web_parts(), insert_coalesced_conflicts(), ok(), parts_to_webs(), parts_to_webs_1(), recolor_spills(), reset_conflicts(), reset_lists(), restore_conflicts_from_coalesce(), rewrite_program2(), sort_and_combine_web_pairs(), spill_coalescing(), spill_coalprop(), spill_prop_savings(), spill_propagation(), try_recolor_web(), and union_web_part_roots().

int orig_max_uid

Definition at line 143 of file ra.c.

Referenced by detect_remat_webs(), and detect_spill_temps().

int ra_max_regno

Definition at line 125 of file ra.c.

Referenced by dump_constraints(), emit_colors(), and setup_renumber().

struct obstack ra_obstack [static]

Definition at line 85 of file ra.c.

Referenced by free_all_mem(), init_ra(), ra_alloc(), and ra_calloc().

int ra_pass

Definition at line 129 of file ra.c.

Referenced by build_worklists(), conflicts_between_webs(), parts_to_webs_1(), and rewrite_program2().

short* ra_reg_renumber

Definition at line 126 of file ra.c.

Referenced by dump_constraints(), emit_colors(), and setup_renumber().

struct ref** refs_for_insn_df [static]

Definition at line 232 of file ra.c.

unsigned int remember_conflicts

Definition at line 141 of file ra.c.

Referenced by add_conflict_edge().

sbitmap sup_igraph

Definition at line 106 of file ra.c.

Referenced by add_conflict_edge(), aggressive_coalesce(), break_precolored_alias(), check_uncoalesced_moves(), coalesce(), extended_coalesce_2(), insert_coalesced_conflicts(), ok(), parts_to_webs(), ra_build_free(), reset_conflicts(), restore_conflicts_from_coalesce(), sort_and_combine_web_pairs(), spill_coalescing(), and spill_prop_savings().

long ticks_build [static]

Definition at line 412 of file ra.c.

long ticks_rebuild [static]

Definition at line 413 of file ra.c.

HARD_REG_SET usable_regs[N_REG_CLASSES]

Definition at line 146 of file ra.c.

Referenced by colorize_one_web(), handle_asm_insn(), and Usable_Registers().

struct web** use2web

Definition at line 123 of file ra.c.

Referenced by emit_colors(), extended_coalesce_2(), handle_asm_insn(), moves_to_webs(), parts_to_webs_1(), ra_build_free_all(), ra_build_realloc(), and rewrite_program2().

struct dlist* web_lists[(int) LAST_NODE_TYPE]

Definition at line 134 of file ra.c.

struct web_part* web_parts

Definition at line 115 of file ra.c.

Referenced by build_web_parts_and_conflicts(), conflicts_between_webs(), connect_rmw_web_parts(), detect_web_parts_to_rebuild(), init_web_parts(), live_out_1(), livethrough_conflicts_bb(), mark_refs_for_checking(), parts_to_webs(), parts_to_webs_1(), ra_build_free(), ra_build_free_all(), and ra_build_realloc().

struct move_list* wl_moves

Definition at line 124 of file ra.c.

Referenced by build_i_graph(), build_worklists(), check_uncoalesced_moves(), delete_moves(), dump_igraph(), moves_to_webs(), ra_build_free(), remember_move(), spill_coalescing(), spill_prop_insert(), and spill_prop_savings().