** iropt --- optimizations intertwined with IR construction.
*/
+#ifdef HAVE_CONFIG_H
+# include <config.h>
+#endif
+
# include "irnode_t.h"
# include "irgraph_t.h"
# include "iropt_t.h"
# include "irvrfy.h"
# include "tv.h"
# include "tune.h"
-
+# include "debinfo.h"
/* Make types visible to allow most efficient access */
# include "entity_t.h"
/* A single entry Block following a single exit Block can be merged,
if it is not the Start block. */
/* !!! Beware, all Phi-nodes of n must have been optimized away.
- This is true, as the block is matured before optimize is called. */
+ This should be true, as the block is matured before optimize is called.
+ But what about Phi-cycles with the Phi0/Id that could not be resolved? */
if (get_Block_n_cfgpreds(n) == 1
&& get_irn_op(get_Block_cfgpred(n, 0)) == op_Jmp) {
n = get_nodes_Block(get_Block_cfgpred(n, 0));
- } else if (n != current_ir_graph->start_block) {
+ } else if ((n != current_ir_graph->start_block) &&
+ (n != current_ir_graph->end_block) ) {
int i;
/* If all inputs are dead, this block is dead too, except if it is
- the start block. This is a step of unreachable code elimination */
+ the start or end block. This is a step of unreachable code
+ elimination */
for (i = 0; i < get_Block_n_cfgpreds(n); i++) {
if (!is_Bad(get_Block_cfgpred(n, i))) break;
}
return n;
}
-/***************** Common Subexpression Elimination *****************/
+/* **************** Common Subexpression Elimination **************** */
/* Compare function for two nodes in the hash table. Gets two */
/* nodes as parameters. */
return (get_irn_symconst_attr(a).num != get_irn_symconst_attr(b).num)
|| (get_irn_symconst_attr(a).tori.typ != get_irn_symconst_attr(b).tori.typ);
case iro_Call:
- return (get_irn_call_attr(a)->kind != get_irn_call_attr(b)->kind)
- || (get_irn_call_attr(a)->arity != get_irn_call_attr(b)->arity);
+ return (get_irn_call_attr(a) != get_irn_call_attr(b));
case iro_Sel:
return (get_irn_sel_attr(a).ent->kind != get_irn_sel_attr(b).ent->kind)
|| (get_irn_sel_attr(a).ent->name != get_irn_sel_attr(b).ent->name)
ir_node *
optimize_in_place (ir_node *n)
{
-
tarval *tv;
ir_node *old_n = n;
tv = computed_value (n);
if (tv != NULL) {
/* evaluation was succesful -- replace the node. */
- return new_Const (get_tv_mode (tv), tv);
+ n = new_Const (get_tv_mode (tv), tv);
+ deb_info_copy(n, old_n, id_from_str("const_eval", 10));
+ return n;
/* xprintf("* optimize: computed node %I\n", n->op->name);*/
}
}
}
/* remove unnecessary nodes */
- //if (get_opt_constant_folding())
+ /*if (get_opt_constant_folding()) */
if (get_opt_constant_folding() || get_irn_op(n) == op_Phi)
n = equivalent_node (n);
/* Now we can verify the node, as it has no dead inputs any more. */
irn_vrfy(n);
- /* Now we have a legal, useful node. Enter it in hash table for cse */
- if (get_opt_cse()) {
- /* aborts ??! set/pset can not handle several hash tables??!
- No, suddenly it works. */
+ /* Now we have a legal, useful node. Enter it in hash table for cse.
+ Blocks should be unique anyways. (Except the successor of start:
+ is cse with the start block!) */
+ if (get_opt_cse() && (get_irn_opcode(n) != iro_Block))
n = identify_remember (current_ir_graph->value_table, n);
- }
return n;
}