odin-lang.Odin/src/codegen/print_llvm.cpp

#define SSA_PRINT_TO_STDOUT 0

void ssa_fprintf(gbFile *f, char *fmt, ...) {
	va_list va;
	va_start(va, fmt);
	gb_fprintf_va(f, fmt, va);
#if SSA_PRINT_TO_STDOUT
	gb_printf_va(fmt, va);
#endif
	va_end(va);
}

void ssa_file_write(gbFile *f, void *data, isize len) {
	gb_file_write(f, data, len);
#if SSA_PRINT_TO_STDOUT
	gb_file_write(gb_file_get_standard(gbFileStandard_Output), data, len);
#endif
}

b32 ssa_valid_char(u8 c) {
	if (c >= 0x80)
		return false;

	if (gb_char_is_alphanumeric(c))
		return true;

	switch (c) {
	case '$':
	case '-':
	case '.':
	case '_':
		return true;
	}

	return false;
}

void ssa_print_escape_string(gbFile *f, String name) {
	isize extra = 0;
	for (isize i = 0; i < name.len; i++) {
		u8 c = name.text[i];
		if (!ssa_valid_char(c))
			extra += 2;
	}

	if (extra == 0) {
		ssa_fprintf(f, "%.*s", LIT(name));
		return;
	}


	char hex_table[] = "0123456789ABCDEF";
	isize buf_len = name.len + extra;
	u8 *buf = gb_alloc_array(gb_heap_allocator(), u8, buf_len);
	defer (gb_free(gb_heap_allocator(), buf));

	isize j = 0;
	for (isize i = 0; i < name.len; i++) {
		u8 c = name.text[i];
		if (ssa_valid_char(c)) {
			buf[j++] = c;
		} else {
			buf[j] = '\\';
			buf[j+1] = hex_table[c >> 4];
			buf[j+2] = hex_table[c & 0x0f];
			j += 3;
		}
	}

	ssa_file_write(f, buf, buf_len);
}



void ssa_print_encoded_local(gbFile *f, String name) {
	ssa_fprintf(f, "%%");
	ssa_print_escape_string(f, name);
}

void ssa_print_encoded_global(gbFile *f, String name) {
	ssa_fprintf(f, "@");
	ssa_print_escape_string(f, name);
}


