+ if (value)
+ libFIRM_opt |= OPT_UNREACHABLE_CODE;
+ else
+ libFIRM_opt &= ~OPT_UNREACHABLE_CODE;
+}
+
+void set_opt_control_flow(int value)
+{
+ set_opt_control_flow_straightening(value);
+ set_opt_control_flow_weak_simplification(value);
+ set_opt_control_flow_strong_simplification(value);
+ set_opt_critical_edges(value);
+}
+
+/* Performs Straightening */
+void set_opt_control_flow_straightening(int value)
+{
+ if (value)
+ libFIRM_opt |= OPT_CONTROL_FLOW_STRAIGHTENING;
+ else
+ libFIRM_opt &= ~OPT_CONTROL_FLOW_STRAIGHTENING;
+}
+
+/* Performs if simplifications in local optimizations. */
+void set_opt_control_flow_weak_simplification(int value)
+{
+ if (value)
+ libFIRM_opt |= OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
+ else
+ libFIRM_opt &= ~OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
+}
+
+/* Performs strong if and loop simplification (in optimize_cf). */
+void set_opt_control_flow_strong_simplification(int value)
+{
+ if (value)
+ libFIRM_opt |= OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
+ else
+ libFIRM_opt &= ~OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
+}
+
+void set_opt_critical_edges(int value)
+{
+ if (value)
+ libFIRM_opt |= OPT_CRITICAL_EDGES;
+ else
+ libFIRM_opt &= ~OPT_CRITICAL_EDGES;
+}
+
+void set_opt_reassociation(int value)
+{
+ if (value)
+ libFIRM_opt |= OPT_REASSOCIATION;
+ else
+ libFIRM_opt &= ~OPT_REASSOCIATION;