contrib/gcc/genautomata.c

7057 comb_vect_p (state_ainsn_table_t tab)
7059   return  (2 * VEC_length (vect_el_t, tab->full_vect)
7060            > 5 * VEC_length (vect_el_t, tab->comb_vect));
7067   state_ainsn_table_t tab;
7071   tab = create_node (sizeof (struct state_ainsn_table));
7072   tab->automaton = automaton;
7074   tab->comb_vect  = VEC_alloc (vect_el_t,heap, 10000);
7075   tab->check_vect = VEC_alloc (vect_el_t,heap, 10000);
7077   tab->base_vect  = 0;
7078   VEC_safe_grow (vect_el_t,heap, tab->base_vect,
7083   tab->full_vect  = VEC_alloc (vect_el_t,heap, full_vect_length);
7085     VEC_quick_push (vect_el_t, tab->full_vect, undefined_vect_el_value);
7087   tab->min_base_vect_el_value = 0;
7088   tab->max_base_vect_el_value = 0;
7089   tab->min_comb_vect_el_value = 0;
7090   tab->max_comb_vect_el_value = 0;
7091   return tab;
7097 output_state_ainsn_table (state_ainsn_table_t tab, const char *table_name,
7103   if (!comb_vect_p (tab))
7107       output_range_type (output_file, tab->min_comb_vect_el_value,
7108                          tab->max_comb_vect_el_value);
7110       (*output_full_vect_name_func) (output_file, tab->automaton);
7112       output_vect (tab->full_vect);
7119       output_range_type (output_file, tab->min_comb_vect_el_value,
7120                          tab->max_comb_vect_el_value);
7122       (*output_comb_vect_name_func) (output_file, tab->automaton);
7124       output_vect (tab->comb_vect);
7128       output_range_type (output_file, 0, tab->automaton->achieved_states_num);
7130       (*output_check_vect_name_func) (output_file, tab->automaton);
7132       output_vect (tab->check_vect);
7136       output_range_type (output_file, tab->min_base_vect_el_value,
7137                          tab->max_base_vect_el_value);
7139       (*output_base_vect_name_func) (output_file, tab->automaton);
7141       output_vect (tab->base_vect);
7149 add_vect (state_ainsn_table_t tab, int vect_num, vla_hwint_t vect)
7166   real_vect_length = tab->automaton->insn_equiv_classes_num;
7169     size_t full_base = tab->automaton->insn_equiv_classes_num * vect_num;
7170     if (VEC_length (vect_el_t, tab->full_vect) < full_base + vect_length)
7171       VEC_safe_grow (vect_el_t,heap, tab->full_vect,
7174       VEC_replace (vect_el_t, tab->full_vect, full_base + i,
7178   gcc_assert (VEC_length (vect_el_t, tab->comb_vect)
7179 	      == VEC_length (vect_el_t, tab->check_vect));
7181   comb_vect_els_num = VEC_length (vect_el_t, tab->comb_vect);
7204                 && (VEC_index (vect_el_t, tab->comb_vect,
7238 	  && VEC_index (vect_el_t, tab->comb_vect, vect_index + comb_vect_index)
7249       comb_vect_mask ^= (VEC_index (vect_el_t, tab->comb_vect, i)
7268   no_state_value = tab->automaton->achieved_states_num;
7271       VEC_safe_push (vect_el_t,heap, tab->comb_vect, vect_el);
7272       VEC_safe_push (vect_el_t,heap, tab->check_vect, no_state_value);
7275   gcc_assert (VEC_length (vect_el_t, tab->comb_vect)
7282         gcc_assert (VEC_index (vect_el_t, tab->comb_vect,
7286         if (tab->max_comb_vect_el_value < x)
7287           tab->max_comb_vect_el_value = x;
7288         if (tab->min_comb_vect_el_value > x)
7289           tab->min_comb_vect_el_value = x;
7290 	VEC_replace (vect_el_t, tab->comb_vect,
7292 	VEC_replace (vect_el_t, tab->check_vect,
7295   if (tab->max_comb_vect_el_value < undefined_vect_el_value)
7296     tab->max_comb_vect_el_value = undefined_vect_el_value;
7297   if (tab->min_comb_vect_el_value > undefined_vect_el_value)
7298     tab->min_comb_vect_el_value = undefined_vect_el_value;
7299   if (tab->max_base_vect_el_value < comb_vect_index)
7300     tab->max_base_vect_el_value = comb_vect_index;
7301   if (tab->min_base_vect_el_value > comb_vect_index)
7302     tab->min_base_vect_el_value = comb_vect_index;
7304   VEC_replace (vect_el_t, tab->base_vect, vect_num, comb_vect_index);