vrp.h

/*
 * This file is part of libFirm.
 * Copyright (C) 2012 University of Karlsruhe.
 */

#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