Jasmin

Language reference

  • Syntax reference
  • Semantics reference
    • Arrays in Jasmin programs
    • System calls
    • Variable Spilling

Compiler

  • Compilation passes
  • Advanced details

Tools

  • How to compile a Jasmin program to assembly
  • Easycrypt extraction
  • Safety checker
  • Constant-time programming
  • Selective Speculative Load Hardening
  • How to execute the formal semantics
  • How to pretty-print a Jasmin program

Miscellaneous

  • FAQ
  • Emacs mode
Jasmin
  • Semantics reference
  • Edit on GitHub

Semantics reference

  • Arrays in Jasmin programs
    • Declaration
    • Access
      • Explicit scaling
      • Type punning
    • Intuition about reg ptr and stack ptr
  • System calls
  • Variable Spilling
    • Spilling to MMX Registers
    • Liveness and Spilling
      • Example: Without Spilling
      • Example: With Spilling
    • Debugging Spills
Previous Next

© Copyright 2025, Jasmin contributors.

Built with Sphinx using a theme provided by Read the Docs.