commit 62a4ff456627d5c1b2dff79c9c9e33f27b983533
parent c8f0945672f11664347cf5db8fe382d2d290652e
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Mon, 30 Nov 2015 14:52:42 -0500
cosmetics in the ABI document
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/lisc/ABI b/lisc/ABI
@@ -1,5 +1,5 @@
-Summary of ABI for calls on x64
-===============================
+System V ABI for calls on x64
+=============================
Data classes of interest as defined by the ABI:
- INTEGER
@@ -41,7 +41,7 @@ Passing:
an upper bound and does not have to be exact).
- Registers %rbx, %r12 - %r15 are callee-save.
-Returning.
+Returning:
- Classify the return type.
- Use %rax and %rdx in order for INTEGER return values.
- Use %xmm0 and %xmm1 in order for SSE return values.