feat: Add support for typing annotation

Author: xmnlab

.makim.yaml

@@ -19,8 +19,9 @@ env:
     :print_legend=1\
     :detect_leaks=1\
     "
-  MESON_EXTRA: "-Db_coverage=true \
-    -Doptimization=0 \
+  MESON_EXTRA_DEBUG: "-Db_coverage=true \
+    --optimization=0 \
+    --debug \
     -Db_sanitize=address \
     "
 groups:
@@ -104,7 +105,7 @@ groups:
           - target: build.release
             args:
               build-type: "debug"
-              meson-extra: {{ env.MESON_EXTRA }}
+              meson-extra: {{ env.MESON_EXTRA_DEBUG }}
               clean: {{ args.clean }}
               asan-options: {{ env.SAN_OPTIONS_DEFAULT }}
               lsan-options: {{ env.SAN_OPTIONS_DEFAULT }}
@@ -120,7 +121,7 @@ groups:
           - target: build.release
             args:
               build-type: "debug"
-              meson-extra: {{ env.MESON_EXTRA }} -Ddev=enabled
+              meson-extra: {{ env.MESON_EXTRA_DEBUG }} -Ddev=enabled
               clean: {{ args.clean }}
               asan-options: {{ env.SAN_OPTIONS_DEFAULT }}
               lsan-options: {{ env.SAN_OPTIONS_DEFAULT }}
@@ -231,7 +232,7 @@ groups:
 
           if [[ "{{ args.debug  }}" == "True" ]]; then
             GDB="gdb --args"
-            DEBUG_FLAGS="-g"
+            DEBUG_FLAGS="-Og"
           fi
 
           TEST_DIR_PATH="./tests"
@@ -261,7 +262,7 @@ groups:
             print_header "${test_name}"
             OBJECT_FILE="${TMP_DIR}/${test_name}.o"
 
-            ${ARX} --output "${OBJECT_FILE}" --input "examples/${test_name}.arx"
+            ${ARX} --output "${OBJECT_FILE}" --input "examples/${test_name}.arx --build-lib"
 
             set -x
             clang++ \

examples/average.arx

@@ -1,2 +1,2 @@
-function average(x y):
-  (x + y) * 0.5;
+fn average(x: float, y: float) -> float:
+  return (x + y) * 0.5;

examples/constant.arx

@@ -1,2 +1,2 @@
-function get_constant(x):
-  x;
+fn get_constant(x: float) -> float:
+  return x;

examples/fibonacci.arx

@@ -1,5 +1,5 @@
-function fib(x):
-  if x < 3:
-    1
+fn fib(x: float) -> float:
+  if x <= 1:
+    return x;
   else:
-    fib(x-1)+fib(x-2)
+    return fib(x-1)+fib(x-2);

examples/print-star.arx

@@ -1,5 +1,5 @@
-extern putchard(char);
+extern putchard(char) -> void;
 
-function print_star(n):
+fn print_star(n: float) -> void:
   for i = 1, i < n, 1.0 in
-    putchard(42);  # ascii 42 = '*'
+    return putchard(42);  # ascii 42 = '*'

examples/sum.arx

@@ -1,2 +1,2 @@
-function sum(a b):
-  a + b;
+fn sum(a: float, b: float) -> float:
+  return a + b;

meson.build

@@ -2,7 +2,8 @@ project('arx', 'cpp', 'c',
   license : 'Apache-2.0',
   version : '1.6.0',  # semantic-release
   default_options : [
-    'warning_level=everything',
+    #'warning_level=everything',
+    'warning_level=1',
     'cpp_std=c++20',
   ]
 )

src/codegen/arx-llvm.cpp

@@ -1,3 +1,4 @@
+#include <string>
 
 #include <llvm/IR/DIBuilder.h>   // for DIBuilder
 #include <llvm/IR/IRBuilder.h>   // for IRBuilder
@@ -22,6 +23,26 @@ llvm::Type* ArxLLVM::FLOAT_TYPE;
 llvm::Type* ArxLLVM::DOUBLE_TYPE;
 llvm::Type* ArxLLVM::INT8_TYPE;
 llvm::Type* ArxLLVM::INT32_TYPE;
