libfirm/vrp.h

Go to the documentation of this file.

/*
 * Copyright (C) 1995-2010 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 VRP_H
#define VRP_H

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

enum range_types {
    VRP_UNDEFINED, 
    VRP_RANGE,     
    VRP_ANTIRANGE, 
    VRP_VARYING    
};

typedef struct {
    ir_tarval *bits_set;         
    ir_tarval *bits_not_set;     
    enum range_types range_type; 
    ir_tarval *range_bottom;     
    ir_tarval *range_top;        
} vrp_attr;

FIRM_API void set_vrp_data(ir_graph *irg);

FIRM_API void free_vrp_data(ir_graph *irg);

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

FIRM_API vrp_attr *vrp_get_info(const ir_node *n);

#include "end.h"

#endif