+ type_walk_env type_env;
+
+ type_env.pre = pre;
+ type_env.post = post;
+ type_env.env = env;
+
+ current_ir_graph = irg;
+
+ /* We walk over the irg to find all irnodes that contain an attribute
+ with type information. If we find one we call a type walker to
+ touch the reachable type information.
+ The same type can be referenced by several irnodes. To avoid
+ repeated visits of the same type node we must decrease the
+ type visited flag for each walk. This is done in start_type_walk().
+ Here we initially increase the flag. We only call do_type_walk that does
+ not increase the flag.
+ */
+ inc_master_type_visited();
+ irg_walk(get_irg_end(irg), start_type_walk, NULL, &type_env);
+
+ do_type_walk((type_or_ent *)get_irg_entity(irg), pre, post, env);
+
+ do_type_walk((type_or_ent *)get_irg_frame_type(irg), pre, post, env);
+
+ current_ir_graph = rem;
+ return;
+}
+
+static void type_walk_s2s_2(type_or_ent *tore,
+ void (*pre)(type_or_ent*, void*),
+ void (*post)(type_or_ent*, void*),
+ void *env)
+{
+ int i, n;
+
+ /* marked? */
+ switch (get_kind(tore)) {
+ case k_entity:
+ if (entity_visited((entity *)tore)) return;
+ break;
+ case k_type:
+ if (type_id == get_type_tpop((ir_type*)tore)) {
+ type_walk_s2s_2((type_or_ent *)skip_tid((ir_type *)tore), pre, post, env);
+ return;
+ }
+ if (type_visited((ir_type *)tore)) return;
+ break;
+ default:
+ break;
+ }
+
+ /* iterate */
+ switch (get_kind(tore)) {
+ case k_type:
+ {
+ ir_type *tp = (ir_type *)tore;
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+ case tpo_class:
+ {
+ n = get_class_n_supertypes(tp);
+ for (i = 0; i < n; ++i) {
+ type_walk_s2s_2((type_or_ent *)get_class_supertype(tp, i), pre,
+ post, env);
+ }
+ /* execute pre method */
+ if (pre)
+ pre(tore, env);
+ tp = skip_tid((ir_type*)tore);
+
+ n = get_class_n_subtypes(tp);
+ for (i = 0; i < n; ++i) {
+ type_walk_s2s_2((type_or_ent *)get_class_subtype(tp, i), 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:
+ case tpo_id:
+ /* dont care */
+ break;
+ default:
+ printf(" *** Faulty type! \n");
+ break;
+ }
+ } break; /* end case k_type */
+ case k_entity:
+ /* dont care */
+ break;
+ default:
+ printf(" *** Faulty type or entity! \n");
+ break;
+ }
+ return;
+}
+
+void type_walk_super2sub(
+ void (*pre)(type_or_ent*, void*),
+ void (*post)(type_or_ent*, void*),
+ void *env)
+{
+ int i, n_types = get_irp_n_types();
+ ir_type *tp;
+
+ inc_master_type_visited();
+ type_walk_s2s_2((type_or_ent *)get_glob_type(), pre, post, env);
+ for (i = 0; i < n_types; ++i) {
+ tp = get_irp_type(i);
+ type_walk_s2s_2((type_or_ent *)tp, pre, post, env);
+ }
+}
+
+/*****************************************************************************/
+
+static void
+type_walk_super_2(type_or_ent *tore,
+ void (*pre)(type_or_ent*, void*),
+ void (*post)(type_or_ent*, void*),
+ void *env)
+{
+ int i, n;
+
+ /* marked? */
+ switch (get_kind(tore)) {
+ case k_entity:
+ if (entity_visited((entity *)tore)) return;
+ break;
+ case k_type:
+ if (type_id == get_type_tpop((ir_type*)tore)) {
+ type_walk_super_2((type_or_ent *)skip_tid((ir_type *)tore), pre, post, env);
+ return;
+ }
+ if (type_visited((ir_type *)tore)) return;
+ break;
+ default:
+ break;
+ }
+
+ /* iterate */
+ switch (get_kind(tore)) {
+ case k_type:
+ {
+ ir_type *tp = (ir_type *)tore;
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+ case tpo_class:
+ {
+ /* execute pre method */
+ if (pre)
+ pre(tore, env);
+ tp = skip_tid((ir_type*)tore);
+
+ n = get_class_n_supertypes(tp);
+ for (i = 0; i < n; ++i) {
+ type_walk_super_2((type_or_ent *)get_class_supertype(tp, i), 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:
+ case tpo_id:
+ /* dont care */
+ break;
+ default:
+ printf(" *** Faulty type! \n");
+ break;
+ }
+ } break; /* end case k_type */
+ case k_entity:
+ /* dont care */
+ break;
+ default:
+ printf(" *** Faulty type or entity! \n");
+ break;
+ }
+ return;
+}
+
+void type_walk_super(
+ void (*pre)(type_or_ent*, void*),
+ void (*post)(type_or_ent*, void*),
+ void *env) {
+ int i, n_types = get_irp_n_types();
+ ir_type *tp;
+
+ inc_master_type_visited();
+ type_walk_super_2((type_or_ent *)get_glob_type(), pre, post, env);
+ for (i = 0; i < n_types; ++i) {
+ tp = get_irp_type(i);
+ type_walk_super_2((type_or_ent *)tp, pre, post, env);
+ }
+}
+
+/*****************************************************************************/
+