Fix some -Wmissing-declarations warnings
[libfirm] / ir / be / betranshlp.c
index 3d423de..07e4991 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2010 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -68,7 +68,7 @@ int be_is_transformed(const ir_node *node)
 static inline ir_node *be_get_transformed_node(ir_node *old_node)
 {
        if (irn_visited(old_node)) {
-               ir_node *new_node = get_irn_link(old_node);
+               ir_node *new_node = (ir_node*)get_irn_link(old_node);
                assert(new_node != NULL);
                return new_node;
        }
@@ -160,8 +160,9 @@ ir_node *be_duplicate_node(ir_node *node)
 
 ir_node *be_transform_node(ir_node *node)
 {
-       ir_op   *op;
-       ir_node *new_node = be_get_transformed_node(node);
+       ir_op             *op;
+       ir_node           *new_node = be_get_transformed_node(node);
+       be_transform_func *transform;
 
        if (new_node != NULL)
                return new_node;
@@ -172,7 +173,7 @@ ir_node *be_transform_node(ir_node *node)
        if (op->ops.generic == NULL) {
                panic("No transform function registered for node %+F.", node);
        }
-       be_transform_func *transform = (be_transform_func *)op->ops.generic;
+       transform = (be_transform_func *)op->ops.generic;
 
        new_node = transform(node);
        assert(new_node != NULL);
@@ -210,7 +211,7 @@ static void fix_loops(ir_node *node)
        changed = 0;
        if (! is_Block(node)) {
                ir_node *block     = get_nodes_block(node);
-               ir_node *new_block = get_irn_link(block);
+               ir_node *new_block = (ir_node*)get_irn_link(block);
 
                if (new_block != NULL) {
                        set_nodes_block(node, new_block);
@@ -224,7 +225,7 @@ static void fix_loops(ir_node *node)
        arity = get_irn_arity(node);
        for (i = 0; i < arity; ++i) {
                ir_node *in = get_irn_n(node, i);
-               ir_node *nw = get_irn_link(in);
+               ir_node *nw = (ir_node*)get_irn_link(in);
 
                if (nw != NULL && nw != in) {
                        set_irn_n(node, i, nw);
@@ -243,7 +244,7 @@ static void fix_loops(ir_node *node)
        arity = get_irn_deps(node);
        for (i = 0; i < arity; ++i) {
                ir_node *in = get_irn_dep(node, i);
-               ir_node *nw = get_irn_link(in);
+               ir_node *nw = (ir_node*)get_irn_link(in);
 
                if (nw != NULL && nw != in) {
                        set_irn_dep(node, i, nw);
@@ -255,7 +256,7 @@ static void fix_loops(ir_node *node)
        }
 
        if (changed) {
-               identify_remember(current_ir_graph->value_table, node);
+               identify_remember(node);
        }
 }
 
@@ -291,7 +292,7 @@ static ir_node *new_be_Anchor(ir_graph *irg)
 
        /* Hack: some places in the code ask the Anchor for its register
           requirements */
-       new_anchor = new_Anchor(irg);
+       new_anchor = new_r_Anchor(irg);
        info = be_get_info(new_anchor);
        info->out_infos = NEW_ARR_D(reg_out_info_t, obst, 1);
        memset(info->out_infos, 0, 1 * sizeof(info->out_infos[0]));
@@ -344,7 +345,7 @@ static void transform_nodes(ir_graph *irg, arch_pretrans_nodes *pre_transform)
 
        /* process worklist (this should transform all nodes in the graph) */
        while (! waitq_empty(env.worklist)) {
-               ir_node *node = waitq_get(env.worklist);
+               ir_node *node = (ir_node*)waitq_get(env.worklist);
                be_transform_node(node);
        }
 
@@ -356,11 +357,10 @@ static void transform_nodes(ir_graph *irg, arch_pretrans_nodes *pre_transform)
                if (anchor == NULL)
                        continue;
 
-               anchor = get_irn_link(anchor);
+               anchor = (ir_node*)get_irn_link(anchor);
                fix_loops(anchor);
                set_irn_n(new_anchor, i, anchor);
        }
-       set_nodes_block(new_anchor, get_irg_anchor(irg, anchor_end_block));
 
        del_waitq(env.worklist);
        free_End(old_end);
@@ -374,7 +374,6 @@ static ir_node *gen_Block(ir_node *node)
 {
        ir_graph *irg             = current_ir_graph;
        dbg_info *dbgi            = get_irn_dbg_info(node);
-       ir_node  *macroblock      = get_Block_MacroBlock(node);
        ir_node  *block;
 
        block = new_ir_node(dbgi, irg, NULL, get_irn_op(node), get_irn_mode(node),
@@ -382,14 +381,6 @@ static ir_node *gen_Block(ir_node *node)
        copy_node_attr(irg, node, block);
        block->node_nr = node->node_nr;
 
-       if (node == macroblock) {
-               /* this node is a macroblock header */
-               set_Block_MacroBlock(block, block);
-       } else {
-               macroblock = be_transform_node(macroblock);
-               set_Block_MacroBlock(block, macroblock);
-       }
-
        /* put the preds in the worklist */
        be_enqueue_preds(node);
 
@@ -444,8 +435,7 @@ void be_transform_graph(ir_graph *irg, arch_pretrans_nodes *func)
        irg_invalidate_phases(irg);
 
        /* create new value table for CSE */
-       del_identities(irg->value_table);
-       irg->value_table = new_identities();
+       new_identities(irg);
 
        /* enter special helper */
        op_Block->ops.generic = (op_func)gen_Block;
@@ -477,3 +467,62 @@ void be_transform_graph(ir_graph *irg, arch_pretrans_nodes *func)
        edges_deactivate(irg);
        edges_activate(irg);
 }
+
+int be_mux_is_abs(ir_node *sel, ir_node *mux_true, ir_node *mux_false)
+{
+       ir_node    *cmp_left;
+       ir_node    *cmp_right;
+       ir_mode    *mode;
+       ir_relation relation;
+
+       if (!is_Cmp(sel))
+               return 0;
+
+       /**
+        * Note further that these optimization work even for floating point
+        * with NaN's because -NaN == NaN.
+        * However, if +0 and -0 is handled differently, we cannot use the Abs/-Abs
+        * transformations.
+        */
+       mode = get_irn_mode(mux_true);
+       if (mode_honor_signed_zeros(mode))
+               return 0;
+
+       /* must be <, <=, >=, > */
+       relation = get_Cmp_relation(sel);
+       if ((relation & ir_relation_less_greater) == 0)
+               return 0;
+
+       if (!ir_is_negated_value(mux_true, mux_false))
+               return 0;
+
+       /* must be x cmp 0 */
+       cmp_right = get_Cmp_right(sel);
+       if (!is_Const(cmp_right) || !is_Const_null(cmp_right))
+               return 0;
+
+       cmp_left = get_Cmp_left(sel);
+       if (cmp_left == mux_false) {
+               if (relation & ir_relation_less) {
+                       return 1;
+               } else {
+                       assert(relation & ir_relation_greater);
+                       return -1;
+               }
+       } else if (cmp_left == mux_true) {
+               if (relation & ir_relation_less) {
+                       return -1;
+               } else {
+                       assert(relation & ir_relation_greater);
+                       return 1;
+               }
+       }
+
+       return 0;
+}
+
+ir_node *be_get_abs_op(ir_node *sel)
+{
+       ir_node *cmp_left = get_Cmp_left(sel);
+       return cmp_left;
+}