dbginfo.h

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

#ifndef FIRM_DEBUG_DBGINFO_H
#define FIRM_DEBUG_DBGINFO_H

#include <stddef.h>
#include "firm_types.h"

#include "begin.h"

typedef enum {
    dbg_error = 0,
    dbg_opt_ssa,           
    dbg_opt_auxnode,       
    dbg_const_eval,        
    dbg_opt_cse,           
    dbg_straightening,     
    dbg_if_simplification, 
    dbg_algebraic_simplification, 
    dbg_write_after_write,        
    dbg_write_after_read,         
    dbg_read_after_write,         
    dbg_read_after_read,          
    dbg_read_a_const,             
    dbg_dead_code,                
    dbg_opt_confirm,              
    dbg_gvn_pre,                  
    dbg_combo,                    
    dbg_jumpthreading,            
    dbg_backend,                  
    dbg_max                       
} dbg_action;

FIRM_API const char *dbg_action_2_str(dbg_action a);

typedef void merge_pair_func(ir_node *new_node, ir_node *old_node, dbg_action action);

typedef void merge_sets_func(ir_node *const *new_node_array,
                             int new_num_entries,
                             ir_node *const *old_node_array,
                             int old_num_entries, dbg_action action);

FIRM_API void dbg_init(merge_pair_func *dbg_info_merge_pair,
                       merge_sets_func *dbg_info_merge_sets);

typedef struct src_loc_t {
    char const *file;    
    unsigned    line;    
    unsigned    column;  
} src_loc_t;

typedef src_loc_t (*retrieve_dbg_func)(dbg_info const *dbg);

FIRM_API void ir_set_debug_retrieve(retrieve_dbg_func func);

typedef void (*retrieve_type_dbg_func)(char *buffer, size_t buffer_size,
                                       const type_dbg_info *tdbgi);

FIRM_API void ir_set_type_debug_retrieve(retrieve_type_dbg_func func);

FIRM_API src_loc_t ir_retrieve_dbg_info(dbg_info const *dbg);

FIRM_API void ir_retrieve_type_dbg_info(char *buffer, size_t buffer_size,
                                        const type_dbg_info *tdbgi);

#include "end.h"

#endif