.. include:: _config.rst

References
==========

The documentation in the code makes references to some of these documents, especially to the C standard.

.. _intel64isa: https://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-software-developer-instruction-set-reference-manual-325383.pdf
.. _spillref: https://link.springer.com/content/pdf/10.1007/978-3-642-00722-4_13.pdf

- `C11 draft standard <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf>`_
- `SSA book <http://ssabook.gforge.inria.fr/latest/book.pdf>`_
- `System V ABI <https://www.uclibc.org/docs/psABI-x86_64.pdf>`_
- `NASM documentation <https://nasm.us/doc/nasmdoc0.html>`_
- `x86_64 calling conventions <https://en.wikipedia.org/wiki/X86_calling_conventions#x86-64_calling_conventions>`_
- `Intel 64 ISA reference <intel64isa_>`_
- `A simple, fast dominance algorithm, Cooper et al <https://www.cs.rice.edu/~keith/EMBED/dom.pdf>`_
- `Register Allocation for Programs in SSA Form, Sebastian Hack <hack_>`_
- `Computing Liveness Sets for SSA-Form Programs, Brander et al <https://hal.inria.fr/inria-00558509/>`_
- `Register Spilling and Live-Range Splitting for SSA-Form Programs, Braun & Hack <spillref_>`_