+ current_ir_graph = rem;
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
+}
+
+static void type_walk_s2s_2(type_or_ent tore,
+ type_walk_func *pre,
+ type_walk_func *post,
+ void *env)
+{
+ type_or_ent cont;
+
+ /* marked? */
+ switch (get_kind(tore.ent)) {
+ case k_entity:
+ if (entity_visited(tore.ent)) return;
+ break;
+ case k_type:
+ if (type_visited(tore.typ)) return;
+ break;
+ default:
+ break;
+ }
+
+ /* iterate */
+ switch (get_kind(tore.typ)) {
+ case k_type:
+ {
+ ir_type *tp = tore.typ;
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+ case tpo_class:
+ {
+ size_t i, n;
+
+ n = get_class_n_supertypes(tp);
+ for (i = 0; i < n; ++i) {
+ cont.typ = get_class_supertype(tp, i);
+ type_walk_s2s_2(cont, pre, post, env);
+ }
+ /* execute pre method */
+ if (pre)
+ pre(tore, env);
+
+ n = get_class_n_subtypes(tp);
+ for (i = 0; i < n; ++i) {
+ cont.typ = get_class_subtype(tp, i);
+ type_walk_s2s_2(cont, pre, post, env);
+ }
+
+ /* execute post method */
+ if (post)
+ post(tore, env);
+ }
+ break;
+ case tpo_struct:
+ case tpo_method:
+ case tpo_union:
+ case tpo_array:
+ case tpo_enumeration:
+ case tpo_pointer:
+ case tpo_primitive:
+ /* dont care */
+ break;
+ default:
+ printf(" *** Faulty type! \n");
+ break;
+ }
+ } break; /* end case k_type */
+ case k_entity:
+ /* don't care */
+ break;
+ default:
+ printf(" *** Faulty type or entity! \n");
+ break;
+ }
+}
+
+void type_walk_super2sub(type_walk_func *pre,
+ type_walk_func *post,
+ void *env)
+{
+ type_or_ent cont;
+ size_t i, n_types = get_irp_n_types();
+
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
+ inc_master_type_visited();
+ cont.typ = get_glob_type();
+ type_walk_s2s_2(cont, pre, post, env);
+ for (i = 0; i < n_types; ++i) {
+ cont.typ = get_irp_type(i);
+ type_walk_s2s_2(cont, pre, post, env);
+ }
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
+}
+
+/*****************************************************************************/
+
+static void type_walk_super_2(type_or_ent tore, type_walk_func *pre,
+ type_walk_func *post, void *env)
+{
+ type_or_ent cont;
+
+ /* marked? */
+ switch (get_kind(tore.ent)) {
+ case k_entity:
+ if (entity_visited(tore.ent))
+ return;
+ break;
+ case k_type:
+ if (type_visited(tore.typ))
+ return;
+ break;
+ default:
+ break;
+ }
+
+ /* iterate */
+ switch (get_kind(tore.typ)) {
+ case k_type:
+ {
+ ir_type *tp = tore.typ;
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+ case tpo_class:
+ {
+ size_t i, n;
+
+ /* execute pre method */
+ if (pre)
+ pre(tore, env);
+
+ n = get_class_n_supertypes(tp);
+ for (i = 0; i < n; ++i) {
+ cont.typ = get_class_supertype(tp, i);
+ type_walk_super_2(cont, pre, post, env);
+ }
+
+ /* execute post method */
+ if (post)
+ post(tore, env);
+ }
+ break;
+ case tpo_struct:
+ case tpo_method:
+ case tpo_union:
+ case tpo_array:
+ case tpo_enumeration:
+ case tpo_pointer:
+ case tpo_primitive:
+ /* don't care */
+ break;
+ default:
+ printf(" *** Faulty type! \n");
+ break;
+ }
+ } break; /* end case k_type */
+ case k_entity:
+ /* don't care */
+ break;
+ default:
+ printf(" *** Faulty type or entity! \n");
+ break;
+ }
+}
+
+void type_walk_super(type_walk_func *pre, type_walk_func *post, void *env)
+{
+ size_t i, n_types = get_irp_n_types();
+ type_or_ent cont;
+
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
+ inc_master_type_visited();
+ cont.typ = get_glob_type();
+ type_walk_super_2(cont, pre, post, env);
+ for (i = 0; i < n_types; ++i) {
+ cont.typ = get_irp_type(i);
+ type_walk_super_2(cont, pre, post, env);
+ }
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
+}
+
+/*****************************************************************************/
+
+
+static void class_walk_s2s_2(ir_type *tp, class_walk_func *pre,
+ class_walk_func *post, void *env)
+{
+ size_t i, n;
+
+ /* marked? */
+ if (type_visited(tp)) return;
+
+ assert(is_Class_type(tp));
+ /* Assure all supertypes are visited before */
+ n = get_class_n_supertypes(tp);
+ for (i = 0; i < n; ++i) {
+ if (type_not_visited(get_class_supertype(tp, i)))
+ return;
+ }
+
+ mark_type_visited(tp);
+
+ /* execute pre method */
+ if (pre)
+ pre(tp, env);
+
+ n = get_class_n_subtypes(tp);
+ for (i = 0; i < n; ++i) {
+ class_walk_s2s_2(get_class_subtype(tp, i), pre, post, env);
+ }
+ /* execute post method */
+ if (post)
+ post(tp, env);
+}
+
+void class_walk_super2sub(class_walk_func *pre,
+ class_walk_func *post,
+ void *env)
+{
+ size_t i, n_types = get_irp_n_types();
+ ir_type *tp;
+
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
+ inc_master_type_visited();
+ for (i = 0; i < n_types; i++) {
+ tp = get_irp_type(i);
+ if (is_Class_type(tp) &&
+ (get_class_n_supertypes(tp) == 0) &&
+ type_not_visited(tp)) {
+ assert(! is_frame_type(tp));
+ assert(tp != get_glob_type());
+ class_walk_s2s_2(tp, pre, post, env);
+ }
+ }
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
+}
+
+
+/* Walks over all entities in the type */
+void walk_types_entities(ir_type *tp,
+ entity_walk_func *doit,
+ void *env)
+{
+ size_t i, n;