void ssa_print_type(gbFile *f, BaseTypeSizes s, Type *t) {
	i64 word_bits = 8*s.word_size;
	GB_ASSERT_NOT_NULL(t);
	t = default_type(t);

	switch (t->kind) {
	case Type_Basic:
		switch (t->basic.kind) {
		case Basic_bool:   ssa_fprintf(f, "i1");                      break;
		case Basic_i8:     ssa_fprintf(f, "i8");                      break;
		case Basic_i16:    ssa_fprintf(f, "i16");                     break;
		case Basic_i32:    ssa_fprintf(f, "i32");                     break;
		case Basic_i64:    ssa_fprintf(f, "i64");                     break;
		case Basic_i128:   ssa_fprintf(f, "i128");                    break;
		case Basic_u8:     ssa_fprintf(f, "i8");                      break;
		case Basic_u16:    ssa_fprintf(f, "i16");                     break;
		case Basic_u32:    ssa_fprintf(f, "i32");                     break;
		case Basic_u64:    ssa_fprintf(f, "i64");                     break;
		case Basic_u128:   ssa_fprintf(f, "u128");                    break;
		case Basic_f32:    ssa_fprintf(f, "float");                   break;
		case Basic_f64:    ssa_fprintf(f, "double");                  break;
		case Basic_rawptr: ssa_fprintf(f, "%%.rawptr");               break;
		case Basic_string: ssa_fprintf(f, "%%.string");               break;
		case Basic_uint:   ssa_fprintf(f, "i%lld", word_bits);        break;
		case Basic_int:    ssa_fprintf(f, "i%lld", word_bits);        break;
		}
		break;
	case Type_Array:
		ssa_fprintf(f, "[%lld x ", t->array.count);
		ssa_print_type(f, s, t->array.elem);
		ssa_fprintf(f, "]");
		break;
	case Type_Vector: {
		// TODO(bill): actually do correctly
		ssa_fprintf(f, "<%lld x ", t->vector.count);
		ssa_print_type(f, s, t->vector.elem);
		ssa_fprintf(f, ">");
	} break;
	case Type_Slice:
		ssa_fprintf(f, "{");
		ssa_print_type(f, s, t->slice.elem);
		ssa_fprintf(f, "*, i%lld, i%lld}", word_bits, word_bits);
		break;
	case Type_Structure:
		if (t->structure.is_packed) {
			ssa_fprintf(f, "<");
		}
		ssa_fprintf(f, "{");
		for (isize i = 0; i < t->structure.field_count; i++) {
			if (i > 0) {
				ssa_fprintf(f, ", ");
			}
			ssa_print_type(f, s, t->structure.fields[i]->type);
		}
		ssa_fprintf(f, "}");
		if (t->structure.is_packed) {
			ssa_fprintf(f, ">");
		}

		break;
	case Type_Pointer:
		ssa_print_type(f, s, t->pointer.elem);
		ssa_fprintf(f, "*");
		break;
	case Type_Named:
		ssa_print_encoded_local(f, t->named.name);
		break;
	case Type_Alias:
		ssa_print_type(f, s, t->alias.base);
		break;
	case Type_Tuple:
		if (t->tuple.variable_count == 1) {
			ssa_print_type(f, s, t->tuple.variables[0]->type);
		} else {
			ssa_fprintf(f, "{");
			for (isize i = 0; i < t->tuple.variable_count; i++) {
				if (i > 0) ssa_fprintf(f, ", ");
				ssa_print_type(f, s, t->tuple.variables[i]->type);
			}
			ssa_fprintf(f, "}");
		}
		break;
	case Type_Proc:
		if (t->proc.result_count == 0) {
			ssa_fprintf(f, "void");
		} else {
			ssa_print_type(f, s, t->proc.results);
		}
		ssa_fprintf(f, " (");
		for (isize i = 0; i < t->proc.param_count; i++) {
			if (i > 0) {
				ssa_fprintf(f, ", ");
			}
			ssa_print_type(f, s, &t->proc.params[i]);
		}
		ssa_fprintf(f, ")*");
		break;
	}
}

void ssa_print_exact_value(gbFile *f, ssaModule *m, ExactValue value, Type *type) {
	if (is_type_float(type)) {
		value = exact_value_to_float(value);
	} else if (is_type_integer(type)) {
		value = exact_value_to_integer(value);
	}

	switch (value.kind) {
	case ExactValue_Bool:
		ssa_fprintf(f, (value.value_bool ? "true" : "false"));
		break;
	case ExactValue_String: {
		ssa_fprintf(f, "c\"");
		ssa_print_escape_string(f, value.value_string);
		ssa_fprintf(f, "\"");
	} break;
	case ExactValue_Integer:
		ssa_fprintf(f, "%lld", value.value_integer);
		break;
	case ExactValue_Float: {
		u64 u = *cast(u64*)&value.value_float;
		if (is_type_float(type) && type->basic.kind == Basic_f32) {
			// IMPORTANT NOTE(bill): LLVM requires all floating point constants to be
			// a 64 bit number if bits_of(float type) <= 64.
			// For some bizarre reason, you need to clear the bottom 28 bits
			// https://groups.google.com/forum/#!topic/llvm-dev/IlqV3TbSk6M
			u >>= 28;
			u <<= 28;
		}
		ssa_fprintf(f, "0x%016llx", u);
	} break;
	case ExactValue_Pointer:
		if (value.value_float == NULL) {
			ssa_fprintf(f, "null");
		} else {
			GB_PANIC("TODO(bill): ExactValue_Pointer");
		}
		break;
	default:
		GB_PANIC("Invalid ExactValue");
		break;
	}
}

void ssa_print_block_name(gbFile *f, ssaBlock *b) {
	ssa_print_escape_string(f, b->label);
	ssa_fprintf(f, ".-.%d", b->id);
}

