/**
* For debugging. call *compare_iv() and prints inputs and result.
*
* @param l_iv the left interval
* @param r_iv the right interval
* @param relation the compare relation
*/
static tarval *compare_iv_dbg(const interval_t *l_iv, const interval_t *r_iv, ir_relation relation)
{
tarval *tv = (compare_iv)(l_iv, r_iv, relation);
if (tv == tarval_bad)
return tv;
ir_printf("In %e:\n", get_irg_entity(current_ir_graph));
print_iv_cmp(l_iv, r_iv, relation);
ir_printf(" = %T\n", tv);
return tv;
}
/**
* For debugging. Prints an interval compare.
*
* @param l_iv the left interval
* @param r_iv the right interval
* @param relation the compare relation
*/
static void print_iv_cmp(const interval_t *l_iv, const interval_t *r_iv, ir_relation relation)
{
char sl[128], sr[128];
iv_snprintf(sl, sizeof(sl), l_iv);
iv_snprintf(sr, sizeof(sr), r_iv);
ir_printf("%s %= %s", sl, relation, sr);
}
void binary_tags_info()
{
#if defined BOARD_PC && defined DEBUG
UINT16 i = 0;
for (i = 0; i < tag_count; i++)
{
if (tags[i].len == 0)
{
continue;
}
ir_printf("tag(%d).len = %d\n", tags[i].tag, tags[i].len);
}
#endif
}
