Change KBASE/PC regs for x64/POSIX to get shorter encodings.

diff --git a/src/buildvm_x86.dasc b/src/buildvm_x86.dasc
index 384af0d2d9f5472d54686b424b607cd909f0de07..23a09bd03138d4fa19f2fe4cc8e593d9e3b72ff9 100644 (file)
--- a/src/buildvm_x86.dasc
+++ b/src/buildvm_x86.dasc
@@ -24,9 +24,9 @@
 |.define KBASEa,       KBASE
 |.define PC,           esi             // Must be C callee-save.
 |.else
-|.define KBASE,                r13d            // Must be C callee-save.
-|.define KBASEa,       r13
-|.define PC,           r12d            // Must be C callee-save.
+|.define KBASE,                r15d            // Must be C callee-save.
+|.define KBASEa,       r15
+|.define PC,           r14d            // Must be C callee-save.
 |.endif
 |.define DISPATCH,     ebx             // Must be C callee-save.
 |