+ set_interprocedural_view(rem_ipv);
+}
+
+static void reset_backedges(ir_node *n) {
+ if (is_possible_loop_head(n)) {
+ int rem = get_interprocedural_view();
+
+ set_interprocedural_view(1);
+ clear_backedges(n);
+ set_interprocedural_view(1);
+ clear_backedges(n);
+ set_interprocedural_view(rem);
+ }
+}
+
+
+/*
+static void loop_reset_backedges(ir_loop *l) {
+ int i;
+ reset_backedges(get_loop_node(l, 0));
+ for (i = 0; i < get_loop_n_nodes(l); ++i)
+ set_irn_loop(get_loop_node(l, i), NULL);
+ for (i = 0; i < get_loop_n_sons(l); ++i) {
+ loop_reset_backedges(get_loop_son(l, i));
+ }
+}
+*/
+
+static void loop_reset_node(ir_node *n, void *env) {
+ set_irn_loop(n, NULL);
+ reset_backedges(n);
+}
+
+
+/** Removes all loop information.
+ Resets all backedges */
+void free_loop_information(ir_graph *irg) {
+ /* We can not use this recursion, as the loop might contain
+ illegal nodes by now. Why else would we throw away the
+ representation?
+ if (get_irg_loop(irg)) loop_reset_backedges(get_irg_loop(irg));
+ */
+ irg_walk_graph(irg, loop_reset_node, NULL, NULL);
+ set_irg_loop(irg, NULL);
+ set_irg_loopinfo_state(current_ir_graph, loopinfo_none);
+ /* We cannot free the loop nodes, they are on the obstack. */
+}
+
+
+void free_all_loop_information (void) {
+ int i;
+ int rem = get_interprocedural_view();
+ set_interprocedural_view(1); /* To visit all filter nodes */
+ for (i = 0; i < get_irp_n_irgs(); i++) {
+ free_loop_information(get_irp_irg(i));
+ }
+ set_interprocedural_view(rem);
+}
+
+
+
+
+
+/* Debug stuff *************************************************/
+
+static int test_loop_node(ir_loop *l) {
+ int i, has_node = 0, found_problem = 0;
+ loop_element le;
+
+ assert(l && l->kind == k_ir_loop);
+
+ if (get_loop_n_elements(l) == 0) {
+ printf(" Loop completely empty! "); DDML(l);
+ found_problem = 1;
+ dump_loop(l, "-ha");
+ }
+
+ le = get_loop_element(l, 0);
+ if (*(le.kind) != k_ir_node) {
+ assert(le.kind && *(le.kind) == k_ir_loop);
+ printf(" First loop element is not a node! "); DDML(l);
+ printf(" "); DDML(le.son);
+
+ found_problem = 1;
+ dump_loop(l, "-ha");
+ }
+
+ if ((*(le.kind) == k_ir_node) && !is_possible_loop_head(le.node)) {
+ printf(" Wrong node as head! "); DDML(l);
+ printf(" "); DDMN(le.node);
+ found_problem = 1;
+ dump_loop(l, "-ha");
+ }
+
+ if ((get_loop_depth(l) != 0) &&
+ (*(le.kind) == k_ir_node) && !has_backedges(le.node)) {
+ printf(" Loop head has no backedges! "); DDML(l);
+ printf(" "); DDMN(le.node);
+ found_problem = 1;
+ dump_loop(l, "-ha");
+ }
+
+ /* Recur */
+ has_node = 0;
+ for (i = 0; i < get_loop_n_elements(l); ++i) {
+ le = get_loop_element(l, i);
+ if (*(le.kind) == k_ir_node)
+ has_node++;
+ else
+ if (test_loop_node(le.son)) found_problem = 1;
+ }
+
+ if (has_node == 0) {
+ printf(" Loop has no firm node! "); DDML(l);
+ found_problem = 1;
+ dump_loop(l, "-ha");
+ }
+
+ return found_problem;
+}
+
+/** Prints all loop nodes that
+ * - do not have any firm nodes, only loop sons
+ * - the header is not a Phi, Block or Filter.
+ */
+void find_strange_loop_nodes(ir_loop *l) {
+ int found_problem = 0;
+ printf("\nTesting loop "); DDML(l);
+ found_problem = test_loop_node(l);
+ printf("Finished Test\n\n");
+ if (found_problem) exit(0);
+
+}
+
+/* ------------------------------------------------------------------- */
+/* Simple analyses based on the loop information */
+/* ------------------------------------------------------------------- */
+
+int is_loop_variant(ir_loop *l, ir_loop *b) {
+ int i, n_elems;
+
+ if (l == b) return 1;
+
+ n_elems = get_loop_n_elements(l);
+ for (i = 0; i < n_elems; ++i) {
+ loop_element e = get_loop_element(l, i);
+ if (is_ir_loop(e.kind))
+ if (is_loop_variant(e.son, b))
+ return 1;
+ }
+
+ return 0;
+}
+
+/* Test whether a value is loop invariant.
+ *
+ * @param n The node to be tested.
+ * @param block A block node. We pass the block, not the loop as we must
+ * start off with a block loop to find all proper uses.
+ *
+ * Returns non-zero, if the node n is not changed in the loop block
+ * belongs to or in inner loops of this blocks loop. */
+int is_loop_invariant(ir_node *n, ir_node *block) {
+ ir_loop *l = get_irn_loop(block);
+ ir_node *b = (is_Block(n)) ? n : get_nodes_block(n);
+ return !is_loop_variant(l, get_irn_loop(b));