-static ir_entity *get_addr_entity(ir_node *addr, int pos) {
- ir_entity *ent;
-
- switch (get_irn_opcode(addr)) {
- case iro_Sel:
- /* Treat jack array sels? They are compounds! Follow to outermost entity. */
- while (is_Sel(get_Sel_ptr(addr))) {
- addr = get_Sel_ptr(addr);
- }
- assert (0 <= pos && pos < get_Sel_n_accessed_entities(addr));
- ent = get_Sel_accessed_entity(addr);
- break;
- case iro_SymConst:
- if (get_SymConst_kind(addr) == symconst_addr_ent) {
- assert(pos == 0);
- ent = get_SymConst_entity(addr);
- break;
- }
- default:
- ent = NULL;
- }
-
- return ent;
-}
-
-static void chain_accesses(ir_node *n, void *env) {
- int i, n_ents;
- ir_node *addr;
-
- if (get_irn_op(n) == op_Alloc) {
- add_type_alloc(get_Alloc_type(n), n);
- return;
- } else
-
- if (get_irn_op(n) == op_Cast) {
- add_type_cast(get_Cast_type(n), n);
- return;
- } else
-
- if (get_irn_op(n) == op_Sel) {
- add_entity_reference(get_Sel_entity(n), n);
- return;
- } else if (get_irn_op(n) == op_SymConst && (get_SymConst_kind(n) == symconst_addr_ent)) {
- add_entity_reference(get_SymConst_entity(n), n);
- return;
- } else
-
- if (is_memop(n)) {
- addr = get_memop_ptr(n);
- } else if (get_irn_op(n) == op_Call) {
- addr = get_Call_ptr(n);
- if (! is_Sel(addr)) return; /* Sels before Calls mean a Load / polymorphic Call. */
- } else {
- return;
- }
-
- n_ents = get_addr_n_entities(addr); /* == 1 */
- for (i = 0; i < n_ents; ++i) {
- ir_entity *ent = get_addr_entity(addr, i);
- if (ent)
- add_entity_access(ent, n);
- //else
- //add_unrecognized_access(n);
- }
-}
-
-static void chain_types(ir_type *tp) {
- if (is_Pointer_type(tp)) {
- add_type_pointertype_to(get_pointer_points_to_type(tp), tp);
- } else if (is_Array_type(tp)) {
- add_type_arraytype_of(get_array_element_type(tp), tp);
- }
-}
-
-irg_outs_state get_trouts_state(void) {
- return irp->trouts_state;
-}
-void set_trouts_inconsistent(void) {
- if (irp->trouts_state == outs_consistent)
- irp->trouts_state = outs_inconsistent;
-}
-
-
-/* compute the field temperature. */
-void compute_trouts(void) {
- int i,
- n_irgs = get_irp_n_irgs(),
- n_types = get_irp_n_types();
-
- free_trouts();
- init_trouts();
-
- /* Compute outs for irnodes. */
- for (i = 0; i < n_irgs; i++) {
- irg_walk_graph(get_irp_irg(i), NULL, chain_accesses, NULL);
- }
- walk_const_code(NULL, chain_accesses, NULL);
-
- /* Compute outs for types */
- for (i = 0; i < n_types; ++i) {
- chain_types(get_irp_type(i));
- }
-
- irp->trouts_state = outs_consistent;
-}
-
-
-void free_trouts(void) {
-
- if (entity_access_map) {
- ir_node **accs;
- for (accs = (ir_node **)pmap_first(entity_access_map);
- accs;
- accs = (ir_node **)pmap_next(entity_access_map))
- ; //DEL_ARR_F(accs);
- pmap_destroy(entity_access_map);
- entity_access_map = NULL;
- }
-
- if (entity_reference_map) {
- ir_node **refs;
- for (refs = (ir_node **)pmap_first(entity_reference_map);
- refs;
- refs = (ir_node **)pmap_next(entity_reference_map))
- ; //DEL_ARR_F(refs);
- pmap_destroy(entity_reference_map);
- entity_reference_map = NULL;
- }
-
- if (type_alloc_map) {
- ir_node **alls;
- for (alls = (ir_node **)pmap_first(type_alloc_map);
- alls;
- alls = (ir_node **)pmap_next(type_alloc_map))
- ; //DEL_ARR_F(alls);
- pmap_destroy(type_alloc_map);
- type_alloc_map = NULL;
- }
-
- if (type_cast_map) {
- ir_node **casts;
- for (casts = (ir_node **)pmap_first(type_cast_map);
- casts;
- casts = (ir_node **)pmap_next(type_cast_map))
- ; //DEL_ARR_F(alls);
- pmap_destroy(type_cast_map);
- type_cast_map = NULL;
- }
-
- if (type_pointertype_map) {
- ir_node **pts;
- for (pts = (ir_node **)pmap_first(type_pointertype_map);
- pts;
- pts = (ir_node **)pmap_next(type_pointertype_map))
- ; //DEL_ARR_F(pts);
- pmap_destroy(type_pointertype_map);
- type_pointertype_map = NULL;
- }
-
- if (type_arraytype_map) {
- ir_node **pts;
- for (pts = (ir_node **)pmap_first(type_arraytype_map);
- pts;
- pts = (ir_node **)pmap_next(type_arraytype_map))
- ; //DEL_ARR_F(pts);
- pmap_destroy(type_arraytype_map);
- type_arraytype_map = NULL;
- }
-
- irp->trouts_state = outs_none;
+static ir_entity *get_addr_entity(const ir_node *addr, int pos)
+{
+ ir_node *ptr;
+ (void) pos;
+
+ switch (get_irn_opcode(addr)) {
+ case iro_Sel:
+ /* Treat jack array sels? They are compounds! Follow to outermost entity. */
+ ptr = get_Sel_ptr(addr);
+ while (is_Sel(ptr)) {
+ addr = ptr;
+ ptr = get_Sel_ptr(addr);
+ }
+ assert(0 <= pos && pos < get_Sel_n_accessed_entities(addr));
+ return get_Sel_accessed_entity(addr);
+ case iro_SymConst:
+ if (get_SymConst_kind(addr) == symconst_addr_ent) {
+ assert(pos == 0);
+ return get_SymConst_entity(addr);
+ }
+ return NULL;
+ default:
+ return NULL;
+ }
+}
+
+static void chain_accesses(ir_node *n, void *env)
+{
+ int i, n_ents;
+ ir_node *addr;
+
+ (void) env;
+ if (is_Alloc(n)) {
+ add_type_alloc(get_Alloc_type(n), n);
+ return;
+ } else if (is_Cast(n)) {
+ add_type_cast(get_Cast_type(n), n);
+ return;
+ } else if (is_Sel(n)) {
+ add_entity_reference(get_Sel_entity(n), n);
+ return;
+ } else if (is_SymConst_addr_ent(n)) {
+ add_entity_reference(get_SymConst_entity(n), n);
+ return;
+ } else if (is_memop(n)) {
+ addr = get_memop_ptr(n);
+ } else if (is_Call(n)) {
+ addr = get_Call_ptr(n);
+ if (! is_Sel(addr)) return; /* Sels before Calls mean a Load / polymorphic Call. */
+ } else {
+ return;
+ }
+
+ n_ents = get_addr_n_entities(addr); /* == 1 */
+ for (i = 0; i < n_ents; ++i) {
+ ir_entity *ent = get_addr_entity(addr, i);
+ if (ent)
+ add_entity_access(ent, n);
+ //else
+ //add_unrecognized_access(n);
+ }
+}
+
+/**
+ * Handle chain types (pointer, array) by adding them to
+ * its "inner" type.
+ */
+static void chain_types(ir_type *tp)
+{
+ if (is_Pointer_type(tp)) {
+ add_type_pointertype_to(get_pointer_points_to_type(tp), tp);
+ } else if (is_Array_type(tp)) {
+ add_type_arraytype_of(get_array_element_type(tp), tp);
+ }
+}
+
+irg_outs_state get_trouts_state(void)
+{
+ return irp->trouts_state;
+}
+
+void set_trouts_inconsistent(void)
+{
+ if (irp->trouts_state == outs_consistent)
+ irp->trouts_state = outs_inconsistent;
+}
+
+/* compute the trouts data structures. */
+void compute_trouts(void)
+{
+ int i;
+
+ free_trouts();
+ init_trouts();
+
+ /* Compute outs for IR nodes. */
+ for (i = get_irp_n_irgs() - 1; i >= 0; --i) {
+ irg_walk_graph(get_irp_irg(i), NULL, chain_accesses, NULL);
+ }
+ walk_const_code(NULL, chain_accesses, NULL);
+
+ /* Compute outs for types */
+ for (i = get_irp_n_types() - 1; i >= 0; --i) {
+ chain_types(get_irp_type(i));
+ }
+
+ irp->trouts_state = outs_consistent;
+}
+
+void free_trouts(void)
+{
+ if (entity_access_map) {
+ ir_node **accs;
+ for (accs = (ir_node **)pmap_first(entity_access_map);
+ accs;
+ accs = (ir_node **)pmap_next(entity_access_map)) {
+ /* DEL_ARR_F(accs); */
+ }
+ pmap_destroy(entity_access_map);
+ entity_access_map = NULL;
+ }
+
+ if (entity_reference_map) {
+ ir_node **refs;
+ for (refs = (ir_node **)pmap_first(entity_reference_map);
+ refs;
+ refs = (ir_node **)pmap_next(entity_reference_map)) {
+ /* DEL_ARR_F(refs); */
+ }
+ pmap_destroy(entity_reference_map);
+ entity_reference_map = NULL;
+ }
+
+ if (type_alloc_map) {
+ ir_node **alls;
+ for (alls = (ir_node **)pmap_first(type_alloc_map);
+ alls;
+ alls = (ir_node **)pmap_next(type_alloc_map)) {
+ /* DEL_ARR_F(alls); */
+ }
+ pmap_destroy(type_alloc_map);
+ type_alloc_map = NULL;
+ }
+
+ if (type_cast_map) {
+ ir_node **casts;
+ for (casts = (ir_node **)pmap_first(type_cast_map);
+ casts;
+ casts = (ir_node **)pmap_next(type_cast_map)) {
+ /* DEL_ARR_F(alls); */
+ }
+ pmap_destroy(type_cast_map);
+ type_cast_map = NULL;
+ }
+
+ if (type_pointertype_map) {
+ ir_node **pts;
+ for (pts = (ir_node **)pmap_first(type_pointertype_map);
+ pts;
+ pts = (ir_node **)pmap_next(type_pointertype_map)) {
+ /* DEL_ARR_F(pts); */
+ }
+ pmap_destroy(type_pointertype_map);
+ type_pointertype_map = NULL;
+ }
+
+ if (type_arraytype_map) {
+ ir_node **pts;
+ for (pts = (ir_node **)pmap_first(type_arraytype_map);
+ pts;
+ pts = (ir_node **)pmap_next(type_arraytype_map)) {
+ /* DEL_ARR_F(pts); */
+ }
+ pmap_destroy(type_arraytype_map);
+ type_arraytype_map = NULL;
+ }
+
+ irp->trouts_state = outs_none;