Jasmin
Language reference
Syntax reference
Semantics reference
Compiler
Compilation passes
Advanced details
Living in harmony with the Jasmin compiler
Register allocation
Tools
How to compile a Jasmin program to assembly
Easycrypt extraction
Safety checker
Linting Jasmin programs
Constant-time programming
Selective Speculative Load Hardening
How to execute the formal semantics
How to pretty-print a Jasmin program
Miscellaneous
Installation Guide
FAQ
Emacs mode
Jasmin
Living in harmony with the Jasmin compiler
Edit on GitHub
Living in harmony with the Jasmin compiler
Register allocation
Constraints imposed by the architecture
Finite number of registers
Constraints imposed by function calls
Using stable calling convention