Add `Type` -- Runtime type for comparing types (similar to TypeInfo but simpler)

1 files changed, 6 insertions, 0 deletions

diff --git a/src/ir_print.cpp b/src/ir_print.cpp
index b9bccc91c..c5456edf4 100644
--- a/src/ir_print.cpp
+++ b/src/ir_print.cpp
@@ -246,6 +246,7 @@ void ir_print_type(irFileBuffer *f, irModule *m, Type *t) {
 		case Basic_uint:   ir_fprintf(f, "i%lld", word_bits);         return;
 		case Basic_int:    ir_fprintf(f, "i%lld", word_bits);         return;
 		case Basic_any:    ir_fprintf(f, "%%..any");                  return;
+		case Basic_Type:   ir_fprintf(f, "%%..Type");                 return;
 		}
 		break;
 	case Type_Pointer:
@@ -1691,6 +1692,11 @@ void print_llvm_ir(irGen *ir) {
 	ir_print_type(f, m, t_type_info_ptr);
 	ir_fprintf(f, "} ; Basic_any\n");
 
+	ir_print_encoded_local(f, str_lit("..Type"));
+	ir_fprintf(f, " = type ");
+	ir_print_type(f, m, t_int);
+	ir_fprintf(f, " ; Basic_Type\n");
+
 	ir_fprintf(f, "declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone \n");
 	ir_fprintf(f, "\n");