Feature(compiler): Support boolean type

ovr · ovr · commit 5fac17d5af1e · 2018-11-13T01:41:00.000+03:00
diff --git a/src/backend/llvm/cpp.mangler.ts b/src/backend/llvm/cpp.mangler.ts
@@ -11,6 +11,8 @@ export class CPPMangler {
                             return 'd';
                         case ts.SyntaxKind.StringKeyword:
                             return 'PKc';
+                        case ts.SyntaxKind.BooleanKeyword:
+                            return 'b';
                         default:
                             throw new Error(
                                 `Unsupported mangling parameter type: ${parameter.type.kind}`
diff --git a/src/backend/llvm/index.ts b/src/backend/llvm/index.ts
@@ -77,6 +77,24 @@ export function buildFromStringValue(node: ts.StringLiteral, ctx: Context, build
     );
 }
 
+export function buildFromTrueKeyword(node: ts.BooleanLiteral, ctx: Context, builder: llvm.IRBuilder): llvm.Value {
+    return llvm.ConstantInt.get(
+        ctx.llvmContext,
+        1,
+        8,
+        false
+    );
+}
+
+export function buildFromFalseKeyword(node: ts.BooleanLiteral, ctx: Context, builder: llvm.IRBuilder): llvm.Value {
+    return llvm.ConstantInt.get(
+        ctx.llvmContext,
+        1,
+        8,
+        false
+    );
+}
+
 function buildFromNumericLiteral(
     value: ts.NumericLiteral,
     ctx: Context,
@@ -258,6 +276,10 @@ function buildFromExpression(block: ts.Expression, ctx: Context, builder: llvm.I
             return buildFromNumericLiteral(<any>block, ctx, builder, nativeType);
         case ts.SyntaxKind.StringLiteral:
             return buildFromStringValue(<any>block, ctx, builder);
+        case ts.SyntaxKind.TrueKeyword:
+            return buildFromTrueKeyword(<any>block, ctx, builder);
+        case ts.SyntaxKind.FalseKeyword:
+            return buildFromFalseKeyword(<any>block, ctx, builder);
         case ts.SyntaxKind.BinaryExpression:
             return buildFromBinaryExpression(<any>block, ctx, builder);
         case ts.SyntaxKind.CallExpression:
diff --git a/src/backend/llvm/native-type-resolver.ts b/src/backend/llvm/native-type-resolver.ts
@@ -22,6 +22,14 @@ export class NativeTypeResolver {
             );
         }
 
+        if ((<any>type).intrinsicName === 'boolean') {
+            return new NativeType(
+                llvm.Type.getInt8Ty(
+                    ctx.llvmContext
+                )
+            );
+        }
+
         if ((<any>type).intrinsicName === 'void') {
             return new NativeType(
                 llvm.Type.getVoidTy(
