state Class Reference

Inheritance diagram for state:

Collaboration diagram for state:

Public Member Functions
void	set_parent (list_head< state > *)
range	release ()
void	push_back (range)
range	remove (range)
void	replace (range, range)
decision *	singleton () const

Data Fields
int	new_cycle_p
reserv_sets_t	reservs
int	unique_num
automaton_t	automaton
arc_t	first_out_arc
unsigned int	num_out_arcs
char	it_was_placed_in_stack_for_NDFA_forming
char	it_was_placed_in_stack_for_DFA_forming
alt_state_t	component_states
int	pass_num
state_t	next_equiv_class_state
int	equiv_class_num_1
int	equiv_class_num_2
state_t	equiv_class_state
unsigned int *	presence_signature
int	order_state_num
int	state_pass_num
int	min_insn_issue_delay
decision *	first
decision *	last

Detailed Description

The following node type describes state automaton.  The state may
be deterministic or non-deterministic.  Non-deterministic state has
several component states which represent alternative cpu units
reservations.  The state also is used for describing a
deterministic reservation of automaton insn.   

Represents one machine state.  For each state the machine tries a list
of decisions, in order, and acts on the first match.  It fails without
further backtracking if no decisions match.   

Member Function Documentation

push_back()

void list_head< decision >::push_back ( range r )

inherited

Add R to the end of the list.   

release()

list_head< decision >::range list_head< decision >::release ( )

inherited

Empty the list and return the previous contents as a range that can
be inserted into other lists.   

remove()

list_head< decision >::range list_head< decision >::remove ( range r )

inherited

Remove R from the list.  R remains valid and can be inserted into
other lists.   

replace()

void list_head< decision >::replace ( range oldr, range newr )

inherited

Replace OLDR with NEWR.  OLDR remains valid and can be inserted into
other lists.   

set_parent()

void state::set_parent ( list_head< state > * )

inline

singleton()

decision * list_head< decision >::singleton ( ) const

inherited

If the list contains a single item, return that item, otherwise return
null.   

Field Documentation

automaton

automaton_t state::automaton

Referenced by create_composed_state(), get_free_state(), and state_shift().

component_states

alt_state_t state::component_states

Referenced by add_state_reservs(), create_composed_state(), first_cycle_unit_presence(), free_state(), get_free_state(), and NDFA_to_DFA().

equiv_class_num_1

int state::equiv_class_num_1

Referenced by init_equiv_class(), set_out_arc_insns_equiv_num(), and state_is_differed().

equiv_class_num_2

int state::equiv_class_num_2

Referenced by set_out_arc_insns_equiv_num(), and state_is_differed().

equiv_class_state

state_t state::equiv_class_state

first

decision * list_head< decision >::first

inherited

first_out_arc

arc_t state::first_out_arc

Referenced by add_arc(), first_out_arc(), get_free_state(), and remove_arc().

it_was_placed_in_stack_for_DFA_forming

char state::it_was_placed_in_stack_for_DFA_forming

Referenced by create_composed_state(), get_free_state(), and NDFA_to_DFA().

it_was_placed_in_stack_for_NDFA_forming

char state::it_was_placed_in_stack_for_NDFA_forming

Referenced by get_free_state(), and make_automaton().

last

decision * list_head< decision >::last

inherited

min_insn_issue_delay

int state::min_insn_issue_delay

new_cycle_p

int state::new_cycle_p

Referenced by output_state(), and set_new_cycle_flags().

next_equiv_class_state

state_t state::next_equiv_class_state

Referenced by free_state(), get_free_state(), and init_equiv_class().

num_out_arcs

unsigned int state::num_out_arcs

Referenced by add_arc(), remove_arc(), and state_is_differed().

order_state_num

int state::order_state_num

Referenced by output_dead_lock_vect(), output_min_issue_delay_table(), output_reserved_units_table(), output_state(), output_state_arcs(), output_trans_table(), and set_order_state_num().

pass_num

int state::pass_num

Referenced by pass_state_graph().

presence_signature

unsigned int* state::presence_signature

Referenced by cache_presence(), and state_is_differed().

reservs

reserv_sets_t state::reservs

Referenced by add_state_reservs(), first_cycle_unit_presence(), get_free_state(), set_state_reserv(), state_shift(), and states_union().

state_pass_num

int state::state_pass_num

unique_num

int state::unique_num

Referenced by alt_state_cmp(), get_free_state(), and state_hash().

---

The documentation for this class was generated from the following files:

• genautomata.cc
• genrecog.cc