Feature: NativeTypeResolver - initial support for int8, 16, 32, 64, 128

ovr · ovr · commit dcc6554e4b63 · 2018-11-08T12:58:56.000+09:00
diff --git a/runtime/lib.runtime.d.ts b/runtime/lib.runtime.d.ts
@@ -18,3 +18,11 @@ interface Array<T = any> {}
 declare function puts(str: string): void;
 
 declare function number2string(value: number): string;
+
+declare type int8 = {};
+declare type int16 = {};
+declare type int32 = {};
+declare type int64 = {};
+declare type int128 = {};
+
+// RSTP - Real Static Type Script
diff --git a/src/backend/llvm/native-type-resolver.ts b/src/backend/llvm/native-type-resolver.ts
@@ -23,6 +23,36 @@ export class NativeTypeResolver {
             );
         }
 
+        const aliasSymbol = type.aliasSymbol;
+        if (aliasSymbol) {
+            switch (aliasSymbol.escapedName) {
+                case 'int8':
+                    return llvm.Type.getInt8Ty(
+                        ctx.llvmContext
+                    );
+                case 'int16':
+                    return llvm.Type.getInt16Ty(
+                        ctx.llvmContext
+                    );
+                case 'int32':
+                    return llvm.Type.getInt32Ty(
+                        ctx.llvmContext
+                    );
+                case 'int64':
+                    return llvm.Type.getInt64Ty(
+                        ctx.llvmContext
+                    );
+                case 'int128':
+                    return llvm.Type.getInt128Ty(
+                        ctx.llvmContext
+                    );
+                default:
+                    throw new Error(
+                        `Unsupported type, "${<string>aliasSymbol.escapedName}"`
+                    );
+            }
+        }
+
         throw new Error(
             `Unsupported type, it's to dynamic`
         );
