+void dump_type_to_file(FILE *F, ir_type *tp)
+{
+ size_t i;
+
+ if ((is_Class_type(tp)) && (verbosity & dump_verbosity_noClassTypes)) return;
+ if ((is_Struct_type(tp)) && (verbosity & dump_verbosity_noStructTypes)) return;
+ if ((is_Union_type(tp)) && (verbosity & dump_verbosity_noUnionTypes)) return;
+ if ((is_Array_type(tp)) && (verbosity & dump_verbosity_noArrayTypes)) return;
+ if ((is_Pointer_type(tp)) && (verbosity & dump_verbosity_noPointerTypes)) return;
+ if ((is_Method_type(tp)) && (verbosity & dump_verbosity_noMethodTypes)) return;
+ if ((is_Primitive_type(tp)) && (verbosity & dump_verbosity_noPrimitiveTypes)) return;
+ if ((is_Enumeration_type(tp)) && (verbosity & dump_verbosity_noEnumerationTypes)) return;
+
+ ir_fprintf(F, "%+F", tp);
+ if (verbosity & dump_verbosity_onlynames) { fprintf(F, "\n"); return; }
+
+ switch (get_type_tpop_code(tp)) {
+
+ case tpo_class:
+ if ((verbosity & dump_verbosity_methods) || (verbosity & dump_verbosity_fields)) {
+ fprintf(F, "\n members:\n");
+ }
+ for (i = 0; i < get_class_n_members(tp); ++i) {
+ ir_entity *mem = get_class_member(tp, i);
+ if (((verbosity & dump_verbosity_methods) && is_Method_type(get_entity_type(mem))) ||
+ ((verbosity & dump_verbosity_fields) && !is_Method_type(get_entity_type(mem))) ) {
+ if (!(verbosity & dump_verbosity_nostatic)) {
+ dump_entity_to_file_prefix(F, mem, " ");
+ }
+ }
+ }
+ if (verbosity & dump_verbosity_typeattrs) {
+ fprintf(F, " supertypes: ");
+ for (i = 0; i < get_class_n_supertypes(tp); ++i) {
+ ir_type *stp = get_class_supertype(tp, i);
+ ir_fprintf(F, "\n %d %+F", i, stp);
+ }
+ fprintf(F, "\n subtypes: ");
+ for (i = 0; i < get_class_n_subtypes(tp); ++i) {
+ ir_type *stp = get_class_subtype(tp, i);
+ ir_fprintf(F, "\n %d %+F", i, stp);
+ }
+
+ if (get_irp_inh_transitive_closure_state() != inh_transitive_closure_none) {
+ ir_type *stp;
+ fprintf(F, "\n transitive supertypes: ");
+ for (stp = get_class_trans_supertype_first(tp);
+ stp;
+ stp = get_class_trans_supertype_next(tp)) {
+ ir_fprintf(F, "\n %+F", stp);
+ }
+ fprintf(F, "\n transitive subtypes: ");
+ for (stp = get_class_trans_subtype_first(tp);
+ stp;
+ stp = get_class_trans_subtype_next(tp)) {
+ ir_fprintf(F, "\n %+F", stp);
+ }
+ }
+
+ fprintf(F, "\n flags: ");
+ if (is_class_final(tp))
+ fprintf(F, "final, ");
+ if (is_class_interface(tp))
+ fprintf(F, "interface, ");
+ if (is_class_abstract(tp))
+ fprintf(F, "abstract, ");
+ fprintf(F, "\n");
+ }
+ break;
+
+ case tpo_union:
+ case tpo_struct:
+ if (verbosity & dump_verbosity_fields) fprintf(F, "\n members: ");
+ for (i = 0; i < get_compound_n_members(tp); ++i) {
+ ir_entity *mem = get_compound_member(tp, i);
+ if (verbosity & dump_verbosity_fields) {
+ dump_entity_to_file_prefix(F, mem, " ");
+ }
+ }
+ break;
+
+ case tpo_array:
+ if (verbosity & dump_verbosity_typeattrs) {
+ size_t n_dim;
+ ir_type *elem_tp = get_array_element_type(tp);
+
+ fprintf(F, "\n array ");
+
+ n_dim = get_array_n_dimensions(tp);
+ for (i = 0; i < n_dim; ++i) {
+ ir_node *lower, *upper;
+
+ lower = get_array_lower_bound(tp, i);
+ upper = get_array_upper_bound(tp, i);
+
+ fprintf(F, "[");
+
+ if (is_Const(lower)) {
+ fprintf(F, "%ld .. ", get_tarval_long(get_Const_tarval(lower)));
+ } else {
+ dump_node_opcode(F, lower);
+ fprintf(F, " %ld .. ", get_irn_node_nr(lower));
+ }
+
+ if (is_Const(upper)) {
+ fprintf(F, "%ld]", get_tarval_long(get_Const_tarval(lower)));
+ } else {
+ dump_node_opcode(F, upper);
+ fprintf(F, " %ld]", get_irn_node_nr(upper));
+ }
+ }
+ ir_fprintf(F, " of <%+F>", elem_tp);
+
+ fprintf(F, "\n order: ");
+ for (i = 0; i < n_dim; ++i)
+ fprintf(F, "<%zu>", get_array_order(tp, i));
+
+ fprintf(F, "\n");
+
+ if (verbosity & dump_verbosity_fields) {
+ dump_entity_to_file_prefix(F, get_array_element_entity(tp),
+ " ");
+ }
+ }
+ break;
+
+ case tpo_pointer:
+ if (verbosity & dump_verbosity_typeattrs) {
+ ir_type *tt = get_pointer_points_to_type(tp);
+ ir_fprintf(F, "\n points to %+F\n", tt);
+ }
+ break;
+
+ case tpo_method:
+ if (verbosity & dump_verbosity_typeattrs) {
+ mtp_additional_properties mtp = get_method_additional_properties(tp);
+ unsigned cconv = get_method_calling_convention(tp);
+ fprintf(F, "\n variadicity: %s", get_variadicity_name(get_method_variadicity(tp)));
+ fprintf(F, "\n return types: %lu",
+ (unsigned long) get_method_n_ress(tp));
+ for (i = 0; i < get_method_n_ress(tp); ++i) {
+ ir_type *rtp = get_method_res_type(tp, i);
+ ir_fprintf(F, "\n %+F", rtp);
+ }
+
+ fprintf(F, "\n parameter types: %lu",
+ (unsigned long) get_method_n_params(tp));
+ for (i = 0; i < get_method_n_params(tp); ++i) {
+ ir_type *ptp = get_method_param_type(tp, i);
+ ir_fprintf(F, "\n %+F", ptp);
+ }
+ fprintf(F, "\n properties:");
+ if (mtp & mtp_property_const)
+ fputs(" const", F);
+ if (mtp & mtp_property_pure)
+ fputs(" pure", F);
+ if (mtp & mtp_property_noreturn)
+ fputs(" noreturn", F);
+ if (mtp & mtp_property_nothrow)
+ fputs(" nothrow", F);
+ if (mtp & mtp_property_naked)
+ fputs(" naked", F);
+ if (mtp & mtp_property_malloc)
+ fputs(" malloc", F);
+ if (mtp & mtp_property_returns_twice)
+ fputs(" returns_twice", F);
+ if (mtp & mtp_property_intrinsic)
+ fputs(" intrinsic", F);
+ if (mtp & mtp_property_runtime)
+ fputs(" runtime", F);
+ if (mtp & mtp_property_private)
+ fputs(" private", F);
+ if (mtp & mtp_property_has_loop)
+ fputs(" has_Loop", F);
+
+ fprintf(F, "\n calling convention:");
+ if (cconv & cc_reg_param)
+ fputs(" regparam", F);
+ if (cconv & cc_last_on_top)
+ fputs(" last_on_top", F);
+ if (cconv & cc_callee_clear_stk)
+ fputs(" calle_clear_stk", F);
+ if (cconv & cc_this_call)
+ fputs(" this_call", F);
+ if (cconv & cc_compound_ret)
+ fputs(" compound_ret", F);
+ if (cconv & cc_frame_on_caller_stk)
+ fputs(" frame_on_caller_stk", F);
+ if (cconv & cc_fpreg_param)
+ fputs(" fpreg_param", F);
+
+ if (get_method_variadicity(tp)) {
+ fprintf(F, "\n ...");
+ }
+ fprintf(F, "\n");
+ }
+ break;
+
+ case tpo_primitive:
+ if (verbosity & dump_verbosity_typeattrs) {
+ ir_type *base_tp = get_primitive_base_type(tp);
+ if (base_tp != NULL)
+ ir_fprintf(F, "\n base type: %+F", tp);
+ fprintf(F, "\n");
+ }
+ break;
+
+ case tpo_none:
+ case tpo_unknown:
+ fprintf(F, "\n");
+ break;
+
+ default:
+ if (verbosity & dump_verbosity_typeattrs) {
+ fprintf(F, ": details not implemented\n");
+ }
+ }