diff --git a/src/compile/compiler.c b/src/compile/compiler.c
new file mode 100644
index 0000000..1983191
--- /dev/null
+++ b/src/compile/compiler.c
@@ -0,0 +1,115 @@
+#include "compiler.h"
+
+static void compile_ast_internal(const struct ast_node *ast, FILE *file);
+
+static void compile_num(int num, FILE *file)
+{
+    fprintf(file, "\tmovl\t$%d, %%eax\n", num);
+}
+
+static void handle_division(const struct binop_node *bin_op, FILE *file)
+{
+    compile_ast_internal(bin_op->rhs, file);
+
+    fputs("\tsubq\t$4, %rsp\n", file); // Allocate an `int` on the stack
+    fputs("\tmovl\t%eax, (%rsp)\n", file); // Store `rhs` on the stack
+
+    compile_ast_internal(bin_op->lhs, file); // Put `lhs` in `%eax`
+
+    fputs("\tmovl\t(%rsp), %ecx\n", file); // Pop `rhs` in `%edi`
+    fputs("\taddq\t$4, %rsp\n", file); // Remove int from the stack
+
+    fputs("\tcdq\n", file); // Sign extend `%eax` into `%edx` and `%eax`
+    fputs("\tidivl\t%ecx\n", file); // Divide `eax` by `edi`, store in `eax`
+}
+
+static void compile_binop(const struct binop_node* bin_op, FILE *file)
+{
+    const char *op = NULL;
+
+    if (bin_op->op == DIVIDE)
+    {
+        handle_division(bin_op, file);
+        return;
+    }
+
+    compile_ast_internal(bin_op->lhs, file);
+
+    fputs("\tsubq\t$4, %rsp\n", file); // Allocate an `int` on the stack
+    fputs("\tmovl\t%eax, (%rsp)\n", file); // Store `lhs` on the stack
+
+    compile_ast_internal(bin_op->rhs, file); // Put `lhs` in `%eax`
+
+    fputs("\tmovl\t(%rsp), %edi\n", file); // Pop `lhs` in `%edi`
+    fputs("\taddq\t$4, %rsp\n", file); // Remove int from the stack
+
+    switch (bin_op->op)
+    {
+    case PLUS:
+        op = "addl";
+        break;
+    case MINUS:
+        op = "subl";
+        break;
+    case TIMES:
+        op = "imul";
+        break;
+    case DIVIDE:
+    default:
+        /* Not handled */
+        break;
+    }
+    fprintf(file, "\t%s\t%%edi, %%eax\n", op);
+}
+
+static void compile_unop(const struct unop_node* un_op, FILE *file)
+{
+    compile_ast_internal(un_op->rhs, file); // Put `rhs` in `%eax`
+
+    switch (un_op->op)
+    {
+    case NEGATE:
+        fputs("\timul\t$-1, %eax\n", file);
+    case IDENTITY:
+    default:
+        /* Nothing to do */
+        break;
+    }
+}
+
+static void compile_ast_internal(const struct ast_node *ast, FILE *file)
+{
+    switch (ast->kind)
+    {
+    case BINOP:
+        compile_binop(&ast->val.bin_op, file);
+        break;
+    case UNOP:
+        compile_unop(&ast->val.un_op, file);
+        break;
+    case NUM:
+        compile_num(ast->val.num, file);
+        break;
+    default:
+        break;
+    }
+}
+
+void compile_ast(const struct ast_node *ast, FILE *file)
+{
+    fputs("\t.text\n", file); // Executable section
+    fputs("\t.globl eval\n", file); // Make symbol visible to `ld`
+    fputs("\t.type eval, @function\n", file); // Symbol is a function
+    // Write `eval` symbol
+    fputs("eval:\n", file);
+    // Write function prelude, with the stack frame dance...
+    fputs("\tpushq\t%rbp\n", file);
+    fputs("\tmovq\t%rsp, %rbp\n", file);
+
+    compile_ast_internal(ast, file); // Compile AST so that it ends in `%eax`
+
+    fputs("\tpopq\t%rbp\n", file); // Finish the stack frame dance...
+    fputs("\tret\n", file); // Return value in `%eax`
+
+    fputs("\t.size\teval, .-eval\n", file); // Get size of function
+}
diff --git a/src/compile/compiler.h b/src/compile/compiler.h
new file mode 100644
index 0000000..e80db5c
--- /dev/null
+++ b/src/compile/compiler.h
@@ -0,0 +1,10 @@
+#ifndef COMPILER_H
+#define COMPILER_H
+
+#include <stdio.h>
+
+#include "ast/ast.h"
+
+void compile_ast(const struct ast_node *ast, FILE *file);
+
+#endif /* !COMPILER_H */
diff --git a/src/compile/local.am b/src/compile/local.am
new file mode 100644
index 0000000..4bbfd0e
--- /dev/null
+++ b/src/compile/local.am
@@ -0,0 +1,4 @@
+jitters_SOURCES += \
+    %D%/compiler.c \
+    %D%/compiler.h \
+    $(NULL)
diff --git a/src/local.am b/src/local.am
index 79f1590..51e8d61 100644
--- a/src/local.am
+++ b/src/local.am
@@ -15,6 +15,7 @@ AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src
 jitters_LDADD =
 
 include %D%/ast/local.am
+include %D%/compile/local.am
 include %D%/eval/local.am
 include %D%/parse/local.am
 include %D%/print/local.am