- if(is_allocatable_irn(op)) {
- ir_fprintf(f, "%sr%d", prefix, get_irn_color(op));
+ if(arch_is_register_operand(dump_env->env, op, arch_pos_make_out(0))) {
+ ir_fprintf(f, "%s%s", prefix,
+ arch_register_get_name(arch_get_irn_register(env, op, 0)));