3 * File name: ir/opt/opt_osr.h
4 * Purpose: Operator Strength Reduction,
5 * Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick
10 * Copyright: (c) 2006 Universität Karlsruhe
11 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
16 #include "firm_types.h"
18 /** Possible flags for the Operator Scalar Replacement. */
19 typedef enum osr_flags {
20 osr_flag_none = 0, /**< no additional flags */
21 osr_flag_lftr_with_ov_check = 1, /**< do only linear function test replacement
22 if no overflow occurs. */
25 /* FirmJNI cannot handle identical enum values... */
27 /** default setting */
28 #define osr_flag_default osr_flag_lftr_with_ov_check
31 * Do the Operator Scalar Replacement optimization and linear
32 * function test replacement for loop control.
34 * @param irg the graph which should be optimized
35 * @param flags one of osr_flags
37 * The linear function replacement test is controlled by the flags.
38 * If the osr_flag_lftr_with_ov_check is set, the replacement is only
39 * done if do overflow can occur.
40 * Otherwise it is ALWAYS done which might be unsure.
44 * for (i = 0; i < 100; ++i)
46 * might be replaced by
48 * for (i = 0; i < 400; i += 4)
52 * for (i = 0; i < 0x7FFFFFFF; ++i)
54 * will not be replaced by
56 * for (i = 0; i < 0xFFFFFFFC; i += 4)
58 * because of overflow.
60 * Note that i < a + 400 is also not possible with the current implementation
61 * although this might be allowed by other compilers...
63 void opt_osr(ir_graph *irg, unsigned flags);
65 #endif /* _OPT_OSR_H_ */