*/
FIRM_API void set_opt_global_cse(int value);
-/** Enables/Disables unreachable code elimination.
- *
- * If set, evaluate conditions of conditional branch and replace the
- * branch with a Jmp/Bad Tuple.
- *
- * If opt_unreachable_code == 1 replace nodes (except Block,
- * Phi and Tuple) with a Bad predecessor by the Bad node.
- * Default: opt_unreachable_code == 1.
- */
-FIRM_API void set_opt_unreachable_code(int value);
-
/** Enable/Disable optimization of dynamic method dispatch.
*
* This flag enables/disables the optimization of dynamic method dispatch.
* Possible verification modes.
*/
typedef enum firm_verification_t {
- FIRM_VERIFICATION_OFF = 0, /**< do not verify nodes at all */
- FIRM_VERIFICATION_ON = 1, /**< do node verification and assert on error in debug version */
- FIRM_VERIFICATION_REPORT = 2, /**< do node verification, but report to stderr only */
- FIRM_VERIFICATION_ERROR_ONLY = 3 /**< do node verification, but NEVER do assert nor report */
+ FIRM_VERIFICATION_OFF = 0, /**< do not verify nodes at all */
+ FIRM_VERIFICATION_ON = 1, /**< do node verification and assert on error in debug version */
+ FIRM_VERIFICATION_REPORT = 2, /**< do node verification, but report to stderr only */
+ FIRM_VERIFICATION_ERROR_ONLY = 3 /**< do node verification, but NEVER do assert nor report */
} firm_verification_t;
/** Select verification of IR nodes and types.