+/**
+ * Completes an incomplete irprog.
+ *
+ * @param irp the (yet incomplete) irp
+ * @param module_name the (module) name for this irp
+ */
+static ir_prog *complete_ir_prog(ir_prog *irp, const char *module_name)
+{
+ ir_segment_t s;
+
+#define IDENT(x) new_id_from_chars(x, sizeof(x) - 1)
+
+ irp->name = new_id_from_str(module_name);
+ irp->segment_types[IR_SEGMENT_GLOBAL] = new_type_class(IDENT("GlobalType"));
+ irp->segment_types[IR_SEGMENT_THREAD_LOCAL]
+ = new_type_class(IDENT("ThreadLocal"));
+ irp->segment_types[IR_SEGMENT_CONSTRUCTORS]
+ = new_type_class(IDENT("Constructors"));
+ irp->segment_types[IR_SEGMENT_DESTRUCTORS]
+ = new_type_class(IDENT("Destructors"));
+ /* Remove these types from type list. Must be treated differently than
+ other types. */
+ for (s = IR_SEGMENT_FIRST; s <= IR_SEGMENT_LAST; ++s) {
+ remove_irp_type(irp->segment_types[s]);
+ }
+
+ /* Set these flags for debugging. */
+ irp->segment_types[IR_SEGMENT_GLOBAL]->flags |= tf_global_type;
+ irp->segment_types[IR_SEGMENT_THREAD_LOCAL]->flags |= tf_tls_type;
+ irp->segment_types[IR_SEGMENT_CONSTRUCTORS]->flags |= tf_constructors;
+ irp->segment_types[IR_SEGMENT_DESTRUCTORS]->flags |= tf_destructors;
+
+ /* The global type is a class, but we cannot derive from it, so set
+ the final property to assist optimizations that checks for it. */
+ set_class_final(irp->segment_types[IR_SEGMENT_GLOBAL], 1);
+
+ irp->const_code_irg = new_const_code_irg();
+ irp->phase_state = phase_building;
+ irp->outs_state = outs_none;
+ irp->ip_outedges = NULL;
+ irp->trouts_state = outs_none;
+ irp->class_cast_state = ir_class_casts_transitive;
+ irp->globals_entity_usage_state = ir_entity_usage_not_computed;
+
+ return irp;
+#undef IDENT