void ssa_print_value(gbFile *f, ssaModule *m, ssaValue *value, Type *type_hint) {
	if (value == NULL) {
		ssa_fprintf(f, "!!!NULL_VALUE");
		return;
	}
	switch (value->kind) {
	case ssaValue_Constant:
		ssa_print_exact_value(f, m, value->constant.value, type_hint);
		break;
	case ssaValue_TypeName:
		ssa_print_encoded_local(f, value->type_name.name);
		break;
	case ssaValue_Global:
		ssa_print_encoded_global(f, value->global.entity->token.string);
		break;
	case ssaValue_Param:
		ssa_print_encoded_local(f, value->param.entity->token.string);
		break;
	case ssaValue_Proc:
		ssa_print_encoded_global(f, value->proc.name);
		break;
	case ssaValue_Instr:
		ssa_fprintf(f, "%%%d", value->id);
		break;
	}
}

void ssa_print_instr(gbFile *f, ssaModule *m, ssaValue *value) {
	GB_ASSERT(value->kind == ssaValue_Instr);
	ssaInstr *instr = &value->instr;

	ssa_fprintf(f, "\t");
	switch (instr->kind) {
	case ssaInstr_Local: {
		Type *type = instr->local.entity->type;
		ssa_fprintf(f, "%%%d = alloca ", value->id);
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, ", align %lld ", type_align_of(m->sizes, gb_heap_allocator(), type));
		{
			String str = instr->local.entity->token.string;
			if (str.len > 0)
			ssa_fprintf(f, "; %.*s", LIT(instr->local.entity->token.string));
		}
		ssa_fprintf(f, "\n");
		ssa_fprintf(f, "\tstore ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, " zeroinitializer, ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, "* %%%d\n", value->id);
	} break;

	case ssaInstr_Store: {
		Type *type = ssa_value_type(instr->store.address);
		ssa_fprintf(f, "store ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->store.value, type);
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, "* ");
		ssa_print_value(f, m, instr->store.address, type);
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_Load: {
		Type *type = instr->load.type;
		ssa_fprintf(f, "%%%d = load ", value->id);
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, "* ");
		ssa_print_value(f, m, instr->load.address, type);
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_GetElementPtr: {
		Type *et = instr->get_element_ptr.elem_type;
		ssa_fprintf(f, "%%%d = getelementptr ", value->id);
		if (instr->get_element_ptr.inbounds) {
			ssa_fprintf(f, "inbounds ");
		}

		ssa_print_type(f, m->sizes, et);
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, et);
		ssa_fprintf(f, "* ");
		ssa_print_value(f, m, instr->get_element_ptr.address, et);
		for (isize i = 0; i < instr->get_element_ptr.index_count; i++) {
			ssaValue *index = instr->get_element_ptr.indices[i];
			Type *t = ssa_value_type(index);
			ssa_fprintf(f, ", ");
			ssa_print_type(f, m->sizes, t);
			ssa_fprintf(f, " ");
			ssa_print_value(f, m, index, t);
		}
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_ExtractValue: {
		Type *et = instr->extract_value.elem_type;
		ssa_fprintf(f, "%%%d = extractvalue ", value->id);

		ssa_print_type(f, m->sizes, et);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->extract_value.address, et);
		ssa_fprintf(f, ", %d\n", instr->extract_value.index);
	} break;

	case ssaInstr_Br: {
		ssa_fprintf(f, "br ");
		if (instr->br.cond != NULL) {
			ssa_print_type(f, m->sizes, t_bool);
			ssa_fprintf(f, " ");
			ssa_print_value(f, m, instr->br.cond, t_bool);
			ssa_fprintf(f, ", ", instr->br.cond->id);
		}
		ssa_fprintf(f, "label ");
		ssa_fprintf(f, "%%"); ssa_print_block_name(f, instr->br.true_block);
		if (instr->br.false_block != NULL) {
			ssa_fprintf(f, ", label ");
			ssa_fprintf(f, "%%"); ssa_print_block_name(f, instr->br.false_block);
		}
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_Ret: {
		auto *ret = &instr->ret;
		ssa_fprintf(f, "ret ");
		if (ret->value == NULL) {
			ssa_fprintf(f, "void");
		} else {
			Type *t = ssa_value_type(ret->value);
			ssa_print_type(f, m->sizes, t);
			ssa_fprintf(f, " ");
			ssa_print_value(f, m, ret->value, t);
		}

		ssa_fprintf(f, "\n");

	} break;

	case ssaInstr_Conv: {
		auto *c = &instr->conv;
		ssa_fprintf(f, "%%%d = %.*s ", value->id, LIT(ssa_conv_strings[c->kind]));
		ssa_print_type(f, m->sizes, c->from);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, c->value, c->from);
		ssa_fprintf(f, " to ");
		ssa_print_type(f, m->sizes, c->to);
		ssa_fprintf(f, "\n");

	} break;

	case ssaInstr_Unreachable: {
		ssa_fprintf(f, "unreachable\n");
	} break;

	case ssaInstr_BinaryOp: {
		auto *bo = &value->instr.binary_op;
		Type *type = get_base_type(ssa_value_type(bo->left));
		Type *elem_type = type;
		while (elem_type->kind == Type_Vector) {
			elem_type = get_base_type(elem_type->vector.elem);
		}

		ssa_fprintf(f, "%%%d = ", value->id);

		if (gb_is_between(bo->op.kind, Token__ComparisonBegin+1, Token__ComparisonEnd-1)) {
			if (is_type_float(elem_type)) {
				ssa_fprintf(f, "fcmp ");
				switch (bo->op.kind) {
				case Token_CmpEq: ssa_fprintf(f, "oeq"); break;
				case Token_NotEq: ssa_fprintf(f, "one"); break;
				case Token_Lt:    ssa_fprintf(f, "olt"); break;
				case Token_Gt:    ssa_fprintf(f, "ogt"); break;
				case Token_LtEq:  ssa_fprintf(f, "ole"); break;
				case Token_GtEq:  ssa_fprintf(f, "oge"); break;
				}
			} else {
				ssa_fprintf(f, "icmp ");
				if (bo->op.kind != Token_CmpEq &&
				    bo->op.kind != Token_NotEq) {
					if (is_type_unsigned(elem_type)) {
						ssa_fprintf(f, "u");
					} else {
						ssa_fprintf(f, "s");
					}
				}
				switch (bo->op.kind) {
				case Token_CmpEq: ssa_fprintf(f, "eq"); break;
				case Token_NotEq: ssa_fprintf(f, "ne"); break;
				case Token_Lt:    ssa_fprintf(f, "lt"); break;
				case Token_Gt:    ssa_fprintf(f, "gt"); break;
				case Token_LtEq:  ssa_fprintf(f, "le"); break;
				case Token_GtEq:  ssa_fprintf(f, "ge"); break;
				}
			}
		} else {
			if (is_type_float(elem_type))
				ssa_fprintf(f, "f");

			switch (bo->op.kind) {
			case Token_Add:    ssa_fprintf(f, "add"); break;
			case Token_Sub:    ssa_fprintf(f, "sub"); break;
			case Token_And:    ssa_fprintf(f, "and"); break;
			case Token_Or:     ssa_fprintf(f, "or");  break;
			case Token_Xor:    ssa_fprintf(f, "xor"); break;
			case Token_Shl:    ssa_fprintf(f, "shl"); break;
			case Token_Shr:    ssa_fprintf(f, "lshr"); break;
			case Token_Mul:    ssa_fprintf(f, "mul"); break;

			case Token_AndNot: GB_PANIC("Token_AndNot Should never be called");

			default: {
				if (!is_type_float(elem_type)) {
					if (is_type_unsigned(elem_type)) ssa_fprintf(f, "u");
					else                             ssa_fprintf(f, "s");
				}

				switch (bo->op.kind) {
				case Token_Quo: ssa_fprintf(f, "div"); break;
				case Token_Mod: ssa_fprintf(f, "rem"); break;
				}
			} break;
			}
		}

		ssa_fprintf(f, " ");
		ssa_print_type(f, m->sizes, type);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, bo->left, type);
		ssa_fprintf(f, ", ");
		ssa_print_value(f, m, bo->right, type);
		ssa_fprintf(f, "\n");

	} break;

	case ssaInstr_Call: {
		auto *call = &instr->call;
		Type *result_type = call->type->proc.results;
		if (result_type) {
			ssa_fprintf(f, "%%%d = ", value->id);
		}
		ssa_fprintf(f, "call ");
		if (result_type) {
			ssa_print_type(f, m->sizes, result_type);
		} else {
			ssa_fprintf(f, "void");
		}
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, call->value, call->type);


		ssa_fprintf(f, "(");
		auto *params = &call->type->proc.params->tuple;
		for (isize i = 0; i < call->arg_count; i++) {
			Entity *e = params->variables[i];
			GB_ASSERT(e != NULL);
			Type *t = e->type;
			if (i > 0) {
				ssa_fprintf(f, ", ");
			}
			ssa_print_type(f, m->sizes, t);
			ssa_fprintf(f, " ");
			ssaValue *arg = call->args[i];
			ssa_print_value(f, m, arg, t);
		}
		ssa_fprintf(f, ")\n");

	} break;

	case ssaInstr_Select: {
		ssa_fprintf(f, "%%%d = select i1 ", value->id);
		ssa_print_value(f, m, instr->select.cond, t_bool);
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, ssa_value_type(instr->select.true_value));
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->select.true_value, ssa_value_type(instr->select.true_value));
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, ssa_value_type(instr->select.false_value));
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->select.false_value, ssa_value_type(instr->select.false_value));
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_CopyMemory: {
		ssa_fprintf(f, "call void @llvm.memmove.p0i8.p0i8.");
		ssa_print_type(f, m->sizes, t_int);
		ssa_fprintf(f, "(i8* ");
		ssa_print_value(f, m, instr->copy_memory.dst, t_rawptr);
		ssa_fprintf(f, ", i8* ");
		ssa_print_value(f, m, instr->copy_memory.src, t_rawptr);
		ssa_fprintf(f, ", ");
		ssa_print_type(f, m->sizes, t_int);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->copy_memory.len, t_int);
		char *vol_str = "false";
		if (instr->copy_memory.is_volatile) {
			vol_str = "true";
		}
		ssa_fprintf(f, ", i32 %d, i1 %s)\n", instr->copy_memory.align, vol_str);
	} break;


	case ssaInstr_ExtractElement: {
		Type *vt = ssa_value_type(instr->extract_element.vector);
		ssa_fprintf(f, "%%%d = extractelement ", value->id);

		ssa_print_type(f, m->sizes, vt);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->extract_element.vector, vt);
		ssa_fprintf(f, ", ");
		Type *it = ssa_value_type(instr->extract_element.index);
		ssa_print_type(f, m->sizes, it);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, instr->extract_element.index, it);
		ssa_fprintf(f, "\n");
	} break;

	case ssaInstr_InsertElement: {
		auto *ie = &instr->insert_element;
		Type *vt = ssa_value_type(ie->vector);
		ssa_fprintf(f, "%%%d = insertelement ", value->id);

		ssa_print_type(f, m->sizes, vt);
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, ie->vector, vt);
		ssa_fprintf(f, ", ");

		ssa_print_type(f, m->sizes, ssa_value_type(ie->elem));
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, ie->elem, ssa_value_type(ie->elem));
		ssa_fprintf(f, ", ");

		ssa_print_type(f, m->sizes, ssa_value_type(ie->index));
		ssa_fprintf(f, " ");
		ssa_print_value(f, m, ie->index, ssa_value_type(ie->index));

		ssa_fprintf(f, "\n");
	} break;


	default: {
		GB_PANIC("<unknown instr> %d\n", instr->kind);
		ssa_fprintf(f, "; <unknown instr> %d\n", instr->kind);
	} break;
	}
}

