tiger.cc's Introduction

tiger.cc

A tiger compiler in modern C++. Both frontend and backend are written without automatic tools. The official grammer reference manual(https://www.lrde.epita.fr/~tiger/tiger.html) has provied all infomation about The Tiger Programming Langugae. However, the EBNF in that manual isn't LL(k), so we can't implement parser by this EBNF in a recursive decline way. Therefore, I transform it to LL(1) grammer(detail).

TODO

build & test

git clone https://github.com/xiebei1108/tiger.cc
cd tiger.cc
mkdir build && cd build
cmake .. && make

detail

AST

For example:

/* define a recursive function */
let
/* calculate n! */
function nfactor(n: int): int =
	if  n = 0
	then 1
	else n * nfactor(n-1)
in
	nfactor(10)
end

it's AST is:

LetExpr(
 Decs(
  FnDec(
   Id(
    nfactor
   )
   TypeFields(
    Id(
     n
    )
    TypeId(
     int
    )
   )
   IfExpr(
    BinaryExpr(
     Op(
      =
     )
     Lvar(
      Elem(
       Id(
        n
       )
      )
     )
     IntExpr(
      0
     )
    )
    IntExpr(
     1
    )
    BinaryExpr(
     Op(
      *
     )
     Lvar(
      Elem(
       Id(
        n
       )
      )
     )
     FnCall(
      Id(
       nfactor
      )
      BinaryExpr(
       Op(
        -
       )
       Lvar(
        Elem(
         Id(
          n
         )
        )
       )
       IntExpr(
        1
       )
      )
     )
    )
   )
  )
 )
 Exprs(
  FnCall(
   Id(
    nfactor
   )
   IntExpr(
    10
   )
  )
 )
)