local_optimize() now kills unrteachable code if dominance info is available.
[libfirm] / ir / ir / irflag.c
index fdfbd2d..f8b2f01 100644 (file)
@@ -11,7 +11,7 @@
  */
 
 #ifdef HAVE_CONFIG_H
-# include <config.h>
+# include "config.h"
 #endif
 
 #include "firm_common.h"
 #define DISABLE(a)  0
 
 optimization_state_t libFIRM_opt =
-  ENABLE(OPT_OPTIMIZED)                          |
-  ENABLE(OPT_CSE)                                |
-  DISABLE(OPT_GLOBAL_CSE)                        |
-  ENABLE(OPT_CONSTANT_FOLDING)                   |
-  ENABLE(OPT_UNREACHABLE_CODE)                   |
-  ENABLE(OPT_CONTROL_FLOW_STRAIGHTENING)         |
-  ENABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION)   |
-  ENABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION) |
-  ENABLE(OPT_CRITICAL_EDGES)                     |
-  ENABLE(OPT_DEAD_NODE_ELIMINATION)              |
-  ENABLE(OPT_REASSOCIATION)                      |
-  ENABLE(OPT_INLINE)                             |
-  ENABLE(OPT_DYN_METH_DISPATCH)                  |
-  ENABLE(OPT_NORMALIZE);
+  ENABLE(OPT_OPTIMIZED)                           |
+  ENABLE(OPT_CSE)                                 |
+  DISABLE(OPT_GLOBAL_CSE)                         |
+  ENABLE(OPT_LOOP_UNROLLING)                      |
+  ENABLE(OPT_STRENGTH_RED)                        |
+  ENABLE(OPT_CONSTANT_FOLDING)                    |
+  ENABLE(OPT_REDUNDANT_LOADSTORE)                 |
+  ENABLE(OPT_UNREACHABLE_CODE)                    |
+  ENABLE(OPT_CONTROL_FLOW_STRAIGHTENING)          |
+  ENABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION)    |
+  ENABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION)  |
+  ENABLE(OPT_CRITICAL_EDGES)                      |
+  ENABLE(OPT_DEAD_NODE_ELIMINATION)               |
+  ENABLE(OPT_DEAD_METHOD_ELIMINATION)             |
+  ENABLE(OPT_REASSOCIATION)                       |
+  ENABLE(OPT_INLINE)                              |
+  ENABLE(OPT_DYN_METH_DISPATCH)                   |
+  ENABLE(OPT_CLASS_CASTS)                         |
+  DISABLE(OPT_SUPPRESS_DOWNCAST_OPT)              |
+  ENABLE(OPT_NORMALIZE)                           |
+  ENABLE(OPT_TAIL_RECURSION)                      |
+  ENABLE(OPT_PRECISE_EXC_CONTEXT)                 |
+  DISABLE(OPT_FRAGILE_OPS)                        |
+  ENABLE(OPT_IF_CONVERSION)                       |
+  ENABLE(OPT_REAL_FUNC_CALL)                      |
+  DISABLE(OPT_REMOVE_CONFIRM)                     |
+  ENABLE(OPT_SCALAR_REPLACEMENT)                  |
+  0;
+
+optimization_state_t libFIRM_verb =
+  DISABLE(OPT_OPTIMIZED)                          |
+  DISABLE(OPT_CSE)                                |
+  DISABLE(OPT_GLOBAL_CSE)                         |
+  DISABLE(OPT_LOOP_UNROLLING)                     |
+  DISABLE(OPT_STRENGTH_RED)                       |
+  DISABLE(OPT_CONSTANT_FOLDING)                   |
+  DISABLE(OPT_REDUNDANT_LOADSTORE)                |
+  DISABLE(OPT_UNREACHABLE_CODE)                   |
+  DISABLE(OPT_CONTROL_FLOW_STRAIGHTENING)         |
+  DISABLE(OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION)   |
+  DISABLE(OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION) |
+  DISABLE(OPT_CRITICAL_EDGES)                     |
+  DISABLE(OPT_DEAD_NODE_ELIMINATION)              |
+  DISABLE(OPT_DEAD_METHOD_ELIMINATION)            |
+  DISABLE(OPT_REASSOCIATION)                      |
+  DISABLE(OPT_INLINE)                             |
+  DISABLE(OPT_DYN_METH_DISPATCH)                  |
+  DISABLE(OPT_CLASS_CASTS)                        |
+  DISABLE(OPT_NORMALIZE)                          |
+  DISABLE(OPT_TAIL_RECURSION)                     |
+  DISABLE(OPT_PRECISE_EXC_CONTEXT)                |
+  DISABLE(OPT_FRAGILE_OPS)                        |
+  DISABLE(OPT_IF_CONVERSION)                      |
+  DISABLE(OPT_REAL_FUNC_CALL)                     |
+  DISABLE(OPT_REMOVE_CONFIRM)                     |
+  DISABLE(OPT_SCALAR_REPLACEMENT)                 |
+  0;
+
+/** The Firm verbosity level */
+int firm_verbosity_level;
 
 /* set the flags with set_flagname, get the flag with get_flagname */
 void set_opt_cse (int value)