+llvm::Type* ArxLLVM::VOID_TYPE;
+
+auto ArxLLVM::get_data_type(std::string type_name) -> llvm::Type* {
+  if (type_name == "float") {
+    return ArxLLVM::FLOAT_TYPE;
+  } else if (type_name == "double") {
+    return ArxLLVM::DOUBLE_TYPE;
+  } else if (type_name == "int8") {
+    return ArxLLVM::INT8_TYPE;
+  } else if (type_name == "int32") {
+    return ArxLLVM::INT32_TYPE;
+  } else if (type_name == "char") {
+    return ArxLLVM::INT8_TYPE;
+  } else if (type_name == "void") {
+    return ArxLLVM::VOID_TYPE;
+  }
+
+  llvm::errs() << "[EE] type_name not valid.\n";
+  return nullptr;
+}
 
 /* Debug Information Data types */
 llvm::DIType* ArxLLVM::DI_FLOAT_TYPE;

src/codegen/ast-to-object.cpp

@@ -97,8 +97,9 @@ auto ASTToObjectVisitor::getFunction(std::string name) -> void {
  */
 auto ASTToObjectVisitor::CreateEntryBlockAlloca(
   llvm::Function* fn, llvm::StringRef var_name) -> llvm::AllocaInst* {
-  llvm::IRBuilder<> TmpB(&fn->getEntryBlock(), fn->getEntryBlock().begin());
-  return TmpB.CreateAlloca(ArxLLVM::FLOAT_TYPE, nullptr, var_name);
+  llvm::IRBuilder<> tmp_builder(
+    &fn->getEntryBlock(), fn->getEntryBlock().begin());
+  return tmp_builder.CreateAlloca(ArxLLVM::FLOAT_TYPE, nullptr, var_name);
 }
 
 /**
@@ -165,7 +166,7 @@ auto ASTToObjectVisitor::visit(UnaryExprAST& expr) -> void {
  *
  */
 auto ASTToObjectVisitor::visit(BinaryExprAST& expr) -> void {
-  //  Special case '=' because we don't want to emit the lhs as an
+  // Special case '=' because we don't want to emit the lhs as an
   // expression.*/
   if (expr.op == '=') {
     // Assignment requires the lhs to be an identifier.
@@ -188,13 +189,13 @@ auto ASTToObjectVisitor::visit(BinaryExprAST& expr) -> void {
     };
 
     // Look up the name.//
-    llvm::Value* Variable = ArxLLVM::named_values[var_lhs->get_name()];
-    if (!Variable) {
+    llvm::Value* variable = ArxLLVM::named_values[LHSE->getName()];
+    if (!variable) {
       this->result_val = LogErrorV("Unknown variable name");
       return;
     }
 
-    ArxLLVM::ir_builder->CreateStore(val, Variable);
+    ArxLLVM::ir_builder->CreateStore(val, variable);
     this->result_val = val;
   }
 
@@ -520,11 +521,32 @@ auto ASTToObjectVisitor::visit(VarExprAST& expr) -> void {
  *
  */
 auto ASTToObjectVisitor::visit(PrototypeAST& expr) -> void {
-  std::vector<llvm::Type*> args_type(expr.args.size(), ArxLLVM::FLOAT_TYPE);
-  llvm::Type* return_type = ArxLLVM::get_data_type("float");
+  // Make the function type:  double(double,double) etc.
+  std::vector<llvm::Type*> args;
+  llvm::Type* arg_type;
+
+  for (auto& arg : expr.args) {
+    arg_type = ArxLLVM::get_data_type(arg->type_name);
+    if (arg_type != nullptr) {
+      args.emplace_back(arg_type);
+    } else {
+      llvm::errs() << "ARX::GEN-OBJECT[ERROR]: PrototypeAST: "
+                   << "Argument data type " << arg->type_name
+                   << " not implemented yet.";
+    }
+  }
+
+  llvm::Type* return_type = ArxLLVM::get_data_type(expr.type_name);
+
+  if (return_type == nullptr) {
+    llvm::errs() << "ARX::GEN-OBJECT[ERROR]: PrototypeAST: "
+                 << "Argument data type " << expr.type_name
+                 << " not implemented yet.";
+  }
 
-  llvm::FunctionType* fn_type =
-    llvm::FunctionType::get(return_type, args_type, false /* isVarArg */);
+  llvm::FunctionType* fn_type = llvm::FunctionType::get(
+    return_type, args, false /* isVarArg */
+  );
 
   llvm::Function* fn = llvm::Function::Create(
     fn_type,
@@ -794,7 +816,7 @@ auto compile_object(TreeAST& tree_ast) -> int {
   std::cout << "ARX[INFO]: " << compiler_cmd << std::endl;
   int compile_result = system(compiler_cmd.c_str());
 
-  // ArxFile::delete_file(main_cpp_path);
+  ArxFile::delete_file(main_cpp_path);
 
   if (compile_result != 0) {
     llvm::errs() << "failed to compile and link object file";

src/codegen/ast-to-stdout.cpp

@@ -8,9 +8,7 @@
 
 int INDENT_SIZE = 2;
 
-class ASTToOutputVisitor
-    : public std::enable_shared_from_this<ASTToOutputVisitor>,
-      public Visitor {
+class ASTToOutputVisitor : public Visitor {
  public:
   int indent = 0;
   std::string annotation = "";
@@ -53,12 +51,21 @@ void ASTToOutputVisitor::visit(FloatExprAST& expr) {
 
 void ASTToOutputVisitor::visit(VariableExprAST& expr) {
   std::cout << this->indentation() << this->get_annotation()
-            << "(VariableExprAST " << expr.name << ")";
+            << "(VariableExprAST " << expr.name << ":" << expr.type_name
+            << ")";
 }
 
 void ASTToOutputVisitor::visit(UnaryExprAST& expr) {
-  std::cout << "(UnaryExprAST"
-            << ")" << std::endl;
+  std::cout << this->indentation() << "(UnaryExprAST op_code:" << expr.op_code
+            << " operand:";
+
+  int cur_indent = this->indent;
+  this->indent = 0;
+
+  expr.operand->accept(*this);
+  std::cout << ")";
+
+  this->indent = cur_indent;
 }
 
 void ASTToOutputVisitor::visit(BinaryExprAST& expr) {
@@ -197,29 +204,28 @@ void ASTToOutputVisitor::visit(VarExprAST& expr) {
 
 void ASTToOutputVisitor::visit(PrototypeAST& expr) {
   // TODO: implement it
-  std::cout << "(PrototypeAST " << expr.name << ")" << std::endl;
-}
-
-void ASTToOutputVisitor::visit(FunctionAST& expr) {
-  std::cout << this->indentation() << '(' << std::endl;
-  this->indent += INDENT_SIZE;
-
-  // create the function and open the args section
-  std::cout << this->indentation() << "Function " << expr.proto->name
+  std::cout << "(PrototypeAST " << expr.name << ") -> " << expr.type_name
             << " <ARGS> (" << std::endl;
   this->indent += INDENT_SIZE;
 
-  // std::cout << expr.proto->args.front();
-
-  for (const auto& node : expr.proto->args) {
+  for (const auto& node : expr.args) {
     node->accept(*this);
     std::cout << ", " << std::endl;
   }
 
   // close args section and open body section
   this->indent -= INDENT_SIZE;
-  std::cout << this->indentation() << "), " << std::endl
-            << this->indentation() << "<BODY> (" << std::endl;
+  std::cout << this->indentation() << "), " << std::endl;
+}
+
+void ASTToOutputVisitor::visit(FunctionAST& expr) {
+  std::cout << this->indentation() << '(' << std::endl;
+  this->indent += INDENT_SIZE;
+
+  // create the function and open the args section
+  std::cout << this->indentation() << "Function ";
+  this->visit(*expr.proto);
+  std::cout << this->indentation() << "<BODY> (" << std::endl;
 
   this->indent += INDENT_SIZE;
   // TODO: body should be a vector of unique_ptr<Expr>