Lines Matching refs:automaton
182 struct automaton;
199 typedef struct automaton *automaton_t;
507 struct automaton_decl automaton; member
681 automaton_t automaton; member
803 struct automaton struct
857 automaton_t automaton; member
866 automaton_t automaton; member
903 &(_decl)->decl.automaton; }))
1077 #define DECL_AUTOMATON(d) (&(d)->decl.automaton)
3742 get_free_state (int with_reservs, automaton_t automaton) in get_free_state() argument
3746 gcc_assert (max_cycles_num > 0 && automaton); in get_free_state()
3753 result->automaton = automaton; in get_free_state()
3765 result->automaton = automaton; in get_free_state()
3813 + ((const_state_t) state)->automaton->automaton_order_num); in state_hash()
3824 if (((const_state_t) state_1)->automaton != ((const_state_t) state_2)->automaton) in state_eq_p()
3873 gcc_assert (state1->automaton == state2->automaton); in intersected_state_reservs_p()
3886 gcc_assert (state1->automaton == state2->automaton); in states_union()
3887 result = get_free_state (1, state1->automaton); in states_union()
3908 result = get_free_state (1, state->automaton); in state_shift()
4110 result->automaton = NULL; in get_free_automata_list_el()
4154 + curr_automata_list_el->automaton->automaton_order_num); in automata_list_hash()
4170 if (automata_list_el_1->automaton != automata_list_el_2->automaton) in automata_list_eq_p()
4194 automata_list_add (automaton_t automaton) in automata_list_add() argument
4199 el->automaton = automaton; in automata_list_add()
5353 process_seq_for_forming_states (regexp_t regexp, automaton_t automaton, in process_seq_for_forming_states() argument
5365 == automaton->automaton_order_num) in process_seq_for_forming_states()
5374 (REGEXP_SEQUENCE (regexp)->regexps [i], automaton, curr_cycle) + 1; in process_seq_for_forming_states()
5386 automaton, curr_cycle); in process_seq_for_forming_states()
5405 automaton_t automaton ATTRIBUTE_UNUSED) in finish_forming_alt_state()
5427 process_alts_for_forming_states (regexp_t regexp, automaton_t automaton, in process_alts_for_forming_states() argument
5435 state_being_formed = get_free_state (1, automaton); in process_alts_for_forming_states()
5442 (void) process_seq_for_forming_states (regexp, automaton, 0); in process_alts_for_forming_states()
5443 finish_forming_alt_state (alt_state_being_formed, automaton); in process_alts_for_forming_states()
5453 automaton, 1); in process_alts_for_forming_states()
5459 create_alt_states (automaton_t automaton) in create_alt_states() argument
5463 for (curr_ainsn = automaton->ainsn_list; in create_alt_states()
5472 automaton, 0); in create_alt_states()
5488 form_ainsn_with_same_reservs (automaton_t automaton) in form_ainsn_with_same_reservs() argument
5494 for (curr_ainsn = automaton->ainsn_list; in form_ainsn_with_same_reservs()
5532 form_reservs_matter (automaton_t automaton) in form_reservs_matter() argument
5540 == automaton->corresponding_automaton_decl in form_reservs_matter()
5555 make_automaton (automaton_t automaton) in make_automaton() argument
5565 reserv_sets_t reservs_matter = form_reservs_matter (automaton); in make_automaton()
5568 start_state = insert_state (get_free_state (1, automaton)); in make_automaton()
5569 automaton->start_state = start_state; in make_automaton()
5576 for (ainsn = automaton->ainsn_list; in make_automaton()
5620 add_arc (state, state2, automaton->advance_ainsn); in make_automaton()
5675 state = get_free_state (0, arcs_marked_by_insn->to_state->automaton); in create_composed_state()
5759 NDFA_to_DFA (automaton_t automaton) in NDFA_to_DFA() argument
5769 start_state = automaton->start_state; in NDFA_to_DFA()
5802 add_arc (state, state2, automaton->collapse_ainsn); in NDFA_to_DFA()
5805 add_arc (state, state, automaton->collapse_ainsn); in NDFA_to_DFA()
5834 pass_states (automaton_t automaton, void (*applied_func) (state_t state)) in pass_states() argument
5837 pass_state_graph (automaton->start_state, applied_func); in pass_states()
6094 evaluate_equiv_classes (automaton_t automaton, vec<state_t> *equiv_classes) in evaluate_equiv_classes() argument
6103 pass_states (automaton, add_achieved_state); in evaluate_equiv_classes()
6104 pass_states (automaton, cache_presence); in evaluate_equiv_classes()
6140 merge_states (automaton_t automaton, vec<state_t> equiv_classes) in merge_states() argument
6160 new_state = get_free_state (0, automaton); in merge_states()
6213 if (automaton->start_state == curr_state) in merge_states()
6214 automaton->start_state = curr_state->equiv_class_state; in merge_states()
6253 minimize_DFA (automaton_t automaton) in minimize_DFA() argument
6257 evaluate_equiv_classes (automaton, &equiv_classes); in minimize_DFA()
6258 merge_states (automaton, equiv_classes); in minimize_DFA()
6259 pass_states (automaton, set_new_cycle_flags); in minimize_DFA()
6281 count_states_and_arcs (automaton_t automaton, int *states_num, in count_states_and_arcs() argument
6286 pass_states (automaton, incr_states_and_arcs_nums); in count_states_and_arcs()
6295 build_automaton (automaton_t automaton) in build_automaton() argument
6303 if (automaton->corresponding_automaton_decl == NULL) in build_automaton()
6307 automaton->corresponding_automaton_decl->name); in build_automaton()
6310 make_automaton (automaton); in build_automaton()
6314 count_states_and_arcs (automaton, &states_num, &arcs_num); in build_automaton()
6315 automaton->NDFA_states_num = states_num; in build_automaton()
6316 automaton->NDFA_arcs_num = arcs_num; in build_automaton()
6320 if (automaton->corresponding_automaton_decl == NULL) in build_automaton()
6324 automaton->corresponding_automaton_decl->name); in build_automaton()
6327 NDFA_to_DFA (automaton); in build_automaton()
6331 count_states_and_arcs (automaton, &states_num, &arcs_num); in build_automaton()
6332 automaton->DFA_states_num = states_num; in build_automaton()
6333 automaton->DFA_arcs_num = arcs_num; in build_automaton()
6339 if (automaton->corresponding_automaton_decl == NULL) in build_automaton()
6343 automaton->corresponding_automaton_decl->name); in build_automaton()
6345 minimize_DFA (automaton); in build_automaton()
6349 count_states_and_arcs (automaton, &states_num, &arcs_num); in build_automaton()
6350 automaton->minimal_DFA_states_num = states_num; in build_automaton()
6351 automaton->minimal_DFA_arcs_num = arcs_num; in build_automaton()
6374 enumerate_states (automaton_t automaton) in enumerate_states() argument
6377 pass_states (automaton, set_order_state_num); in enumerate_states()
6378 automaton->achieved_states_num = curr_state_order_num; in enumerate_states()
6471 set_insn_equiv_classes (automaton_t automaton) in set_insn_equiv_classes() argument
6482 for (ainsn = automaton->ainsn_list; ainsn != NULL; ainsn = ainsn->next_ainsn) in set_insn_equiv_classes()
6487 pass_states (automaton, process_state_for_insn_equiv_partition); in set_insn_equiv_classes()
6489 for (ainsn = automaton->ainsn_list; ainsn != NULL; ainsn = ainsn->next_ainsn) in set_insn_equiv_classes()
6493 for (ainsn = automaton->ainsn_list; ainsn != NULL; ainsn = ainsn->next_ainsn) in set_insn_equiv_classes()
6512 automaton->insn_equiv_classes_num = equiv_classes_num; in set_insn_equiv_classes()
6627 create_ainsns (automaton_t automaton) in create_ainsns() argument
6651 automaton->advance_ainsn = curr_ainsn; in create_ainsns()
6653 automaton->collapse_ainsn = curr_ainsn; in create_ainsns()
6657 automaton->ainsn_list = first_ainsn; in create_ainsns()
6704 curr_automaton = XCREATENODE (struct automaton); in create_automata()
6725 curr_automaton = XCREATENODE (struct automaton); in create_automata()
6742 curr_automaton = XCREATENODE (struct automaton); in create_automata()
6954 output_chip_member_name (FILE *f, automaton_t automaton) in output_chip_member_name() argument
6956 if (automaton->corresponding_automaton_decl == NULL) in output_chip_member_name()
6957 fprintf (f, "automaton_state_%d", automaton->automaton_order_num); in output_chip_member_name()
6960 automaton->corresponding_automaton_decl->name); in output_chip_member_name()
6966 output_temp_chip_member_name (FILE *f, automaton_t automaton) in output_temp_chip_member_name() argument
6969 output_chip_member_name (f, automaton); in output_temp_chip_member_name()
6980 output_translate_vect_name (FILE *f, automaton_t automaton) in output_translate_vect_name() argument
6982 if (automaton->corresponding_automaton_decl == NULL) in output_translate_vect_name()
6983 fprintf (f, "translate_%d", automaton->automaton_order_num); in output_translate_vect_name()
6985 fprintf (f, "%s_translate", automaton->corresponding_automaton_decl->name); in output_translate_vect_name()
6990 output_trans_full_vect_name (FILE *f, automaton_t automaton) in output_trans_full_vect_name() argument
6992 if (automaton->corresponding_automaton_decl == NULL) in output_trans_full_vect_name()
6993 fprintf (f, "transitions_%d", automaton->automaton_order_num); in output_trans_full_vect_name()
6996 automaton->corresponding_automaton_decl->name); in output_trans_full_vect_name()
7002 output_trans_comb_vect_name (FILE *f, automaton_t automaton) in output_trans_comb_vect_name() argument
7004 if (automaton->corresponding_automaton_decl == NULL) in output_trans_comb_vect_name()
7005 fprintf (f, "transitions_%d", automaton->automaton_order_num); in output_trans_comb_vect_name()
7008 automaton->corresponding_automaton_decl->name); in output_trans_comb_vect_name()
7014 output_trans_check_vect_name (FILE *f, automaton_t automaton) in output_trans_check_vect_name() argument
7016 if (automaton->corresponding_automaton_decl == NULL) in output_trans_check_vect_name()
7017 fprintf (f, "check_%d", automaton->automaton_order_num); in output_trans_check_vect_name()
7019 fprintf (f, "%s_check", automaton->corresponding_automaton_decl->name); in output_trans_check_vect_name()
7025 output_trans_base_vect_name (FILE *f, automaton_t automaton) in output_trans_base_vect_name() argument
7027 if (automaton->corresponding_automaton_decl == NULL) in output_trans_base_vect_name()
7028 fprintf (f, "base_%d", automaton->automaton_order_num); in output_trans_base_vect_name()
7030 fprintf (f, "%s_base", automaton->corresponding_automaton_decl->name); in output_trans_base_vect_name()
7035 output_min_issue_delay_vect_name (FILE *f, automaton_t automaton) in output_min_issue_delay_vect_name() argument
7037 if (automaton->corresponding_automaton_decl == NULL) in output_min_issue_delay_vect_name()
7038 fprintf (f, "min_issue_delay_%d", automaton->automaton_order_num); in output_min_issue_delay_vect_name()
7041 automaton->corresponding_automaton_decl->name); in output_min_issue_delay_vect_name()
7046 output_dead_lock_vect_name (FILE *f, automaton_t automaton) in output_dead_lock_vect_name() argument
7048 if (automaton->corresponding_automaton_decl == NULL) in output_dead_lock_vect_name()
7049 fprintf (f, "dead_lock_%d", automaton->automaton_order_num); in output_dead_lock_vect_name()
7051 fprintf (f, "%s_dead_lock", automaton->corresponding_automaton_decl->name); in output_dead_lock_vect_name()
7056 output_reserved_units_table_name (FILE *f, automaton_t automaton) in output_reserved_units_table_name() argument
7058 if (automaton->corresponding_automaton_decl == NULL) in output_reserved_units_table_name()
7059 fprintf (f, "reserved_units_%d", automaton->automaton_order_num); in output_reserved_units_table_name()
7062 automaton->corresponding_automaton_decl->name); in output_reserved_units_table_name()
7159 output_state_member_type (FILE *f, automaton_t automaton) in output_state_member_type() argument
7161 output_range_type (f, 0, automaton->achieved_states_num); in output_state_member_type()
7169 automaton_t automaton; in output_chip_definitions() local
7172 for (automaton = description->first_automaton; in output_chip_definitions()
7173 automaton != NULL; in output_chip_definitions()
7174 automaton = automaton->next_automaton) in output_chip_definitions()
7177 output_state_member_type (output_file, automaton); in output_chip_definitions()
7179 output_chip_member_name (output_file, automaton); in output_chip_definitions()
7193 output_translate_vect (automaton_t automaton) in output_translate_vect() argument
7203 translate_vect.quick_push (automaton->insn_equiv_classes_num); in output_translate_vect()
7205 for (ainsn = automaton->ainsn_list; ainsn != NULL; ainsn = ainsn->next_ainsn) in output_translate_vect()
7212 output_range_type (output_file, 0, automaton->insn_equiv_classes_num); in output_translate_vect()
7214 output_translate_vect_name (output_file, automaton); in output_translate_vect()
7237 create_state_ainsn_table (automaton_t automaton) in create_state_ainsn_table() argument
7244 tab->automaton = automaton; in create_state_ainsn_table()
7250 tab->base_vect.safe_grow (automaton->achieved_states_num); in create_state_ainsn_table()
7252 full_vect_length = (automaton->insn_equiv_classes_num in create_state_ainsn_table()
7253 * automaton->achieved_states_num); in create_state_ainsn_table()
7281 (*output_full_vect_name_func) (output_file, tab->automaton); in output_state_ainsn_table()
7293 (*output_comb_vect_name_func) (output_file, tab->automaton); in output_state_ainsn_table()
7299 output_range_type (output_file, 0, tab->automaton->achieved_states_num); in output_state_ainsn_table()
7301 (*output_check_vect_name_func) (output_file, tab->automaton); in output_state_ainsn_table()
7310 (*output_base_vect_name_func) (output_file, tab->automaton); in output_state_ainsn_table()
7337 real_vect_length = tab->automaton->insn_equiv_classes_num; in add_vect()
7340 size_t full_base = tab->automaton->insn_equiv_classes_num * vect_num; in add_vect()
7451 no_state_value = tab->automaton->achieved_states_num; in add_vect()
7549 output_trans_table (automaton_t automaton) in output_trans_table() argument
7555 undefined_vect_el_value = automaton->achieved_states_num; in output_trans_table()
7556 automaton->trans_table = create_state_ainsn_table (automaton); in output_trans_table()
7560 pass_states (automaton, add_states_vect_el); in output_trans_table()
7575 add_vect (automaton->trans_table, in output_trans_table()
7580 (automaton->trans_table, "state transitions", in output_trans_table()
7592 output_min_issue_delay_table (automaton_t automaton) in output_min_issue_delay_table() argument
7605 pass_states (automaton, add_states_vect_el); in output_min_issue_delay_table()
7608 * automaton->insn_equiv_classes_num); in output_min_issue_delay_table()
7613 automaton->max_min_delay = 0; in output_min_issue_delay_table()
7632 * automaton->insn_equiv_classes_num in output_min_issue_delay_table()
7641 for (k = 0; k < automaton->insn_equiv_classes_num; k++) in output_min_issue_delay_table()
7647 * automaton->insn_equiv_classes_num in output_min_issue_delay_table()
7650 * automaton->insn_equiv_classes_num in output_min_issue_delay_table()
7671 automaton->max_min_delay = 0; in output_min_issue_delay_table()
7673 for (ainsn = automaton->ainsn_list; ainsn; ainsn = ainsn->next_ainsn) in output_min_issue_delay_table()
7680 * automaton->insn_equiv_classes_num in output_min_issue_delay_table()
7684 if (automaton->max_min_delay < x) in output_min_issue_delay_table()
7685 automaton->max_min_delay = x; in output_min_issue_delay_table()
7693 output_range_type (output_file, 0, automaton->max_min_delay); in output_min_issue_delay_table()
7695 output_min_issue_delay_vect_name (output_file, automaton); in output_min_issue_delay_table()
7698 if (automaton->max_min_delay < 2) in output_min_issue_delay_table()
7700 else if (automaton->max_min_delay < 4) in output_min_issue_delay_table()
7702 else if (automaton->max_min_delay < 16) in output_min_issue_delay_table()
7706 automaton->min_issue_delay_table_compression_factor = cfactor; in output_min_issue_delay_table()
7733 output_dead_lock_vect (automaton_t automaton) in output_dead_lock_vect() argument
7742 automaton->locked_states = 0; in output_dead_lock_vect()
7744 pass_states (automaton, add_states_vect_el); in output_dead_lock_vect()
7757 automaton->locked_states++; in output_dead_lock_vect()
7762 if (automaton->locked_states == 0) in output_dead_lock_vect()
7769 output_dead_lock_vect_name (output_file, automaton); in output_dead_lock_vect()
7780 output_reserved_units_table (automaton_t automaton) in output_reserved_units_table() argument
7793 pass_states (automaton, add_states_vect_el); in output_reserved_units_table()
7823 output_reserved_units_table_name (output_file, automaton); in output_reserved_units_table()
7838 automaton_t automaton; in output_tables() local
7840 for (automaton = description->first_automaton; in output_tables()
7841 automaton != NULL; in output_tables()
7842 automaton = automaton->next_automaton) in output_tables()
7844 output_translate_vect (automaton); in output_tables()
7845 output_trans_table (automaton); in output_tables()
7846 output_min_issue_delay_table (automaton); in output_tables()
7847 output_dead_lock_vect (automaton); in output_tables()
7848 output_reserved_units_table (automaton); in output_tables()
7937 automaton_t automaton; in output_automata_list_min_issue_delay_code() local
7941 automaton = el->automaton; in output_automata_list_min_issue_delay_code()
7943 output_min_issue_delay_vect_name (output_file, automaton); in output_automata_list_min_issue_delay_code()
7945 (automaton->min_issue_delay_table_compression_factor != 1 in output_automata_list_min_issue_delay_code()
7947 output_translate_vect_name (output_file, automaton); in output_automata_list_min_issue_delay_code()
7950 output_chip_member_name (output_file, automaton); in output_automata_list_min_issue_delay_code()
7951 fprintf (output_file, " * %d", automaton->insn_equiv_classes_num); in output_automata_list_min_issue_delay_code()
7952 if (automaton->min_issue_delay_table_compression_factor == 1) in output_automata_list_min_issue_delay_code()
7957 automaton->min_issue_delay_table_compression_factor); in output_automata_list_min_issue_delay_code()
7960 output_translate_vect_name (output_file, automaton); in output_automata_list_min_issue_delay_code()
7963 output_chip_member_name (output_file, automaton); in output_automata_list_min_issue_delay_code()
7964 fprintf (output_file, " * %d)", automaton->insn_equiv_classes_num); in output_automata_list_min_issue_delay_code()
7967 automaton->min_issue_delay_table_compression_factor, in output_automata_list_min_issue_delay_code()
7968 8 / automaton->min_issue_delay_table_compression_factor, in output_automata_list_min_issue_delay_code()
7969 (1 << (8 / automaton->min_issue_delay_table_compression_factor)) in output_automata_list_min_issue_delay_code()
8020 output_state_member_type (output_file, el->automaton); in output_automata_list_transition_code()
8022 output_temp_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8026 if (comb_vect_p (el->automaton->trans_table)) in output_automata_list_transition_code()
8029 output_trans_base_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8031 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8033 output_translate_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8036 output_trans_check_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8039 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8047 output_temp_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8051 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8054 output_trans_comb_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8060 output_trans_full_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8062 output_translate_vect_name (output_file, el->automaton); in output_automata_list_transition_code()
8065 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8067 el->automaton->insn_equiv_classes_num); in output_automata_list_transition_code()
8069 TEMPORARY_VARIABLE_NAME, el->automaton->achieved_states_num); in output_automata_list_transition_code()
8075 output_temp_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8079 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8090 output_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8092 output_temp_chip_member_name (output_file, el->automaton); in output_automata_list_transition_code()
8239 automaton_t automaton; in output_internal_dead_lock_func() local
8244 for (automaton = description->first_automaton; in output_internal_dead_lock_func()
8245 automaton != NULL; in output_internal_dead_lock_func()
8246 automaton = automaton->next_automaton) in output_internal_dead_lock_func()
8247 if (automaton->locked_states) in output_internal_dead_lock_func()
8250 output_dead_lock_vect_name (output_file, automaton); in output_internal_dead_lock_func()
8252 output_chip_member_name (output_file, automaton); in output_internal_dead_lock_func()
8654 automaton_t automaton; in output_cpu_unit_reservation_p() local
8664 for (automaton = description->first_automaton; in output_cpu_unit_reservation_p()
8665 automaton != NULL; in output_cpu_unit_reservation_p()
8666 automaton = automaton->next_automaton) in output_cpu_unit_reservation_p()
8669 output_reserved_units_table_name (output_file, automaton); in output_cpu_unit_reservation_p()
8671 output_chip_member_name (output_file, automaton); in output_cpu_unit_reservation_p()
8889 output_automaton_name (FILE *f, automaton_t automaton) in output_automaton_name() argument
8891 if (automaton->corresponding_automaton_decl == NULL) in output_automaton_name()
8892 fprintf (f, "#%d", automaton->automaton_order_num); in output_automaton_name()
8894 fprintf (f, "`%s'", automaton->corresponding_automaton_decl->name); in output_automaton_name()
8903 output_automaton_units (automaton_t automaton) in output_automaton_units() argument
8920 == automaton->automaton_order_num)) in output_automaton_units()
9068 automaton_t automaton; in output_automaton_descriptions() local
9070 for (automaton = description->first_automaton; in output_automaton_descriptions()
9071 automaton != NULL; in output_automaton_descriptions()
9072 automaton = automaton->next_automaton) in output_automaton_descriptions()
9075 output_automaton_name (output_description_file, automaton); in output_automaton_descriptions()
9077 output_automaton_units (automaton); in output_automaton_descriptions()
9078 pass_states (automaton, output_state); in output_automaton_descriptions()
9092 automaton_t automaton; in output_statistics() local
9101 for (automaton = description->first_automaton; in output_statistics()
9102 automaton != NULL; in output_statistics()
9103 automaton = automaton->next_automaton) in output_statistics()
9106 output_automaton_name (f, automaton); in output_statistics()
9108 automaton->NDFA_states_num, automaton->NDFA_arcs_num); in output_statistics()
9110 automaton->DFA_states_num, automaton->DFA_arcs_num); in output_statistics()
9111 states_num = automaton->DFA_states_num; in output_statistics()
9115 automaton->minimal_DFA_states_num, in output_statistics()
9116 automaton->minimal_DFA_arcs_num); in output_statistics()
9117 states_num = automaton->minimal_DFA_states_num; in output_statistics()
9120 description->insns_num, automaton->insn_equiv_classes_num); in output_statistics()
9121 fprintf (f, " %d locked states\n", automaton->locked_states); in output_statistics()
9125 (long) automaton->trans_table->comb_vect.length (), in output_statistics()
9126 (long) automaton->trans_table->full_vect.length (), in output_statistics()
9127 (comb_vect_p (automaton->trans_table) in output_statistics()
9131 (long) states_num * automaton->insn_equiv_classes_num, in output_statistics()
9132 automaton->min_issue_delay_table_compression_factor); in output_statistics()
9134 += automaton->trans_table->comb_vect.length (); in output_statistics()
9136 += automaton->trans_table->full_vect.length (); in output_statistics()
9138 += states_num * automaton->insn_equiv_classes_num; in output_statistics()
9140 += automaton->locked_states; in output_statistics()
9304 automaton_t automaton; in check_automata_insn_issues() local
9307 for (automaton = description->first_automaton; in check_automata_insn_issues()
9308 automaton != NULL; in check_automata_insn_issues()
9309 automaton = automaton->next_automaton) in check_automata_insn_issues()
9311 for (ainsn = automaton->ainsn_list; in check_automata_insn_issues()
9315 && ainsn != automaton->collapse_ainsn) in check_automata_insn_issues()
9320 if (automaton->corresponding_automaton_decl != NULL) in check_automata_insn_issues()
9324 automaton->corresponding_automaton_decl->name, in check_automata_insn_issues()
9328 automaton->corresponding_automaton_decl->name, in check_automata_insn_issues()
9361 automaton_t automaton; in form_important_insn_automata_lists() local
9370 for (automaton = description->first_automaton; in form_important_insn_automata_lists()
9371 automaton != NULL; in form_important_insn_automata_lists()
9372 automaton = automaton->next_automaton) in form_important_insn_automata_lists()
9375 pass_states (automaton, add_automaton_state); in form_important_insn_automata_lists()
9401 for (automaton = description->first_automaton; in form_important_insn_automata_lists()
9402 automaton != NULL; in form_important_insn_automata_lists()
9403 automaton = automaton->next_automaton) in form_important_insn_automata_lists()
9404 for (ainsn = automaton->ainsn_list; in form_important_insn_automata_lists()
9410 automata_list_add (automaton); in form_important_insn_automata_lists()