Test case for historical reasons
[libfirm] / ir / be / beloopana.c
index 65541ae..eb00490 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -72,7 +72,9 @@ static int cmp_loop_info(const void *a, const void *b, size_t size) {
  * @param cls       The register class to compute pressure for.
  * @return The highest register pressure in the given block.
  */
-static unsigned be_compute_block_pressure(be_loopana_t *loop_ana, ir_node *block, const arch_register_class_t *cls) {
+static unsigned be_compute_block_pressure(be_loopana_t *loop_ana,
+               ir_node *block, const arch_register_class_t *cls)
+{
        const be_irg_t   *birg       = loop_ana->birg;
        const arch_env_t *aenv       = be_get_birg_arch_env(birg);
        be_lv_t          *lv         = be_get_birg_liveness(birg);
@@ -138,7 +140,7 @@ static unsigned be_compute_loop_pressure(be_loopana_t *loop_ana, ir_loop *loop,
                }
 
                pressure = MAX(pressure, son_pressure);
-       }
+       }
        DBG((dbg, LEVEL_1, "Done with loop %d, pressure %u for class %s\n", loop->loop_nr, pressure, cls->name));
 
        /* update info in set */
@@ -169,6 +171,11 @@ be_loopana_t *be_new_loop_pressure_cls(be_irg_t *birg,
        DBG((dbg, LEVEL_1, " Computing register pressure for class %s:\n", cls->name));
        DBG((dbg, LEVEL_1, "=====================================================\n", cls->name));
 
+       /* construct control flow loop tree */
+       if (! (get_irg_loopinfo_state(irg) & loopinfo_cf_consistent)) {
+               construct_cf_backedges(irg);
+       }
+
        be_compute_loop_pressure(loop_ana, get_irg_loop(irg), cls);
 
        return loop_ana;
@@ -179,23 +186,33 @@ be_loopana_t *be_new_loop_pressure_cls(be_irg_t *birg,
  * @param birg  The backend irg object
  * @return The loop analysis object.
  */
-be_loopana_t *be_new_loop_pressure(be_irg_t *birg) {
+be_loopana_t *be_new_loop_pressure(be_irg_t *birg,
+                                   const arch_register_class_t *cls)
+{
        ir_graph         *irg      = be_get_birg_irg(birg);
        be_loopana_t     *loop_ana = xmalloc(sizeof(*loop_ana));
        ir_loop          *irg_loop = get_irg_loop(irg);
        const arch_env_t *arch_env = be_get_birg_arch_env(birg);
-       const arch_isa_t *isa      = arch_env->isa;
        int               i;
 
        loop_ana->data = new_set(cmp_loop_info, 16);
        loop_ana->birg = birg;
 
-       for (i = arch_isa_get_n_reg_class(isa) - 1; i >= 0; --i) {
-               const arch_register_class_t *cls = arch_isa_get_reg_class(isa, i);
-               DBG((dbg, LEVEL_1, "\n=====================================================\n", cls->name));
-               DBG((dbg, LEVEL_1, " Computing register pressure for class %s:\n", cls->name));
-               DBG((dbg, LEVEL_1, "=====================================================\n", cls->name));
+       /* construct control flow loop tree */
+       if (! (get_irg_loopinfo_state(irg) & loopinfo_cf_consistent)) {
+               construct_cf_backedges(irg);
+       }
+
+       if (cls != NULL) {
                be_compute_loop_pressure(loop_ana, irg_loop, cls);
+       } else {
+               for (i = arch_env_get_n_reg_class(arch_env) - 1; i >= 0; --i) {
+                       const arch_register_class_t *cls = arch_env_get_reg_class(arch_env, i);
+                       DBG((dbg, LEVEL_1, "\n=====================================================\n", cls->name));
+                       DBG((dbg, LEVEL_1, " Computing register pressure for class %s:\n", cls->name));
+                       DBG((dbg, LEVEL_1, "=====================================================\n", cls->name));
+                       be_compute_loop_pressure(loop_ana, irg_loop, cls);
+               }
        }
 
        return loop_ana;