/* Pretty formatting of GIMPLE statements and expressions.
- Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
+ Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
Free Software Foundation, Inc.
Contributed by Aldy Hernandez <aldyh@redhat.com> and
Diego Novillo <dnovillo@google.com>
case FIX_TRUNC_EXPR:
case FLOAT_EXPR:
CASE_CONVERT:
- pp_string (buffer, "(");
+ pp_character (buffer, '(');
dump_generic_node (buffer, TREE_TYPE (lhs), spc, flags, false);
pp_string (buffer, ") ");
- dump_generic_node (buffer, rhs, spc, flags, false);
+ if (op_prio (rhs) < op_code_prio (rhs_code))
+ {
+ pp_character (buffer, '(');
+ dump_generic_node (buffer, rhs, spc, flags, false);
+ pp_character (buffer, ')');
+ }
+ else
+ dump_generic_node (buffer, rhs, spc, flags, false);
break;
case PAREN_EXPR:
case ABS_EXPR:
pp_string (buffer, "ABS_EXPR <");
dump_generic_node (buffer, rhs, spc, flags, false);
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
break;
default:
|| rhs_code == SSA_NAME
|| rhs_code == ADDR_EXPR
|| rhs_code == CONSTRUCTOR)
- ; /* do nothing. */
+ {
+ dump_generic_node (buffer, rhs, spc, flags, false);
+ break;
+ }
else if (rhs_code == BIT_NOT_EXPR)
- pp_string (buffer, "~");
+ pp_character (buffer, '~');
else if (rhs_code == TRUTH_NOT_EXPR)
- pp_string (buffer, "!");
+ pp_character (buffer, '!');
else if (rhs_code == NEGATE_EXPR)
- pp_string (buffer, "-");
+ pp_character (buffer, '-');
else
{
- pp_string (buffer, "[");
+ pp_character (buffer, '[');
pp_string (buffer, tree_code_name [rhs_code]);
pp_string (buffer, "] ");
}
- dump_generic_node (buffer, rhs, spc, flags, false);
+ if (op_prio (rhs) < op_code_prio (rhs_code))
+ {
+ pp_character (buffer, '(');
+ dump_generic_node (buffer, rhs, spc, flags, false);
+ pp_character (buffer, ')');
+ }
+ else
+ dump_generic_node (buffer, rhs, spc, flags, false);
break;
}
}
static void
dump_binary_rhs (pretty_printer *buffer, gimple gs, int spc, int flags)
{
- switch (gimple_assign_rhs_code (gs))
+ const char *p;
+ enum tree_code code = gimple_assign_rhs_code (gs);
+ switch (code)
{
case COMPLEX_EXPR:
- pp_string (buffer, "COMPLEX_EXPR <");
- dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
- pp_string (buffer, ", ");
- dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
- pp_string (buffer, ">");
- break;
-
case MIN_EXPR:
- pp_string (buffer, "MIN_EXPR <");
- dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
- pp_string (buffer, ", ");
- dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
- pp_string (buffer, ">");
- break;
-
case MAX_EXPR:
- pp_string (buffer, "MAX_EXPR <");
+ case VEC_WIDEN_MULT_HI_EXPR:
+ case VEC_WIDEN_MULT_LO_EXPR:
+ case VEC_PACK_TRUNC_EXPR:
+ case VEC_PACK_SAT_EXPR:
+ case VEC_PACK_FIX_TRUNC_EXPR:
+ case VEC_EXTRACT_EVEN_EXPR:
+ case VEC_EXTRACT_ODD_EXPR:
+ case VEC_INTERLEAVE_HIGH_EXPR:
+ case VEC_INTERLEAVE_LOW_EXPR:
+ for (p = tree_code_name [(int) code]; *p; p++)
+ pp_character (buffer, TOUPPER (*p));
+ pp_string (buffer, " <");
dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
pp_string (buffer, ", ");
dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
break;
default:
- dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
+ if (op_prio (gimple_assign_rhs1 (gs)) <= op_code_prio (code))
+ {
+ pp_character (buffer, '(');
+ dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags,
+ false);
+ pp_character (buffer, ')');
+ }
+ else
+ dump_generic_node (buffer, gimple_assign_rhs1 (gs), spc, flags, false);
pp_space (buffer);
pp_string (buffer, op_symbol_code (gimple_assign_rhs_code (gs)));
pp_space (buffer);
- dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
+ if (op_prio (gimple_assign_rhs2 (gs)) <= op_code_prio (code))
+ {
+ pp_character (buffer, '(');
+ dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags,
+ false);
+ pp_character (buffer, ')');
+ }
+ else
+ dump_generic_node (buffer, gimple_assign_rhs2 (gs), spc, flags, false);
}
}
pp_string (buffer, ", ");
dump_gimple_call_args (buffer, gs, flags);
}
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
}
else
{
dump_generic_node (buffer, gimple_call_fn (gs), spc, flags, false);
pp_string (buffer, " (");
dump_gimple_call_args (buffer, gs, flags);
- pp_string (buffer, ")");
+ pp_character (buffer, ')');
if (!(flags & TDF_RHS_ONLY))
pp_semicolon (buffer);
}
continue;
dump_generic_node (buffer, case_label, spc, flags, false);
- pp_string (buffer, " ");
+ pp_character (buffer, ' ');
dump_generic_node (buffer, CASE_LABEL (case_label), spc, flags, false);
if (i < gimple_switch_num_labels (gs) - 1)
pp_string (buffer, ", ");
}
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
}
dump_generic_node (buffer, gimple_cond_rhs (gs), spc, flags, false);
if (!(flags & TDF_RHS_ONLY))
{
- pp_string (buffer, ")");
+ pp_character (buffer, ')');
if (gimple_cond_true_label (gs))
{
else
{
dump_generic_node (buffer, label, spc, flags, false);
- pp_string (buffer, ":");
+ pp_character (buffer, ':');
}
if (DECL_NONLOCAL (label))
pp_string (buffer, " [non-local]");
{
pp_string (buffer, "try");
newline_and_indent (buffer, spc + 2);
- pp_string (buffer, "{");
+ pp_character (buffer, '{');
pp_newline (buffer);
dump_gimple_seq (buffer, gimple_try_eval (gs), spc + 4, flags);
newline_and_indent (buffer, spc + 2);
- pp_string (buffer, "}");
+ pp_character (buffer, '}');
if (gimple_try_kind (gs) == GIMPLE_TRY_CATCH)
{
newline_and_indent (buffer, spc);
pp_string (buffer, "catch");
newline_and_indent (buffer, spc + 2);
- pp_string (buffer, "{");
+ pp_character (buffer, '{');
}
else if (gimple_try_kind (gs) == GIMPLE_TRY_FINALLY)
{
newline_and_indent (buffer, spc);
pp_string (buffer, "finally");
newline_and_indent (buffer, spc + 2);
- pp_string (buffer, "{");
+ pp_character (buffer, '{');
}
else
pp_string (buffer, " <UNKNOWN GIMPLE_TRY> {");
}
-/* Dump the set of decls SYMS. BUFFER, SPC and FLAGS are as in
- dump_generic_node. */
-
-static void
-dump_symbols (pretty_printer *buffer, bitmap syms, int flags)
-{
- unsigned i;
- bitmap_iterator bi;
-
- if (syms == NULL)
- pp_string (buffer, "NIL");
- else
- {
- pp_string (buffer, " { ");
-
- EXECUTE_IF_SET_IN_BITMAP (syms, 0, i, bi)
- {
- tree sym = referenced_var_lookup (i);
- dump_generic_node (buffer, sym, 0, flags, false);
- pp_string (buffer, " ");
- }
-
- pp_string (buffer, "}");
- }
-}
-
-
/* Dump a PHI node PHI. BUFFER, SPC and FLAGS are as in
dump_gimple_stmt. */
{
dump_generic_node (buffer, gimple_phi_arg_def (phi, i), spc, flags,
false);
- pp_string (buffer, "(");
+ pp_character (buffer, '(');
pp_decimal_int (buffer, gimple_phi_arg_edge (phi, i)->src->index);
- pp_string (buffer, ")");
+ pp_character (buffer, ')');
if (i < gimple_phi_num_args (phi) - 1)
pp_string (buffer, ", ");
}
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
}
static void
dump_gimple_mem_ops (pretty_printer *buffer, gimple gs, int spc, int flags)
{
- struct voptype_d *vdefs;
- struct voptype_d *vuses;
- int i, n;
+ tree vdef = gimple_vdef (gs);
+ tree vuse = gimple_vuse (gs);
if (!ssa_operands_active () || !gimple_references_memory_p (gs))
return;
- /* Even if the statement doesn't have virtual operators yet, it may
- contain symbol information (this happens before aliases have been
- computed). */
- if ((flags & TDF_MEMSYMS)
- && gimple_vuse_ops (gs) == NULL
- && gimple_vdef_ops (gs) == NULL)
- {
- if (gimple_loaded_syms (gs))
- {
- pp_string (buffer, "# LOADS: ");
- dump_symbols (buffer, gimple_loaded_syms (gs), flags);
- newline_and_indent (buffer, spc);
- }
-
- if (gimple_stored_syms (gs))
- {
- pp_string (buffer, "# STORES: ");
- dump_symbols (buffer, gimple_stored_syms (gs), flags);
- newline_and_indent (buffer, spc);
- }
-
- return;
- }
-
- vuses = gimple_vuse_ops (gs);
- while (vuses)
+ if (vdef != NULL_TREE)
{
- pp_string (buffer, "# VUSE <");
-
- n = VUSE_NUM (vuses);
- for (i = 0; i < n; i++)
- {
- dump_generic_node (buffer, VUSE_OP (vuses, i), spc + 2, flags, false);
- if (i < n - 1)
- pp_string (buffer, ", ");
- }
-
- pp_string (buffer, ">");
-
- if (flags & TDF_MEMSYMS)
- dump_symbols (buffer, gimple_loaded_syms (gs), flags);
-
+ pp_string (buffer, "# ");
+ dump_generic_node (buffer, vdef, spc + 2, flags, false);
+ pp_string (buffer, " = VDEF <");
+ dump_generic_node (buffer, vuse, spc + 2, flags, false);
+ pp_character (buffer, '>');
newline_and_indent (buffer, spc);
- vuses = vuses->next;
}
-
- vdefs = gimple_vdef_ops (gs);
- while (vdefs)
+ else if (vuse != NULL_TREE)
{
- pp_string (buffer, "# ");
- dump_generic_node (buffer, VDEF_RESULT (vdefs), spc + 2, flags, false);
- pp_string (buffer, " = VDEF <");
-
- n = VDEF_NUM (vdefs);
- for (i = 0; i < n; i++)
- {
- dump_generic_node (buffer, VDEF_OP (vdefs, i), spc + 2, flags, 0);
- if (i < n - 1)
- pp_string (buffer, ", ");
- }
-
- pp_string (buffer, ">");
-
- if ((flags & TDF_MEMSYMS) && vdefs->next == NULL)
- dump_symbols (buffer, gimple_stored_syms (gs), flags);
-
+ pp_string (buffer, "# VUSE <");
+ dump_generic_node (buffer, vuse, spc + 2, flags, false);
+ pp_character (buffer, '>');
newline_and_indent (buffer, spc);
- vdefs = vdefs->next;
}
}
FOR_EACH_EDGE (e, ei, bb->preds)
if (flags & TDF_SLIM)
{
- pp_string (buffer, " ");
+ pp_character (buffer, ' ');
if (e->src == ENTRY_BLOCK_PTR)
pp_string (buffer, "ENTRY");
else
FOR_EACH_EDGE (e, ei, bb->succs)
if (flags & TDF_SLIM)
{
- pp_string (buffer, " ");
+ pp_character (buffer, ' ');
if (e->dest == EXIT_BLOCK_PTR)
pp_string (buffer, "EXIT");
else
pp_string (buffer, "goto <bb ");
pp_decimal_int (buffer, bb->index);
- pp_string (buffer, ">");
+ pp_character (buffer, '>');
if (stmt && gimple_code (stmt) == GIMPLE_LABEL)
{
pp_string (buffer, " (");
dump_generic_node (buffer, gimple_label_label (stmt), 0, 0, false);
- pp_string (buffer, ")");
+ pp_character (buffer, ')');
pp_semicolon (buffer);
}
else