@@ -47,6 +93,10 @@ void set_opt_cse (int value)
     libFIRM_opt &= ~OPT_CSE;
 }
 
+int (get_opt_cse)(void) {
+  return _get_opt_cse();
+}
+
 void set_opt_global_cse(int value)
 {
   if (value)
@@ -55,6 +105,38 @@ void set_opt_global_cse(int value)
     libFIRM_opt &= ~OPT_GLOBAL_CSE;
 }
 
+void set_opt_loop_unrolling (int value)
+{
+  if (value)
+    libFIRM_opt |= OPT_LOOP_UNROLLING;
+  else
+    libFIRM_opt &= ~OPT_LOOP_UNROLLING;
+}
+
+void set_opt_loop_unrolling_verbose (int value)
+{
+  if (value)
+    libFIRM_verb |= OPT_LOOP_UNROLLING;
+  else
+    libFIRM_verb &= ~OPT_LOOP_UNROLLING;
+}
+
+void set_opt_strength_red (int value)
+{
+  if (value)
+    libFIRM_opt |= OPT_STRENGTH_RED;
+  else
+    libFIRM_opt &= ~OPT_STRENGTH_RED;
+}
+
+void set_opt_strength_red_verbose (int value)
+{
+  if (value)
+    libFIRM_verb |= OPT_STRENGTH_RED;
+  else
+    libFIRM_verb &= ~OPT_STRENGTH_RED;
+}
+
 void
 set_opt_constant_folding(int value)
 {
@@ -64,6 +146,14 @@ set_opt_constant_folding(int value)
     libFIRM_opt &= ~OPT_CONSTANT_FOLDING;
 }
 
+void
+set_opt_redundant_LoadStore(int value) {
+  if (value)
+    libFIRM_opt |= OPT_REDUNDANT_LOADSTORE;
+  else
+    libFIRM_opt &= ~OPT_REDUNDANT_LOADSTORE;
+}
+
 void
 set_opt_unreachable_code(int value)
 {
@@ -132,6 +222,20 @@ void set_opt_dead_node_elimination(int value)
     libFIRM_opt &= ~OPT_DEAD_NODE_ELIMINATION;
 }
 
+void set_opt_dead_method_elimination (int value) {
+  if (value)
+    libFIRM_opt |= OPT_DEAD_METHOD_ELIMINATION;
+  else
+    libFIRM_opt &= ~OPT_DEAD_METHOD_ELIMINATION;
+}
+
+void set_opt_dead_method_elimination_verbose (int value) {
+  if (value)
+    libFIRM_verb |= OPT_DEAD_METHOD_ELIMINATION;
+  else
+    libFIRM_verb &= ~OPT_DEAD_METHOD_ELIMINATION;
+}
+
 void set_optimize(int value)
 {
   if (value)
@@ -145,6 +249,18 @@ int get_optimize(void)
   return get_opt_optimize();
 }
 
+
+void set_firm_verbosity (int value) {
+  firm_verbosity_level = value;
+}
+
+int  (get_firm_verbosity) (void) {
+  return _get_firm_verbosity();
+}
+
+
+
+/* Enable/Disables inlining. */
 void set_opt_inline(int value)
 {
   if (value)
@@ -153,12 +269,7 @@ void set_opt_inline(int value)
     libFIRM_opt &= ~OPT_INLINE;
 }
 
