Added verifying for irn idx map

[libfirm] / ir / ir / iropt_dbg.h

diff --git a/ir/ir/iropt_dbg.h b/ir/ir/iropt_dbg.h
index 4460e1f..7d0d5f7 100644 (file)
--- a/ir/ir/iropt_dbg.h
+++ b/ir/ir/iropt_dbg.h
@@ -153,7 +153,7 @@
   } while(0)
 
 /**
- * Merge the debuig info due to a Phi optimization.
+ * Merge the debug info due to a Phi optimization.
  * A Phi node was replaced by one of its input (the only meaningful)
  *
  * @param phi  the Phi node that will be replaced
@@ -166,6 +166,20 @@
   } while(0)
 
 
+/**
+ * Merge the debug info due to a Sync optimization.
+ * A Sync node was replaced by one of its input (the only meaningful)
+ *
+ * @param sync  the Sync node that will be replaced
+ * @param n     in Sync Input that will replace Sync
+ */
+#define DBG_OPT_SYNC(sync, n)                                   \
+  do {                                                          \
+         hook_merge_nodes(&n, 1, &sync, 1, HOOK_OPT_SYNC);               \
+         __dbg_info_merge_sets(&n, 1, &sync, 1, dbg_opt_ssa);        \
+  } while(0)
+
+
 /**
  * Merge the debug info due to Write-after-Write optimization:
  * Store oldst will be removed, because Store st overwrites it.