*
* A critical control flow edge is an edge from a block with several
* control exits to a block with several control entries (See Muchnic
- * p. 407).
+ * p. 407). Exception edges are always ignored.
*
- * @param irg IR Graph
+ * @param irg IR Graph
*/
void remove_critical_cf_edges(ir_graph *irg);
+/** Places an empty basic block on critical control flow edges thereby
+ * removing them.
+ *
+ * A critical control flow edge is an edge from a block with several
+ * control exits to a block with several control entries (See Muchnic
+ * p. 407).
+ *
+ * @param irg IR Graph
+ * @param ignore_exception_edges if non-zero, exception edges will be ignored
+ */
+void remove_critical_cf_edges_ex(ir_graph *irg, int ignore_exception_edges);
+
#endif