+
+void ir_set_type_debug_retrieve(retrieve_type_dbg_func func)
+{
+ retrieve_type_dbg = func;
+}
+
+void ir_retrieve_type_dbg_info(char *buffer, size_t buffer_size,
+ const type_dbg_info *tdbgi)
+{
+ if (retrieve_type_dbg)
+ retrieve_type_dbg(buffer, buffer_size, tdbgi);
+ assert(buffer_size > 0);
+ buffer[buffer_size-1] = 0;
+}
+
+void ir_dbg_info_snprint(char *buf, size_t bufsize, const dbg_info *dbg)
+{
+ unsigned line;
+ const char *source = ir_retrieve_dbg_info(dbg, &line);
+
+ if (source == NULL) {
+ assert(bufsize > 0);
+ buf[0] = 0;
+ return;
+ }
+ snprintf(buf, bufsize, "%s:%u", source, line);
+}