x86-64 Compiler

A compiler in C++ that parses a small imperative language and generates x86-64 assembly, with a focus on tagged-union AST design.

Features

• Integer arithmetic (+, -, *, /)
• Variable bindings (let)
• Program exit statements
• Lexical scoping

AST Architecture

1. Uses a tagged-union AST: each node has a NodeType tag and a union of payloads.
2. Move semantics are used for node data management.
3. Manual destructors handle cleanup for union members.

Requirements

• Linux OS
• nasm,ld, cmake

Build & Run

mkdir build && cd build
cmake .. && make
./testy ../test_input_files/test_input_1.txt 

Input Example

let x = 2 + 3; 
exit x;

Generated Assembly:

section .data
x dq 0           ; global variable

section .text
global _start

_start:
    mov rax, 2
    mov rbx, rax
    add rax, 3     ; RAX = 2 + 3
    mov [x], rax
    mov rdi, rax
    mov rax, 60    ; exit syscall
    syscall

Run Unit Tests:

chmod +x compiler_test.sh
./compiler_test.sh

## Example
let x = 2 + 3; 
exit x;