libfirm/iropt.h

Go to the documentation of this file.

/*
 * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
 *
 * This file is part of libFirm.
 *
 * This file may be distributed and/or modified under the terms of the
 * GNU General Public License version 2 as published by the Free Software
 * Foundation and appearing in the file LICENSE.GPL included in the
 * packaging of this file.
 *
 * Licensees holding valid libFirm Professional Edition licenses may use
 * this file in accordance with the libFirm Commercial License.
 * Agreement provided with the Software.
 *
 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE.
 */

#ifndef FIRM_IR_IROPT_H
#define FIRM_IR_IROPT_H

#include "firm_types.h"
#include "begin.h"

typedef enum fp_model_t {
    fp_explicit_rounding  = (1u << 0),  
    fp_strict_algebraic   = (1u << 1),  
    fp_contradictions     = (1u << 2),  
    fp_strict_eval_order  = (1u << 3),  
    fp_exceptions         = (1u << 4),  
    fp_environment_access = (1u << 5),  
    fp_model_precise = fp_explicit_rounding|fp_strict_algebraic|fp_contradictions,
    fp_model_strict  = fp_explicit_rounding|fp_strict_algebraic|fp_strict_eval_order|
                       fp_exceptions|fp_environment_access,
    fp_model_fast    = fp_contradictions
} fp_model_t;

FIRM_API ir_tarval *computed_value(const ir_node *n);

FIRM_API ir_node *optimize_in_place(ir_node *n);

FIRM_API int ir_is_negated_value(const ir_node *a, const ir_node *b);

FIRM_API ir_relation ir_get_possible_cmp_relations(const ir_node *left,
                                                   const ir_node *right);

#include "end.h"

#endif