1 Overview🔗

This library provides functions for composing, printing, and running x86-64 assembly programs in Racket:

Examples

; Natural -> Asm

; Produce representation of assembly program to compute n! recursively

> (define (fact-program n)     (list (Global 'run)           (Label 'run)           (Mov 'rax n)           (Label 'fact)           (Cmp 'rax 0)           (Je 'done)           (Push 'rax)           (Sub 'rax 1)           (Call 'fact)           (Pop 'r9)           (Mul 'r9)           (Ret)           (Label 'done)           (Mov 'rax 1)           (Ret)))

; compute 5!

> (asm-interp (fact-program 5))

120

; render 5! program in asm syntax

> (asm-display (fact-program 5))

.intel_syntax noprefix         .text         .global run run:         mov rax, 5 fact:         cmp rax, 0         je done         push rax         sub rax, 1         call fact         pop r9         mul r9         ret done:         mov rax, 1         ret

Programs consist of a list of Instructions and Psuedo-Instructions. Instructions can take as arguments Labels, Immediates, Registers and Memory Expressions.

Executing instructions can read and modify Registers and Memory, including the Stack.

The a86 module provides all of the bindings from a86/ast, a86/registers, a86/printer, and a86/interp, described below.