A compiler written in Haskell for the Tiger language targeting MIPS.

• Successfully compiles and runs queens.tig and merge.tig
• Uses alex and happy for lexing and parsing
• FindEscape is completed
• Register allocator implements spilling and coalescing
• Spill cost is weighted by occurrences of uses and defs in loops
• Handles functions with > 4 parameters

You need SPIM installed in order to run the compiled programs.

To compile and run all of the programs in the programs/ folder:

sh compile_and_run_all.sh

If you want to compile a single program, like for example, programs/queens.tig:

cabal exec tiger2 -- queens

In order to generate a Happy info table for debugging the parser:

sh gen_info_table.sh

The resulting info table will be in src/Tiger/Grammar.info.

You can also experiment in the REPL. First run:

chmod 644 .ghci

in order to turn off the write permissions for .ghci (ghci ignores that file otherwise). Then run:

cabal repl

and enter :ss in the prompt:

ghci> :ss

This unpacks all the functions in each compiler "module" to the toplevel along with everything in the Tiger.State record so you can run things like newTemp and allocLocal directly.

ghci> newTemp
25
ghci> regRa
4
ghci> :t allocLocal
allocLocal :: MipsFrame -> Bool -> IO (F.Access MipsFrame)

Also preexisting testing functions testParse, testTc, testTrans, testCanon, testCodegen, and compile are available from the REPL toplevel.

ghci> testTc "let type rec = { a: int, b: string } in rec { a = 1, b = \"hello\" } end"
(ESeqExp (SeqStm (MoveStm (TempExp 26) (CallExp (NameExp allocRecord) [ConstExp 8])) (SeqStm (MoveStm (MemExp (BinOpExp Plus (TempExp 26) (ConstExp 0))) (ConstExp 1)) (MoveStm (MemExp (BinOpExp Plus (TempExp 26) (ConstExp 4))) (NameExp L25)))) (TempExp 26),RecordTy [(a,IntTy),(b,StringTy)] Unique)