Try fixing if-conversion in presence of endless loops.

Merge the lower block into the upper block (instead of the other way round), so we do not turn the upper block, which might still be in the DFS stack, into and ID node.

diff --git a/ir/opt/ifconv.c b/ir/opt/ifconv.c
index 0d1307a..7c2185f 100644 (file)
--- a/ir/opt/ifconv.c
+++ b/ir/opt/ifconv.c
@@ -400,7 +400,7 @@ restart:
 
                                if (arity == 2) {
                                        unsigned mark;
-#if 1
+#if 0
                                        DB((dbg, LEVEL_1,  "Welding block %+F and %+F\n", block, mux_block));
                                        /* copy the block-info from the Mux-block to the block before merging */