contrib/gcc/tree-outof-ssa.c

1457 add_value_to_list (temp_expr_table_p tab, value_expr_p *list, int value)
1463       info = new_value_expr (tab);
1475 add_info_to_list (temp_expr_table_p tab, value_expr_p *list, value_expr_p info)
1478     free_value_expr (tab, info);
1513 add_dependence (temp_expr_table_p tab, int version, tree var)
1519   if (bitmap_bit_p (tab->replaceable, i))
1523       while ((info = tab->pending_dependence))
1525 	  tab->pending_dependence = info->next;
1530 	  add_info_to_list (tab, &(tab->partition_dep_list[x]), info);
1531           add_value_to_list (tab,
1532 			     (value_expr_p *)&(tab->version_info[version]), x);
1533 	  bitmap_set_bit (tab->partition_in_use, x);
1538       i = var_to_partition (tab->map, var);
1540       add_value_to_list (tab, &(tab->partition_dep_list[i]), version);
1541       add_value_to_list (tab,
1542 			 (value_expr_p *)&(tab->version_info[version]), i);
1543       bitmap_set_bit (tab->partition_in_use, i);
1552 check_replaceable (temp_expr_table_p tab, tree stmt)
1556   var_map map = tab->map;
1603       add_dependence (tab, version, var);
1605       use_vars = tab->expr_vars[SSA_NAME_VERSION (var)];
1609   tab->expr_vars[version] = def_vars;
1614       add_value_to_list (tab, (value_expr_p *)&(tab->version_info[version]),
1615 			 VIRTUAL_PARTITION (tab));
1616       add_value_to_list (tab,
1617 			 &(tab->partition_dep_list[VIRTUAL_PARTITION (tab)]),
1619       bitmap_set_bit (tab->partition_in_use, VIRTUAL_PARTITION (tab));
1631 finish_expr (temp_expr_table_p tab, int version, bool replace)
1638   for (info = (value_expr_p) tab->version_info[version]; info; info = tmp)
1641       gcc_assert (tab->partition_dep_list[partition]);
1642       tmp = remove_value_from_list (&(tab->partition_dep_list[partition]),
1645       free_value_expr (tab, tmp);
1648       if (!(tab->partition_dep_list[partition]) && replace)
1649         bitmap_clear_bit (tab->partition_in_use, partition);
1652         free_value_expr (tab, info);
1657       tab->saw_replaceable = true;
1658       bitmap_set_bit (tab->replaceable, version);
1662       gcc_assert (!bitmap_bit_p (tab->replaceable, version));
1663       tab->version_info[version] = NULL;
1672 mark_replaceable (temp_expr_table_p tab, tree var)
1676   finish_expr (tab, version, true);
1679   if (tab->version_info[version])
1681       info = (value_expr_p) tab->version_info[version];
1684       info->next = tab->pending_dependence;
1685       tab->pending_dependence = (value_expr_p)tab->version_info[version];
1688   tab->version_info[version] = SSA_NAME_DEF_STMT (var);
1698 kill_expr (temp_expr_table_p tab, int partition, bool clear_bit)
1703   while ((ptr = tab->partition_dep_list[partition]) != NULL)
1704     finish_expr (tab, ptr->value, false);
1707     bitmap_clear_bit (tab->partition_in_use, partition);
1715 kill_virtual_exprs (temp_expr_table_p tab, bool clear_bit)
1717   kill_expr (tab, VIRTUAL_PARTITION (tab), clear_bit);
1725 find_replaceable_in_bb (temp_expr_table_p tab, basic_block bb)
1731   var_map map = tab->map;
1745 	  if (tab->version_info[ver])
1749 	      bitmap vars = tab->expr_vars[ver];
1766 		mark_replaceable (tab, use);
1768 		finish_expr (tab, ver, false);
1776 	  if (partition != NO_PARTITION && tab->partition_dep_list[partition])
1777 	    kill_expr (tab, partition, true);
1782 	check_replaceable (tab, stmt);
1785       while ((p = tab->pending_dependence))
1787 	  tab->pending_dependence = p->next;
1788 	  free_value_expr (tab, p);
1793         kill_virtual_exprs (tab, true);