libfirm/irverify.h

Go to the documentation of this file.

/*
 * Copyright (C) 1995-2009 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_IRVERIFY_H
#define FIRM_IR_IRVERIFY_H

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

FIRM_API int irn_verify(const ir_node *checknode);

FIRM_API int irn_verify_irg(const ir_node *checknode, ir_graph *irg);

FIRM_API int irn_verify_irg_dump(const ir_node *checknode, ir_graph *irg,
                                 const char **bad_string);

typedef enum irg_verify_flags_t {
    VERIFY_NORMAL      = 0,      
    VERIFY_ENFORCE_SSA = 1       
} irg_verify_flags_t;

FIRM_API int irg_verify(ir_graph *irg, unsigned flags);

FIRM_API ir_graph_pass_t *irg_verify_pass(const char *name, unsigned flags);

enum verify_bad_flags_t {
    BAD_CF      = 1,    
    BAD_DF      = 2,    
    BAD_BLOCK   = 4,    
    TUPLE       = 8     
};

FIRM_API int irg_verify_bads(ir_graph *irg, int flags);

FIRM_API void verify_enable_entity_tests(int enable);

#include "end.h"

#endif