void ssa_print_proc(gbFile *f, ssaModule *m, ssaProcedure *proc) {
	if (proc->body == NULL) {
		ssa_fprintf(f, "declare ");
	} else {
		ssa_fprintf(f, "define ");
	}

	auto *proc_type = &proc->type->proc;

	if (proc_type->result_count == 0) {
		ssa_fprintf(f, "void");
	} else {
		ssa_print_type(f, m->sizes, proc_type->results);
	}

	ssa_fprintf(f, " ");

	ssa_print_encoded_global(f, proc->name);
	ssa_fprintf(f, "(");

	if (proc_type->param_count > 0) {
		auto *params = &proc_type->params->tuple;
		for (isize i = 0; i < params->variable_count; i++) {
			Entity *e = params->variables[i];
			if (i > 0)

				ssa_fprintf(f, ", ");
			ssa_print_type(f, m->sizes, e->type);
			ssa_fprintf(f, " %%%.*s", LIT(e->token.string));
		}
	}

	ssa_fprintf(f, ") ");

	if (proc->body == NULL) {
		ssa_fprintf(f, "\t; foreign procedure\n\n");
	} else {
		ssa_fprintf(f, "{\n");
		gb_for_array(i, proc->blocks) {
			ssaBlock *block = proc->blocks[i];

			if (i > 0) ssa_fprintf(f, "\n");
			ssa_print_block_name(f, block);
			ssa_fprintf(f, ":\n");

			gb_for_array(j, block->instrs) {
				ssaValue *value = block->instrs[j];
				ssa_print_instr(f, m, value);
			}
		}
		ssa_fprintf(f, "}\n\n");
	}

	gb_for_array(i, proc->children) {
		ssa_print_proc(f, m, proc->children[i]);
	}
}

