don't include old_fctnames.h in firm.h - don't #define size in old_fctnames.h
[libfirm] / include / libfirm / iroptimize.h
1 /*
2  * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief   Available Optimisations of libFirm.
23  * @version $Id$
24  */
25 #ifndef FIRM_IROPTIMIZE_H
26 #define FIRM_IROPTIMIZE_H
27
28 #include "firm_types.h"
29
30 /**
31  * Control flow optimization.
32  *
33  * Removes empty blocks doing if simplifications and loop simplifications.
34  * A block is empty if it contains only a Jmp node and Phi nodes.
35  * Merges single entry single exit blocks with their predecessor
36  * and propagates dead control flow by calling equivalent_node().
37  * Independent of compiler flag it removes Tuples from cf edges,
38  * Bad predecessors from Blocks and Phis, and unnecessary predecessors of End.
39  *
40  * @bug So far destroys backedge information.
41  * @bug Chokes on Id nodes if called in a certain order with other
42  *      optimizations.  Call local_optimize_graph() before to remove
43  *      Ids.
44  */
45 void optimize_cf(ir_graph *irg);
46
47 /**
48  * Creates an ir_graph pass for optimize_cf().
49  *
50  * @param name     the name of this pass or NULL
51  *
52  * @return  the newly created ir_graph pass
53  */
54 ir_graph_pass_t *optimize_cf_pass(const char *name);
55
56 /**
57  * Perform path-sensitive jump threading on the given graph.
58  *
59  * @param irg  the graph
60  */
61 void opt_jumpthreading(ir_graph* irg);
62
63 /**
64  * Creates an ir_graph pass for opt_jumpthreading().
65  *
66  * @param name     the name of this pass or NULL
67  *
68  * @return  the newly created ir_graph pass
69  */
70 ir_graph_pass_t *opt_jumpthreading_pass(const char *name);
71
72 /**
73  * Try to simplify boolean expression in the given ir graph.
74  * eg. x < 5 && x < 6 becomes x < 5
75  *
76  * @param irg  the graph
77  */
78 void opt_bool(ir_graph *irg);
79
80 /**
81  * Creates an ir_graph pass for opt_bool().
82  *
83  * @param name     the name of this pass or NULL
84  *
85  * @return  the newly created ir_graph pass
86  */
87 ir_graph_pass_t *opt_bool_pass(const char *name);
88
89 /**
90  * Try to reduce the number of conv nodes in the given ir graph.
91  *
92  * @param irg  the graph
93  *
94  * @return non-zero if the optimization could be applied, 0 else
95  */
96 int conv_opt(ir_graph *irg);
97
98 /**
99  * Creates an ir_graph pass for conv_opt().
100  *
101  * @param name     the name of this pass or NULL
102  *
103  * @return  the newly created ir_graph pass
104  */
105 ir_graph_pass_t *conv_opt_pass(const char *name);
106
107 /**
108  * Do the scalar replacement optimization.
109  * Make a date flow analyze and split the
110  * data flow edges.
111  *
112  * @param irg  the graph which should be optimized
113  */
114 void data_flow_scalar_replacement_opt(ir_graph *irg);
115
116 /**
117  * A callback that checks whether a entity is an allocation
118  * routine.
119  */
120 typedef int (*check_alloc_entity_func)(ir_entity *ent);
121
122 /**
123  * Do simple and fast escape analysis for one graph.
124  *
125  * @param irg       the graph
126  * @param callback  a callback function to check whether a
127  *                  given entity is a allocation call
128  */
129 void escape_enalysis_irg(ir_graph *irg, check_alloc_entity_func callback);
130
131 /**
132  * Do simple and fast escape analysis for all graphs.
133  *
134  * This optimization implements a simple and fast but inexact
135  * escape analysis. Some addresses might be marked as 'escaped' even
136  * if they are not.
137  * The advantage is a low memory footprint and fast speed.
138  *
139  * @param run_scalar_replace  if this flag in non-zero, scalar
140  *                            replacement optimization is run on graphs with removed
141  *                            allocation
142  * @param callback            a callback function to check whether a
143  *                            given entity is a allocation call
144  *
145  * This optimization removes allocation which are not used (rare) and replace
146  * allocation that can be proved dead at the end of the graph which stack variables.
147  *
148  * The creation of stack variable allows scalar replacement to be run only
149  * on those graphs that have been changed.
150  *
151  * This is most effective on Java where no other stack variables exists.
152  */
153 void escape_analysis(int run_scalar_replace, check_alloc_entity_func callback);
154
155 /**
156  * Optimize function calls by handling const functions.
157  *
158  * This optimization first detects all "const functions", i.e.,
159  * IR graphs that neither read nor write memory (and hence did
160  * not create exceptions, as these use memory in Firm).
161  *
162  * The result of calls to such functions depends only on its
163  * arguments, hence those calls are no more pinned.
164  *
165  * This is a rather strong criteria, so do not expect that a
166  * lot of functions will be found. Moreover, all of them might
167  * already be inlined if inlining is activated.
168  * Anyway, it might be good for handling builtin's or pseudo-graphs,
169  * even if the later read/write memory (but we know how).
170  *
171  * This optimizations read the irg_const_function property of
172  * entities and and sets the irg_const_function property of
173  * graphs.
174  *
175  * If callee information is valid, we also optimize polymorphic Calls.
176  *
177  * @param force_run  if non-zero, an optimization run is started even
178  *                   if no const function graph was detected.
179  *                   Else calls are only optimized if at least one
180  *                   const function graph was detected.
181  * @param callback   a callback function to check whether a
182  *                   given entity is a allocation call
183  *
184  * If the frontend created external entities with the irg_const_function
185  * property set, the force_run parameter should be set, else
186  * should be unset.
187  *
188  * @note This optimization destroys the link fields of nodes.
189  */
190 void optimize_funccalls(int force_run, check_alloc_entity_func callback);
191
192 /**
193  * Creates an ir_prog pass for optimize_funccalls().
194  *
195  * @param name       the name of this pass or NULL
196  * @param force_run  if non-zero, an optimization run is started even
197  *                   if no const function graph was detected.
198  *                   Else calls are only optimized if at least one
199  *                   const function graph was detected.
200  * @param callback   a callback function to check whether a
201  *                   given entity is a allocation call
202  *
203  * @return  the newly created ir_prog pass
204  */
205 ir_prog_pass_t *optimize_funccalls_pass(
206         const char *name,
207         int force_run, check_alloc_entity_func callback);
208
209 /**
210  * Does Partial Redundancy Elimination combined with
211  * Global Value Numbering.
212  * Can be used to replace place_code() completely.
213  *
214  * Based on VanDrunen and Hosking 2004.
215  *
216  * @param irg  the graph
217  */
218 void do_gvn_pre(ir_graph *irg);
219
220 /**
221  * Creates an ir_graph pass for do_gvn_pre().
222  *
223  * @param name     the name of this pass or NULL
224  *
225  * @return  the newly created ir_graph pass
226  */
227 ir_graph_pass_t *do_gvn_pre_pass(const char *name);
228
229 /**
230  * This function is called to evaluate, if a mux can build
231  * of the current architecture.
232  * If it returns non-zero, a mux is created, else the code
233  * is not modified.
234  * @param sel        A selector of a Cond.
235  * @param phi_list   List of Phi nodes about to be converted (linked via get_Phi_next() field)
236  * @param i          First data predecessor involved in if conversion
237  * @param j          Second data predecessor involved in if conversion
238  */
239 typedef int (*arch_allow_ifconv_func)(ir_node *sel, ir_node* phi_list, int i, int j);
240
241 /**
242  * The parameters structure.
243  */
244 struct ir_settings_if_conv_t {
245         int                 max_depth;       /**< The maximum depth up to which expressions
246                                                are examined when it has to be decided if they
247                                                can be placed into another block. */
248         arch_allow_ifconv_func allow_ifconv; /**< Evaluator function, if not set all possible Psi
249                                                nodes will be created. */
250 };
251
252 /**
253  * Perform If conversion on a graph.
254  *
255  * @param irg The graph.
256  * @param params The parameters for the if conversion.
257  *
258  * Cannot handle blocks with Bad control predecessors, so call it after control
259  * flow optimization.
260  */
261 void opt_if_conv(ir_graph *irg, const ir_settings_if_conv_t *params);
262
263 /**
264  * Creates an ir_graph pass for opt_if_conv().
265  *
266  * @param name     the name of this pass or NULL
267  * @param params   The parameters for the if conversion.
268  *
269  * @return  the newly created ir_graph pass
270  */
271 ir_graph_pass_t *opt_if_conv_pass(
272         const char *name, const ir_settings_if_conv_t *params);
273
274 /**
275  * Tries to reduce dependencies for memory nodes where possible by parllelizing
276  * them and synchronising with Sync nodes
277  * @param irg   the graph where memory operations should be parallelised
278  */
279 void opt_parallelize_mem(ir_graph *irg);
280
281 /**
282  * Creates an ir_graph pass for opt_sync().
283  *
284  * @param name     the name of this pass or NULL
285  *
286  * @return  the newly created ir_graph pass
287  */
288 ir_graph_pass_t *opt_parallelize_mem_pass(const char *name);
289
290 /*
291  * Check if we can replace the load by a given const from
292  * the const code irg.
293  *
294  * @param load   the load to replace
295  * @param c      the constant
296  *
297  * @return in the modes match or can be transformed using a reinterpret cast
298  *         returns a copy of the constant (possibly Conv'ed) on the
299  *         current_ir_graph
300  */
301 ir_node *can_replace_load_by_const(const ir_node *load, ir_node *c);
302
303 /**
304  * Load/Store optimization.
305  *
306  * Removes redundant non-volatile Loads and Stores.
307  * May introduce Bad nodes if exceptional control flow
308  * is removed. The following cases are optimized:
309  *
310  * Load without result: A Load which has only a memory use
311  *   is removed.
312  *
313  * Load after Store: A Load after a Store is removed, if
314  *   the Load doesn't have an exception handler OR is in
315  *   the same block as the Store.
316  *
317  * Load after Load: A Load after a Load is removed, if the
318  *   Load doesn't have an exception handler OR is in the
319  *   same block as the previous Load.
320  *
321  * Store before Store: A Store immediately before another
322  *   Store in the same block is removed, if the Store doesn't
323  *   have an exception handler.
324  *
325  * Store after Load: A Store after a Load is removed, if the
326  *   Store doesn't have an exception handler.
327  *
328  * @return non-zero if the optimization could be applied, 0 else
329  */
330 int optimize_load_store(ir_graph *irg);
331
332 /**
333  * Creates an ir_graph pass for optimize_load_store().
334  *
335  * @param name     the name of this pass or NULL
336  *
337  * @return  the newly created ir_graph pass
338  */
339 ir_graph_pass_t *optimize_load_store_pass(const char *name);
340
341 /**
342  * New experimental alternative to optimize_load_store.
343  * Based on a dataflow analysis, so load/stores are moved out of loops
344  * where possible
345  */
346 int opt_ldst(ir_graph *irg);
347
348 /**
349  * Creates an ir_graph pass for opt_ldst().
350  *
351  * @param name     the name of this pass or NULL
352  *
353  * @return  the newly created ir_graph pass
354  */
355 ir_graph_pass_t *opt_ldst_pass(const char *name);
356
357 /**
358  * Do Loop unrolling in the given graph.
359  */
360 void optimize_loop_unrolling(ir_graph *irg);
361
362 /**
363  * Creates an ir_graph pass for optimize_loop_unrolling().
364  *
365  * @param name     the name of this pass or NULL
366  *
367  * @return  the newly created ir_graph pass
368  */
369 ir_graph_pass_t *optimize_loop_unrolling_pass(const char *name);
370
371 /**
372  * Optimize the frame type of an irg by removing
373  * never touched entities.
374  *
375  * @param irg  The graph whose frame type will be optimized
376  *
377  * This function did not change the graph, only it's frame type.
378  * The layout state of the frame type will be set to layout_undefined
379  * if entities were removed.
380  */
381 void opt_frame_irg(ir_graph *irg);
382
383 /**
384  * Creates an ir_graph pass for opt_frame_irg().
385  *
386  * @param name     the name of this pass or NULL
387  *
388  * @return  the newly created ir_graph pass
389  */
390 ir_graph_pass_t *opt_frame_irg_pass(const char *name);
391
392 /** Possible flags for the Operator Scalar Replacement. */
393 typedef enum osr_flags {
394         osr_flag_none               = 0,  /**< no additional flags */
395         osr_flag_lftr_with_ov_check = 1,  /**< do linear function test replacement
396                                                only if no overflow can occur. */
397         osr_flag_ignore_x86_shift   = 2,  /**< ignore Multiplications by 2, 4, 8 */
398         osr_flag_keep_reg_pressure  = 4   /**< do NOT increase register pressure by introducing new
399                                                induction variables. */
400 } osr_flags;
401
402 /* FirmJNI cannot handle identical enum values... */
403
404 /** default setting */
405 #define osr_flag_default osr_flag_lftr_with_ov_check
406
407 /**
408  * Do the Operator Scalar Replacement optimization and linear
409  * function test replacement for loop control.
410  * Can be switched off using the set_opt_strength_red() flag.
411  * In that case, only remove_phi_cycles() is executed.
412  *
413  * @param irg    the graph which should be optimized
414  * @param flags  set of osr_flags
415  *
416  * The linear function replacement test is controlled by the flags.
417  * If the osr_flag_lftr_with_ov_check is set, the replacement is only
418  * done if do overflow can occur.
419  * Otherwise it is ALWAYS done which might be insecure.
420  *
421  * For instance:
422  *
423  * for (i = 0; i < 100; ++i)
424  *
425  * might be replaced by
426  *
427  * for (i = 0; i < 400; i += 4)
428  *
429  * But
430  *
431  * for (i = 0; i < 0x7FFFFFFF; ++i)
432  *
433  * will not be replaced by
434  *
435  * for (i = 0; i < 0xFFFFFFFC; i += 4)
436  *
437  * because of overflow.
438  *
439  * More bad cases:
440  *
441  * for (i = 0; i <= 0xF; ++i)
442  *
443  * will NOT be transformed into
444  *
445  * for (i = 0xFFFFFFF0; i <= 0xFFFFFFFF; ++i)
446  *
447  * although here is no direct overflow. The OV occurs when the ++i
448  * is executed (and would created an endless loop here!).
449  *
450  * For the same reason, a loop
451  *
452  * for (i = 0; i <= 9; i += x)
453  *
454  * will NOT be transformed because we cannot estimate whether an overflow
455  * might happen adding x.
456  *
457  * Note that i < a + 400 is also not possible with the current implementation
458  * although this might be allowed by other compilers...
459  *
460  * Note further that tests for equality can be handled some simpler (but are not
461  * implemented yet).
462  *
463  * This algorithm destroys the link field of nodes.
464  */
465 void opt_osr(ir_graph *irg, unsigned flags);
466
467 /**
468  * Creates an ir_graph pass for remove_phi_cycles().
469  *
470  * @param name     the name of this pass or NULL
471  * @param flags    set of osr_flags
472  *
473  * @return  the newly created ir_graph pass
474  */
475 ir_graph_pass_t *opt_osr_pass(const char *name, unsigned flags);
476
477 /**
478  * Removes useless Phi cycles, i.e cycles of Phi nodes with only one
479  * non-Phi node.
480  * This is automatically done in opt_osr(), so there is no need to call it
481  * additionally.
482  *
483  * @param irg    the graph which should be optimized
484  *
485  * This algorithm destroys the link field of nodes.
486  */
487 void remove_phi_cycles(ir_graph *irg);
488
489 /**
490  * Creates an ir_graph pass for remove_phi_cycles().
491  *
492  * @param name     the name of this pass or NULL
493  *
494  * @return  the newly created ir_graph pass
495  */
496 ir_graph_pass_t *remove_phi_cycles_pass(const char *name);
497
498
499 /** A default threshold. */
500 #define DEFAULT_CLONE_THRESHOLD 300
501
502 /**
503  * Do procedure cloning. Evaluate a heuristic weight for every
504  * Call(..., Const, ...). If the weight is bigger than threshold,
505  * clone the entity and fix the calls.
506  *
507  * @param threshold   the threshold for cloning
508  *
509  * The threshold is an estimation of how many instructions are saved
510  * when executing a cloned method. If threshold is 0.0, every possible
511  * call is cloned.
512  */
513 void proc_cloning(float threshold);
514
515 /**
516  * Creates an ir_prog pass for proc_cloning().
517  *
518  * @param name        the name of this pass or NULL
519  * @param threshold   the threshold for cloning
520  *
521  * @return  the newly created ir_prog pass
522  */
523 ir_prog_pass_t *proc_cloning_pass(const char *name, float threshold);
524
525 /**
526  * Reassociation.
527  *
528  * Applies Reassociation rules to integer expressions.
529  * Beware: Works only if integer overflow might be ignored, as for C, Java
530  * and for address expression.
531  * Works only if Constant folding is activated.
532  *
533  * Uses loop information to detect loop-invariant (ie contant
534  * inside the loop) values.
535  *
536  * See Muchnik 12.3.1 Algebraic Simplification and Reassociation of
537  * Addressing Expressions.
538  *
539  * @return non-zero if the optimization could be applied, 0 else
540  */
541 int optimize_reassociation(ir_graph *irg);
542
543 /**
544  * Creates an ir_graph pass for optimize_reassociation().
545  *
546  * @param name     the name of this pass or NULL
547  *
548  * @return  the newly created ir_graph pass
549  */
550 ir_graph_pass_t *optimize_reassociation_pass(const char *name);
551
552 /**
553  * Normalize the Returns of a graph by creating a new End block
554  * with One Return(Phi).
555  * This is the preferred input for the if-conversion.
556  *
557  * In pseudocode, it means:
558  *
559  * if (a)
560  *   return b;
561  * else
562  *   return c;
563  *
564  * is transformed into
565  *
566  * if (a)
567  *   res = b;
568  * else
569  *   res = c;
570  * return res;
571  */
572 void normalize_one_return(ir_graph *irg);
573
574 /**
575  * Creates an ir_graph pass for normalize_one_return().
576  *
577  * @param name     the name of this pass or NULL
578  *
579  * @return  the newly created ir_graph pass
580  */
581 ir_graph_pass_t *normalize_one_return_pass(const char *name);
582
583 /**
584  * Normalize the Returns of a graph by moving
585  * the Returns upwards as much as possible.
586  * This might be preferred for code generation.
587  *
588  * In pseudocode, it means:
589  *
590  * if (a)
591  *   res = b;
592  * else
593  *   res = c;
594  * return res;
595  *
596  * is transformed into
597  *
598  * if (a)
599  *   return b;
600  * else
601  *   return c;
602  */
603 void normalize_n_returns(ir_graph *irg);
604
605 /**
606  * Creates an ir_graph pass for normalize_n_returns().
607  *
608  * @param name     the name of this pass or NULL
609  *
610  * @return  the newly created ir_graph pass
611  */
612 ir_graph_pass_t *normalize_n_returns_pass(const char *name);
613
614 /**
615  * Do the scalar replacement optimization.
616  * Replace local compound entities (like structures and arrays)
617  * with atomic values if possible. Does not handle classes yet.
618  *
619  * @param irg  the graph which should be optimized
620  *
621  * @return non-zero, if at least one entity was replaced
622  */
623 int scalar_replacement_opt(ir_graph *irg);
624
625 /**
626  * Creates an ir_graph pass for scalar_replacement_opt().
627  *
628  * @param name     the name of this pass or NULL
629  *
630  * @return  the newly created ir_graph pass
631  */
632 ir_graph_pass_t *scalar_replacement_opt_pass(const char *name);
633
634 /** Performs strength reduction for the passed graph. */
635 void reduce_strength(ir_graph *irg);
636
637 /**
638  * Optimizes tail-recursion calls by converting them into loops.
639  * Depends on the flag opt_tail_recursion.
640  * Currently supports the following forms:
641  *  - return func();
642  *  - return x + func();
643  *  - return func() - x;
644  *  - return x * func();
645  *  - return -func();
646  *
647  * Does not work for Calls that use the exception stuff.
648  *
649  * @param irg   the graph to be optimized
650  *
651  * @return non-zero if the optimization could be applied, 0 else
652  */
653 int opt_tail_rec_irg(ir_graph *irg);
654
655 /**
656  * Creates an ir_graph pass for opt_tail_rec_irg().
657  *
658  * @param name     the name of this pass or NULL
659  *
660  * @return  the newly created ir_graph pass
661  */
662 ir_graph_pass_t *opt_tail_rec_irg_pass(const char *name);
663
664 /**
665  * Optimize tail-recursion calls for all IR-Graphs.
666  * Can currently handle:
667  * - direct return value, i.e. return func().
668  * - additive return value, i.e. return x +/- func()
669  * - multiplicative return value, i.e. return x * func() or return -func()
670  *
671  * The current implementation must be run before optimize_funccalls(),
672  * because it expects the memory edges pointing to calls, which might be
673  * removed by optimize_funccalls().
674  */
675 void opt_tail_recursion(void);
676
677 /**
678  * Creates an ir_prog pass for opt_tail_recursion().
679  *
680  * @param name     the name of this pass or NULL
681  *
682  * @return  the newly created ir_prog pass
683  */
684 ir_prog_pass_t *opt_tail_recursion_pass(const char *name);
685
686 /** This is the type for a method, that returns a pointer type to
687  *  tp.  This is needed in the normalization. */
688 typedef ir_type *(*gen_pointer_type_to_func)(ir_type *tp);
689
690 /**  Insert Casts so that class type casts conform exactly with the type hierarchy.
691  *
692  *  Formulated in Java, this achieves the following:
693  *
694  *  For a class hierarchy
695  *    class A {}
696  *    class B extends A {}
697  *    class C extends B {}
698  *  we transforms a cast
699  *    (A)new C()
700  *  to
701  *    (A)((B)new C()).
702  *
703  *  The algorithm works for Casts with class types, but also for Casts
704  *  with all pointer types that point (over several indirections,
705  *  i.e. ***A) to a class type.  Normalizes all graphs.  Computes type
706  *  information (@see irtypeinfo.h) if not available.
707  *  Invalidates trout information as new casts are generated.
708  *
709  *  @param gppt_fct A function that returns a pointer type that points
710  *    to the type given as argument.  If this parameter is NULL, a default
711  *    function is used that either uses trout information or performs a O(n)
712  *    search to find an existing pointer type.  If it can not find a type,
713  *    generates a pointer type with mode_P_mach and suffix "cc_ptr_tp".
714  */
715 void normalize_irp_class_casts(gen_pointer_type_to_func gppt_fct);
716
717 /**  Insert Casts so that class type casts conform exactly with the type hierarchy
718  *   in given graph.
719  *
720  *   For more details see normalize_irp_class_casts().
721  *
722  *  This transformation requires that type information is computed. @see irtypeinfo.h.
723  */
724 void normalize_irg_class_casts(ir_graph *irg, gen_pointer_type_to_func gppt_fct);
725
726 /** Optimize casting between class types.
727  *
728  *    class A { m(); }
729  *    class B extends A { }
730  *    class C extends B {}
731  *  Performs the following transformations:
732  *    C c = (C)(B)(A)(B)new C()  --> C c = (C)(B)newC() --> C c = new C()
733  *    (Optimizing downcasts as A a = (A)(B)(new A()) --> A a = new A() can
734  *     be suppressed by setting the flag opt_suppress_downcast_optimization.
735  *     Downcasting A to B might cause an exception.  It is not clear
736  *     whether this is modeled by the Firm Cast node, as it has no exception
737  *     outputs.);
738  *  If there is inh_m() that overwrites m() in B:
739  *    ((A) new B()).m()  --> (new B()).inh_m()
740  *  Phi((A)x, (A)y)  --> (A) Phi (x, y)  if (A) is an upcast.
741  *
742  *  Computes type information if not available. @see irtypeinfo.h.
743  *  Typeinformation is valid after optimization.
744  *  Invalidates trout information.
745  */
746 void optimize_class_casts(void);
747
748 /**
749  * CLiff Click's combo algorithm from
750  *   "Combining Analyses, combining Optimizations".
751  *
752  * Does conditional constant propagation, unreachable code elimination and
753  * optimistic global value numbering at once.
754  *
755  * @param irg  the graph to run on
756  */
757 void combo(ir_graph *irg);
758
759 /**
760  * Creates an ir_graph pass for combo.
761  *
762  * @param name     the name of this pass or NULL
763  *
764  * @return  the newly created ir_graph pass
765  */
766 ir_graph_pass_t *combo_pass(const char *name);
767
768 /**
769  * Inlines all small methods at call sites where the called address comes
770  * from a SymConst node that references the entity representing the called
771  * method.
772  *
773  * @param irg  the graph
774  * @param size maximum function size
775  *
776  * The size argument is a rough measure for the code size of the method:
777  * Methods where the obstack containing the firm graph is smaller than
778  * size are inlined.  Further only a limited number of calls are inlined.
779  * If the method contains more than 1024 inlineable calls none will be
780  * inlined.
781  * Inlining is only performed if flags `optimize' and `inlineing' are set.
782  * The graph may not be in state phase_building.
783  * It is recommended to call local_optimize_graph() after inlining as this
784  * function leaves a set of obscure Tuple nodes, e.g. a Proj-Tuple-Jmp
785  * combination as control flow operation.
786  */
787 void inline_small_irgs(ir_graph *irg, int size);
788
789 /**
790  * Creates an ir_graph pass for inline_small_irgs().
791  *
792  * @param name   the name of this pass or NULL
793  * @param size   maximum function size
794  *
795  * @return  the newly created ir_graph pass
796  */
797 ir_graph_pass_t *inline_small_irgs_pass(const char *name, int size);
798
799 /**
800  * Inlineing with a different heuristic than inline_small_irgs().
801  *
802  * Inlines leave functions.  If inlinening creates new leave
803  * function inlines these, too. (If g calls f, and f calls leave h,
804  * h is first inlined in f and then f in g.)
805  *
806  * Then inlines all small functions (this is not recursive).
807  *
808  * For a heuristic this inlineing uses firm node counts.  It does
809  * not count auxiliary nodes as Proj, Tuple, End, Start, Id, Sync.
810  * If the ignore_runtime flag is set, calls to functions marked with the
811  * mtp_property_runtime property are ignored.
812  *
813  * @param maxsize         Do not inline any calls if a method has more than
814  *                        maxsize firm nodes.  It may reach this limit by
815  *                        inlineing.
816  * @param leavesize       Inline leave functions if they have less than leavesize
817  *                        nodes.
818  * @param size            Inline all function smaller than size.
819  * @param ignore_runtime  count a function only calling runtime functions as
820  *                        leave
821  */
822 void inline_leave_functions(unsigned maxsize, unsigned leavesize,
823                 unsigned size, int ignore_runtime);
824
825 /**
826  * Creates an ir_prog pass for inline_leave_functions().
827  *
828  * @param name            the name of this pass or NULL
829  * @param maxsize         Do not inline any calls if a method has more than
830  *                        maxsize firm nodes.  It may reach this limit by
831  *                        inlineing.
832  * @param leavesize       Inline leave functions if they have less than leavesize
833  *                        nodes.
834  * @param size            Inline all function smaller than size.
835  * @param ignore_runtime  count a function only calling runtime functions as
836  *                        leave
837  *
838  * @return  the newly created ir_prog pass
839  */
840 ir_prog_pass_t *inline_leave_functions_pass(
841         const char *name, unsigned maxsize, unsigned leavesize,
842         unsigned size, int ignore_runtime);
843
844 typedef void (*opt_ptr)(ir_graph *irg);
845
846 /**
847  * Heuristic inliner. Calculates a benefice value for every call and inlines
848  * those calls with a value higher than the threshold.
849  *
850  * @param maxsize             Do not inline any calls if a method has more than
851  *                            maxsize firm nodes.  It may reach this limit by
852  *                            inlining.
853  * @param inline_threshold    inlining threshold
854  * @param after_inline_opt    optimizations performed immediately after inlining
855  *                            some calls
856  */
857 void inline_functions(unsigned maxsize, int inline_threshold,
858                       opt_ptr after_inline_opt);
859
860 /**
861  * Creates an ir_prog pass for inline_functions().
862  *
863  * @param name               the name of this pass or NULL
864  * @param maxsize            Do not inline any calls if a method has more than
865  *                           maxsize firm nodes.  It may reach this limit by
866        *                     inlineing.
867  * @param inline_threshold   inlining threshold
868  *
869  * @return  the newly created ir_prog pass
870  */
871 ir_prog_pass_t *inline_functions_pass(
872         const char *name, unsigned maxsize, int inline_threshold,
873         opt_ptr after_inline_opt);
874
875 /**
876  * Combines congruent blocks into one.
877  *
878  * @param irg   The IR-graph to optimize.
879  *
880  * @return non-zero if the graph was transformed
881  */
882 int shape_blocks(ir_graph *irg);
883
884 /**
885  * Creates an ir_graph pass for shape_blocks().
886  *
887  * @param name   the name of this pass or NULL
888  *
889  * @return  the newly created ir_graph pass
890  */
891 ir_graph_pass_t *shape_blocks_pass(const char *name);
892
893 /**
894  * Perform loop inversion on a given graph.
895  * Loop inversion transform a head controlled loop (like while(...) {} and
896  * for(...) {}) into a foot controlled loop (do {} while(...)).
897  */
898 void do_loop_inversion(ir_graph *irg);
899
900 /**
901  * Perform loop peeling on a given graph.
902  */
903 void do_loop_peeling(ir_graph *irg);
904
905 typedef ir_type *(*get_Alloc_func)(ir_node *n);
906 /** Set a new get_Alloc_func and returns the old one. */
907 get_Alloc_func firm_set_Alloc_func(get_Alloc_func newf);
908
909 #endif