valtrack.h File Reference

Go to the source code of this file.

Data Structures
struct	dead_debug_global_entry
struct	dead_debug_hash_descr
struct	dead_debug_global
struct	dead_debug_use
struct	dead_debug_local

Enumerations
enum	debug_temp_where { DEBUG_TEMP_BEFORE_WITH_REG = -1, DEBUG_TEMP_BEFORE_WITH_VALUE = 0, DEBUG_TEMP_AFTER_WITH_REG = 1, DEBUG_TEMP_AFTER_WITH_REG_FORCE = 2 }

Functions
void	dead_debug_global_init (struct dead_debug_global *, bitmap)
void	dead_debug_global_finish (struct dead_debug_global *, bitmap)
void	dead_debug_local_init (struct dead_debug_local *, bitmap, struct dead_debug_global *)
void	dead_debug_local_finish (struct dead_debug_local *, bitmap)
void	dead_debug_add (struct dead_debug_local *, df_ref, unsigned int)
int	dead_debug_insert_temp (struct dead_debug_local *, unsigned int uregno, rtx insn, enum debug_temp_where)
void	propagate_for_debug (rtx, rtx, rtx, rtx, basic_block)

---

Enumeration Type Documentation

enum debug_temp_where

This type controls the behavior of dead_debug_insert_temp WRT
   UREGNO and INSN.   

Enumerator:

DEBUG_TEMP_BEFORE_WITH_REG
DEBUG_TEMP_BEFORE_WITH_VALUE
DEBUG_TEMP_AFTER_WITH_REG
DEBUG_TEMP_AFTER_WITH_REG_FORCE

---

Function Documentation

void dead_debug_add	(	struct dead_debug_local *	,
		df_ref	,
		unsigned	int
	)

void dead_debug_global_finish	(	struct dead_debug_global *	,
		bitmap
	)

void dead_debug_global_init	(	struct dead_debug_global *	,
		bitmap
	)

int dead_debug_insert_temp	(	struct dead_debug_local *	debug,
		unsigned int	uregno,
		rtx	insn,
		enum debug_temp_where	where
	)

If UREGNO is referenced by any entry in DEBUG, emit a debug insn
   before or after INSN (depending on WHERE), that binds a (possibly
   global) debug temp to the widest-mode use of UREGNO, if WHERE is
   *_WITH_REG, or the value stored in UREGNO by INSN otherwise, and
   replace all uses of UREGNO in DEBUG with uses of the debug temp.
   INSN must be where UREGNO dies, if WHERE is *_BEFORE_*, or where it
   is set otherwise.  Return the number of debug insns emitted.   

References bitmap_bit_p(), bitmap_clear_bit(), bitmap_set_bit(), cleanup_auto_inc_dec(), dead_debug_global_find(), dead_debug_reset_uses(), DEBUG_TEMP_AFTER_WITH_REG, DEBUG_TEMP_AFTER_WITH_REG_FORCE, DEBUG_TEMP_BEFORE_WITH_VALUE, dead_debug_global_entry::dtemp, emit_debug_insn_after(), emit_debug_insn_before(), gen_lowpart_SUBREG(), dead_debug_local::global, dead_debug_local::head, lowpart_subreg(), make_debug_expr_from_rtl(), dead_debug_use::next, dead_debug_global_entry::reg, regno_reg_rtx, subreg_lowpart_p(), dead_debug_local::to_rescan, dead_debug_use::use, dead_debug_global::used, dead_debug_local::used, and VAR_INIT_STATUS_INITIALIZED.

Referenced by dce_process_block(), dead_debug_promote_uses(), df_create_unused_note(), df_note_bb_compute(), df_set_unused_notes_for_mw(), and word_dce_process_block().

void dead_debug_local_finish	(	struct dead_debug_local *	,
		bitmap
	)

void dead_debug_local_init	(	struct dead_debug_local *	debug,
		bitmap	used,
		struct dead_debug_global *	global
	)

Initialize DEBUG to an empty list, and clear USED, if given.  Link
   back to GLOBAL, if given, and bring in used bits from it.   

References bitmap_clear(), bitmap_copy(), dead_debug_local::global, dead_debug_local::head, dead_debug_local::to_rescan, dead_debug_global::used, and dead_debug_local::used.

Referenced by dce_process_block(), df_note_bb_compute(), and word_dce_process_block().

void propagate_for_debug	(	rtx	insn,
		rtx	last,
		rtx	dest,
		rtx	src,
		basic_block	this_basic_block
	)

Replace all the occurrences of DEST with SRC in DEBUG_INSNs between INSN
   and LAST, not including INSN, but including LAST.  Also stop at the end
   of THIS_BASIC_BLOCK.   

References rtx_subst_pair::adjusted, df_insn_rescan(), gen_lowpart_for_debug(), rtl_hooks::gen_lowpart_no_emit, propagate_for_debug_subst(), simplify_replace_fn_rtx(), and rtx_subst_pair::to.

Referenced by try_combine().