libFirm
iroptimize.h
1 /*
2  * This file is part of libFirm.
3  * Copyright (C) 2012 University of Karlsruhe.
4  */
5 
10 #ifndef FIRM_IROPTIMIZE_H
11 #define FIRM_IROPTIMIZE_H
12 
13 #include "firm_types.h"
14 #include "begin.h"
15 
32 FIRM_API void optimize_cf(ir_graph *irg);
33 
39 FIRM_API void opt_jumpthreading(ir_graph* irg);
40 
47 FIRM_API void opt_bool(ir_graph *irg);
48 
54 FIRM_API void conv_opt(ir_graph *irg);
55 
60 typedef int (*check_alloc_entity_func)(ir_entity *ent);
61 
84 FIRM_API void optimize_funccalls(void);
85 
95 FIRM_API void do_gvn_pre(ir_graph *irg);
96 
108 typedef int (*arch_allow_ifconv_func)(ir_node *sel, ir_node *mux_false,
109  ir_node *mux_true);
110 
119 FIRM_API void opt_if_conv(ir_graph *irg);
120 
130 FIRM_API void opt_if_conv_cb(ir_graph *irg, arch_allow_ifconv_func callback);
131 
137 FIRM_API void opt_parallelize_mem(ir_graph *irg);
138 
150 FIRM_API ir_node *can_replace_load_by_const(const ir_node *load, ir_node *c);
151 
177 FIRM_API void optimize_load_store(ir_graph *irg);
178 
182 FIRM_API void combine_memops(ir_graph *irg);
183 
189 FIRM_API void opt_ldst(ir_graph *irg);
190 
201 FIRM_API void opt_frame_irg(ir_graph *irg);
202 
204 typedef enum osr_flags {
211 } osr_flags;
212 
214 #define osr_flag_default osr_flag_lftr_with_ov_check
215 
272 FIRM_API void opt_osr(ir_graph *irg, unsigned flags);
273 
284 FIRM_API void remove_phi_cycles(ir_graph *irg);
285 
287 #define DEFAULT_CLONE_THRESHOLD 20
288 
300 FIRM_API void proc_cloning(float threshold);
301 
316 FIRM_API void optimize_reassociation(ir_graph *irg);
317 
338 FIRM_API void normalize_one_return(ir_graph *irg);
339 
360 FIRM_API void normalize_n_returns(ir_graph *irg);
361 
369 FIRM_API void scalar_replacement_opt(ir_graph *irg);
370 
385 FIRM_API void opt_tail_rec_irg(ir_graph *irg);
386 
396 FIRM_API void combo(ir_graph *irg);
397 
399 typedef void (*opt_ptr)(ir_graph *irg);
400 
412 FIRM_API void inline_functions(unsigned maxsize, int inline_threshold,
413  opt_ptr after_inline_opt);
414 
420 FIRM_API void shape_blocks(ir_graph *irg);
421 
427 FIRM_API void do_loop_inversion(ir_graph *irg);
428 
434 FIRM_API void do_loop_unrolling(ir_graph *irg);
435 
439 FIRM_API void do_loop_peeling(ir_graph *irg);
440 
449 FIRM_API void garbage_collect_entities(void);
450 
470 FIRM_API void dead_node_elimination(ir_graph *irg);
471 
486 FIRM_API void place_code(ir_graph *irg);
487 
492 FIRM_API void occult_consts(ir_graph*);
493 
501 FIRM_API int value_not_null(const ir_node *n, const ir_node **confirm);
502 
510 FIRM_API ir_tarval *computed_value_Cmp_Confirm(ir_node *left, ir_node *right,
511  ir_relation relation);
512 
514 typedef ident *(*compilerlib_name_mangle_t)(ident *id, ir_type *mt);
515 
523 
526 
535 
538 #include "end.h"
539 
540 #endif
void garbage_collect_entities(void)
Removes all entities which are unused.
do linear function test replacement only if no overflow can occur.
Definition: iroptimize.h:206
void opt_if_conv(ir_graph *irg)
Perform If conversion on a graph.
compilerlib_name_mangle_t get_compilerlib_name_mangle(void)
Returns the compilerlib entity creation callback.
ir_tarval * computed_value_Cmp_Confirm(ir_node *left, ir_node *right, ir_relation relation)
Returns the value of a Cmp if one or both predecessors are Confirm nodes.
ir_entity * create_compilerlib_entity(ident *id, ir_type *mt)
Constructs the entity for a given function using the current compilerlib entity creation callback...
const char ident
Identifier.
Definition: firm_types.h:50
ignore Multiplications by 2, 4, 8
Definition: iroptimize.h:208
void do_loop_peeling(ir_graph *irg)
Perform loop peeling on a given graph.
void occult_consts(ir_graph *)
This optimization finds values where the bits are either constant or irrelevant and exchanges them fo...
void do_loop_inversion(ir_graph *irg)
Perform loop inversion on a given graph.
int value_not_null(const ir_node *n, const ir_node **confirm)
Returns true if the value n is known not be zero/null.
void opt_ldst(ir_graph *irg)
New experimental alternative to optimize_load_store.
ir_node * can_replace_load_by_const(const ir_node *load, ir_node *c)
Check if we can replace the load by a given const from the const code irg.
void opt_tail_rec_irg(ir_graph *irg)
Optimizes tail-recursion calls by converting them into loops.
void scalar_replacement_opt(ir_graph *irg)
Performs the scalar replacement optimization.
no additional flags
Definition: iroptimize.h:205
void remove_phi_cycles(ir_graph *irg)
Removes useless Phi cycles, i.e cycles of Phi nodes with only one non-Phi node.
void normalize_one_return(ir_graph *irg)
Normalize the Returns of a graph by creating a new End block with One Return(Phi).
void normalize_n_returns(ir_graph *irg)
Normalize the Returns of a graph by moving the Returns upwards as much as possible.
void inline_functions(unsigned maxsize, int inline_threshold, opt_ptr after_inline_opt)
Heuristic inliner.
void shape_blocks(ir_graph *irg)
Combines congruent blocks into one.
void optimize_load_store(ir_graph *irg)
Load/Store optimization.
void optimize_cf(ir_graph *irg)
Control flow optimization.
struct ir_type ir_type
Type.
Definition: firm_types.h:71
void opt_bool(ir_graph *irg)
Simplifies boolean expression in the given ir graph.
void opt_frame_irg(ir_graph *irg)
Optimize the frame type of an irg by removing never touched entities.
struct ir_tarval ir_tarval
Target Machine Value.
Definition: firm_types.h:68
int(* check_alloc_entity_func)(ir_entity *ent)
A callback that checks whether a entity is an allocation routine.
Definition: iroptimize.h:60
void opt_jumpthreading(ir_graph *irg)
Perform path-sensitive jump threading on the given graph.
void opt_parallelize_mem(ir_graph *irg)
Tries to reduce dependencies for memory nodes where possible by parallelizing them and synchronizing ...
ident *(* compilerlib_name_mangle_t)(ident *id, ir_type *mt)
Type of callbacks for creating entities of the compiler library.
Definition: iroptimize.h:514
void do_gvn_pre(ir_graph *irg)
Does Partial Redundancy Elimination combined with Global Value Numbering.
void optimize_reassociation(ir_graph *irg)
Reassociation.
void opt_osr(ir_graph *irg, unsigned flags)
Performs the Operator Scalar Replacement optimization and linear function test replacement for loop c...
void combine_memops(ir_graph *irg)
Combine adjacent "small" load/store operations into bigger ones.
int(* arch_allow_ifconv_func)(ir_node *sel, ir_node *mux_false, ir_node *mux_true)
This function is called to evaluate, if a mux(sel, mux_false, mux_true) should be built for the curre...
Definition: iroptimize.h:108
ir_relation
Relations for comparing numbers.
Definition: firm_types.h:159
void combo(ir_graph *irg)
CLiff Click's combo algorithm from "Combining Analyses, combining Optimizations". ...
void place_code(ir_graph *irg)
Code Placement.
void proc_cloning(float threshold)
Performs procedure cloning.
do NOT increase register pressure by introducing new induction variables.
Definition: iroptimize.h:209
void conv_opt(ir_graph *irg)
Reduces the number of Conv nodes in the given ir graph.
void opt_if_conv_cb(ir_graph *irg, arch_allow_ifconv_func callback)
Perform If conversion on a graph - callback version.
void do_loop_unrolling(ir_graph *irg)
Perform loop unrolling on a given graph.
struct ir_entity ir_entity
Entity.
Definition: firm_types.h:83
struct ir_node ir_node
Procedure Graph Node.
Definition: firm_types.h:53
struct ir_graph ir_graph
Procedure Graph.
Definition: firm_types.h:74
void(* opt_ptr)(ir_graph *irg)
pointer to an optimization function
Definition: iroptimize.h:399
osr_flags
Possible flags for the Operator Scalar Replacement.
Definition: iroptimize.h:204
void dead_node_elimination(ir_graph *irg)
Performs dead node elimination by copying the ir graph to a new obstack.
void set_compilerlib_name_mangle(compilerlib_name_mangle_t cb)
Sets the compilerlib entity creation callback that is used to create compilerlib function entities...
void optimize_funccalls(void)
Optimize function calls by handling const functions.