void ssa_print_type_name(gbFile *f, ssaModule *m, ssaValue *v) {
	GB_ASSERT(v->kind == ssaValue_TypeName);
	ssa_print_encoded_local(f, v->type_name.name);
	ssa_fprintf(f, " = type ");
	ssa_print_type(f, m->sizes, get_base_type(v->type_name.type));
	ssa_fprintf(f, "\n");
}

void ssa_print_llvm_ir(gbFile *f, ssaModule *m) {
	if (m->layout.len > 0) {
		ssa_fprintf(f, "target datalayout = \"%.*s\"\n", LIT(m->layout));
	}

	ssa_print_encoded_local(f, make_string(".string"));
	ssa_fprintf(f, " = type {i8*, ");
	ssa_print_type(f, m->sizes, t_int);
	ssa_fprintf(f, "} ; Basic_string\n\n");

	ssa_print_encoded_local(f, make_string(".rawptr"));
	ssa_fprintf(f, " = type i8* ; Basic_rawptr\n\n");
	ssa_fprintf(f, "declare void @llvm.memmove.p0i8.p0i8.");
	ssa_print_type(f, m->sizes, t_int);
	ssa_fprintf(f, "(i8*, i8*, ");
	ssa_print_type(f, m->sizes, t_int);
	ssa_fprintf(f, ", i32, i1)\n\n");

	gb_for_array(i, m->nested_type_names) {
		ssaValue *v = m->nested_type_names[i];
		ssa_print_type_name(f, m, v);
	}

	gb_for_array(member_index, m->members.entries) {
		auto *entry = &m->members.entries[member_index];
		ssaValue *v = entry->value;
		switch (v->kind) {
		case ssaValue_TypeName: {
			ssa_print_encoded_local(f, v->type_name.name);
			ssa_fprintf(f, " = type ");
			ssa_print_type(f, m->sizes, get_base_type(v->type_name.type));
			ssa_fprintf(f, "\n");
		} break;

		case ssaValue_Global: {
			auto *g = &v->global;
			ssa_print_encoded_global(f, g->entity->token.string);
			ssa_fprintf(f, " = ");
			if (g->is_constant) {
				ssa_fprintf(f, "private constant ");
			} else {
				ssa_fprintf(f, "global ");
			}

			ssa_print_type(f, m->sizes, get_base_type(g->entity->type));
			ssa_fprintf(f, " ");
			ssa_print_value(f, m, g->value, g->entity->type);
			ssa_fprintf(f, "\n");
		} break;

		case ssaValue_Proc: {
			ssa_print_proc(f, m, &v->proc);
		} break;
		}
	}
}