-/** Enable/Disable optimization of dynamic method dispatch
- *
- * This flag enables/disables the optimization of dynamic method dispatch.
- * If the flag is turned on Sel nodes can be replaced by Const nodes representing
- * the address of a function.
- */
+/* Enable/Disable optimization of dynamic method dispatch */
 void set_opt_dyn_meth_dispatch (int value)
 {
   if (value)
@@ -167,110 +278,141 @@ void set_opt_dyn_meth_dispatch (int value)
     libFIRM_opt &= ~OPT_DYN_METH_DISPATCH;
 }
 
-void set_opt_normalize(int value)
+int (get_opt_dyn_meth_dispatch)(void) {
+  return _get_opt_dyn_meth_dispatch();
+}
+
+void set_opt_optimize_class_casts (int value)
 {
   if (value)
-    libFIRM_opt |= OPT_NORMALIZE;
+    libFIRM_opt |= OPT_CLASS_CASTS;
   else
-    libFIRM_opt &= ~OPT_NORMALIZE;
+    libFIRM_opt &= ~OPT_CLASS_CASTS;
 }
-
-/* Save the current optimization state. */
-void save_optimization_state(optimization_state_t *state)
-{
-  *state = libFIRM_opt;
+int  (get_opt_optimize_class_casts) (void) {
+  return _get_opt_optimize_class_casts();
 }
-
-/* Restore the current optimization state. */
-void restore_optimization_state(const optimization_state_t *state)
+void set_opt_optimize_class_casts_verbose (int value)
 {
-  libFIRM_opt = *state;
+  if (value)
+    libFIRM_verb |= OPT_CLASS_CASTS;
+  else
+    libFIRM_verb &= ~OPT_CLASS_CASTS;
 }
-
-/* repeat 'inline' methods here */
-
-# ifndef USE_GCC_INLINE
-
-/** Returns constant folding optimization setting. */
-int get_opt_cse(void)           /* iropt.c */
-{
-  return libFIRM_opt & OPT_CSE;
+int  (get_opt_optimize_class_casts_verbose) (void) {
+  return _get_opt_optimize_class_casts_verbose();
 }
-
-/** Returns constant subexpression elimination setting. */
-int get_opt_global_cse(void)    /* irgopt.c iropt.c */
+void set_opt_suppress_downcast_optimization(int value)
 {
-  return libFIRM_opt & OPT_GLOBAL_CSE;
+  if (value)
+    libFIRM_opt |= OPT_SUPPRESS_DOWNCAST_OPT;
+  else
+    libFIRM_opt &= ~OPT_SUPPRESS_DOWNCAST_OPT;
 }
+int  (get_opt_suppress_downcast_optimization)(void) {
+  return _get_opt_suppress_downcast_optimization();
+}
+
 
-/** Returns global constant subexpression elimination setting. */
-int get_opt_constant_folding(void) /* iropt.c */
+/* Enable/Disable normalizations of the firm representation. */
+void set_opt_normalize(int value)
 {
-  return libFIRM_opt & OPT_CONSTANT_FOLDING;
+  if (value)
+    libFIRM_opt |= OPT_NORMALIZE;
+  else
+    libFIRM_opt &= ~OPT_NORMALIZE;
 }
 
-/** Returns unreachable code elimination setting. */
-int get_opt_unreachable_code(void) /* iropt.c */
+/* Enable/Disable optimization of tail-recursion calls. */
+void set_opt_tail_recursion(int value)
 {
-  return libFIRM_opt & OPT_UNREACHABLE_CODE;
+  if (value)
+    libFIRM_opt |= OPT_TAIL_RECURSION;
+  else
+    libFIRM_opt &= ~OPT_TAIL_RECURSION;
 }
 
-/** Returns Straightening setting. */
-int get_opt_control_flow_straightening(void) /* iropt.c, irgopt.c */
+/* Enable/Disable optimization of tail-recursion calls. */
+void set_opt_tail_recursion_verbose(int value)
 {
-  return libFIRM_opt & OPT_CONTROL_FLOW_STRAIGHTENING;
+  if (value)
+    libFIRM_verb |= OPT_TAIL_RECURSION;
+  else
+    libFIRM_verb &= ~OPT_TAIL_RECURSION;
 }
 
-/** Returns if simplifications in local optimizations setting. */
-int get_opt_control_flow_weak_simplification(void) /* iropt.c, irgopt.c */
+/* Enable/Disable precise exception context. */
+void set_opt_precise_exc_context(int value)
 {
-  return libFIRM_opt & OPT_CONTROL_FLOW_WEAK_SIMPLIFICATION;
+#if PRECISE_EXC_CONTEXT
+  if (value)
+    libFIRM_opt |= OPT_PRECISE_EXC_CONTEXT;
+  else
+    libFIRM_opt &= ~OPT_PRECISE_EXC_CONTEXT;
+#endif
 }
 
-/** Returns strong if and loop simplification setting */
-int get_opt_control_flow_strong_simplification(void) /* irgopt.c */
+void set_opt_fragile_ops(int value)
 {
-  return libFIRM_opt & OPT_CONTROL_FLOW_STRONG_SIMPLIFICATION;
+  if (value)
+    libFIRM_opt |= OPT_FRAGILE_OPS;
+  else
+    libFIRM_opt &= ~OPT_FRAGILE_OPS;
 }
 
-/** Returns whether critical edges are removed */
-int get_opt_critical_edges(void) /* irgopt.c */
+/* Enable/Disable if conversion. */
+void set_opt_if_conversion(int value)
 {
-  return libFIRM_opt & OPT_CRITICAL_EDGES;
+  if (value)
+    libFIRM_opt |= OPT_IF_CONVERSION;
+  else
+    libFIRM_opt &= ~OPT_IF_CONVERSION;
 }
 
-/** Returns reassociation setting. */
-int get_opt_reassociation(void) /* iropt.c */
+/* Enable/Disable real function call optimization. */
+void set_opt_real_function_call(int value)
 {
-  return libFIRM_opt & OPT_REASSOCIATION;
+  if (value)
+    libFIRM_opt |= OPT_REAL_FUNC_CALL;
+  else
+    libFIRM_opt &= ~OPT_REAL_FUNC_CALL;
 }
 
-/** Returns dead node elimination setting. */
-int get_opt_dead_node_elimination(void) /* irgopt.c */
+/* Enable/Disable Confirm node removal. */
+void set_opt_remove_Confirm(int value)
 {
-  return libFIRM_opt & OPT_DEAD_NODE_ELIMINATION;
+  if (value)
+    libFIRM_opt |= OPT_REMOVE_CONFIRM;
+  else
+    libFIRM_opt &= ~OPT_REMOVE_CONFIRM;
 }
 
-/** Returns global optimization setting */
-int get_opt_optimize(void)      /* iropt.c, irgopt.c */
+/* Enable/Disable scalar replacement optimization. */
+void set_opt_scalar_replacement(int value)
 {
-  return libFIRM_opt & OPT_OPTIMIZED;
+  if (value)
+    libFIRM_opt |= OPT_SCALAR_REPLACEMENT;
+  else
+    libFIRM_opt &= ~OPT_SCALAR_REPLACEMENT;
 }
 
-/** Returns inlining setting. */ /* how appropriate */
-int get_opt_inline(void)        /* irgopt.c */
+/* Set verbosity for scalar relacement */
+void set_opt_scalar_replacement_verbose(int value)
 {
-  return libFIRM_opt & OPT_INLINE;
+  if (value)
+    libFIRM_verb |= OPT_SCALAR_REPLACEMENT;
+  else
+    libFIRM_verb &= ~OPT_SCALAR_REPLACEMENT;
 }
 
-int get_opt_dyn_meth_dispatch(void) /* cgana.c */
+/* Save the current optimization state. */
+void save_optimization_state(optimization_state_t *state)
 {
-  return libFIRM_opt & OPT_DYN_METH_DISPATCH;
+  *state = libFIRM_opt;
 }
 
-int get_opt_normalize(void)     /* irgopt.c, irnode.c, iropt.c */
+/* Restore the current optimization state. */
+void restore_optimization_state(const optimization_state_t *state)
 {
-  return libFIRM_opt & OPT_NORMALIZE;
+  libFIRM_opt = *state;
 }
-
-# endif /* not defined USE_GCC_INLINE */