# # ChangeLog for / # # Generated by Trac 1.6 # Nov 23, 2024, 10:48:58 PM Mon, 30 Apr 2007 12:44:49 GMT Gary Byers [6382] * branches/x8664-call/ccl/lisp-kernel/x86-macros.s (modified) Use %imm2 - not %temp2 - when building a catch frame. Mon, 30 Apr 2007 12:44:00 GMT Gary Byers [6381] * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) Don't use %temp2 (which is aliased to %ra0, still used occasionally.) ... Mon, 30 Apr 2007 12:42:38 GMT Gary Byers [6380] * branches/x8664-call/ccl/lib/x8664env.lisp (modified) x8664-imm-regs now include %imm2. Mon, 30 Apr 2007 12:41:50 GMT Gary Byers [6379] * branches/x8664-call/ccl/level-0/X86/x86-numbers.lisp (modified) Things which do shifts - including %FIXNUM-GCD - should use %imm2, ... Mon, 30 Apr 2007 12:41:25 GMT Gary Byers [6378] * branches/x8664-call/ccl/level-0/X86/X8664/x8664-bignum.lisp (modified) Things which do shifts - including %FIXNUM-GCD - should use %imm2, ... Mon, 30 Apr 2007 12:40:20 GMT Gary Byers [6377] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) When unwinding the stack and returning values, don't let %imm2 be ... Mon, 30 Apr 2007 12:39:13 GMT Gary Byers [6376] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) Don't need to worry about keeping %rcx from confusing the GC when ... Mon, 30 Apr 2007 12:38:18 GMT Gary Byers [6375] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) RCX is an immediate register (and also %nargs.q, and still used for ... Mon, 30 Apr 2007 05:57:37 GMT Gary Byers [6374] * branches/x8664-call/ccl/lisp-kernel/x86-asmutils64.s (modified) * branches/x8664-call/ccl/lisp-kernel/x86-macros.s (modified) * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) Define and use repret instruction. Mon, 30 Apr 2007 02:44:22 GMT Gary Byers [6373] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-backend.lisp (modified) x8664-setup-ftd: deal with cross-compilation issues. Sun, 29 Apr 2007 23:57:30 GMT Gary Byers [6372] * branches/x8664-call/ccl/lisp-kernel/x86-subprims64.s (modified) Gak. .SPmkcatch1v wants return address on stack. Sun, 29 Apr 2007 09:34:20 GMT Gary Byers [6371] * branches/x8664-call/ccl/library/hash-cons.lisp (modified) LAP changes to support new x86-64 calling sequence. Sun, 29 Apr 2007 09:33:52 GMT Gary Byers [6370] * branches/x8664-call/ccl/level-0/X86/X8664/x8664-bignum.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-array.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-clos.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-def.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-float.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-misc.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-numbers.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-pred.lisp (modified) * branches/x8664-call/ccl/level-0/X86/x86-utils.lisp (modified) LAP changes to support new x86-64 calling sequence (multiple-values, ... Sun, 29 Apr 2007 09:32:51 GMT Gary Byers [6369] * branches/x8664-call/ccl/level-0/l0-cfm-support.lisp (modified) don't DECLARE IGNORE something that probably hasn't existed in years. Sun, 29 Apr 2007 09:31:48 GMT Gary Byers [6368] * branches/x8664-call/ccl/lisp-kernel/x86_print.c (modified) Printing a single float might work; need to check that ... Sun, 29 Apr 2007 09:31:18 GMT Gary Byers [6367] * branches/x8664-call/ccl/lisp-kernel/x86-exceptions.c (modified) If we interrupt late in the write-barrier, force the thread to return ... Sun, 29 Apr 2007 09:29:34 GMT Gary Byers [6366] * branches/x8664-call/ccl/lisp-kernel/x86-subprims64.s (modified) The one and only call to _SPfuncall in the world pushes a return address. Sun, 29 Apr 2007 09:27:44 GMT Gary Byers [6365] * branches/x8664-call/ccl/lisp-kernel/x86-spjump64.s (modified) Lose most of the "new" call/ret-based subprim variants; most things ... Sun, 29 Apr 2007 09:27:29 GMT Gary Byers [6364] * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) Lose most of the "new" call/ret-based subprim variants; most things ... Sun, 29 Apr 2007 09:26:21 GMT Gary Byers [6363] * branches/x8664-call/ccl/lisp-kernel/linuxx8664/.gdbinit (modified) Add gtra, just about when we're about to stop keeping return ... Sun, 29 Apr 2007 09:25:22 GMT Gary Byers [6362] * branches/x8664-call/ccl/lib/macros.lisp (modified) Don't set foreign record types when cross-compiling; too much ... Sun, 29 Apr 2007 09:24:42 GMT Gary Byers [6361] * branches/x8664-call/ccl/lib/foreign-types.lisp (modified) Use an ecase to initialize ftd interface dir; #. won't work if the ... Sun, 29 Apr 2007 09:23:42 GMT Gary Byers [6360] * branches/x8664-call/ccl/level-1/ppc-trap-support.lisp (modified) Spell arg names correctly in ppc64 callback. Struct misalignment ... Sun, 29 Apr 2007 09:22:36 GMT Gary Byers [6359] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Functions (and most subprims) called with return address on top of ... Sun, 29 Apr 2007 09:22:23 GMT Gary Byers [6358] * branches/x8664-call/ccl/compiler/X86/x86-lapmacros.lisp (modified) Functions (and most subprims) called with return address on top of ... Sun, 29 Apr 2007 09:22:08 GMT Gary Byers [6357] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) Functions (and most subprims) called with return address on top of ... Sun, 29 Apr 2007 09:21:28 GMT Gary Byers [6356] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-backend.lisp (modified) Spell FreeBSD package name correctly, for cross-compile. Sun, 29 Apr 2007 09:20:45 GMT Gary Byers [6355] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) Lose most of the "new" subprims added a few weeks ago. Most things ... Thu, 26 Apr 2007 07:42:41 GMT Gary Byers [6354] * branches/x8664-call/ccl/compiler/X86/x86-lap.lisp (modified) Handle other label operands in (e.g.) CALL instructions. Tue, 24 Apr 2007 09:01:15 GMT Gary Byers [6353] * branches/x8664-call/ccl/lisp-kernel/x86-exceptions.c (modified) handle_fault: check for valid cmain before calling out to it. Tue, 24 Apr 2007 09:00:49 GMT Gary Byers [6352] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) makes64 is an xcall. Tue, 24 Apr 2007 08:42:28 GMT Gary Byers [6351] * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) new unwind: call via lea/jmp, but do interrupt-level binding out-of- ... Tue, 24 Apr 2007 08:41:40 GMT Gary Byers [6350] * branches/x8664-call/ccl/lisp-kernel/linuxx8664/.gdbinit (modified) gtra for linuxx8664. Tue, 24 Apr 2007 08:41:22 GMT Gary Byers [6349] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) New catch, unwind-protect stuff. Tue, 24 Apr 2007 08:41:07 GMT Gary Byers [6348] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) New catch, unwind-protect stuff. define xcall-subprim, start to use it. Mon, 23 Apr 2007 11:16:25 GMT Gary Byers [6347] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) (Finally) don't need to set %fn to jump to it, can jump to ... Mon, 23 Apr 2007 11:15:18 GMT Gary Byers [6346] * branches/x8664-call/ccl/lisp-kernel/x86-macros.s (modified) * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) * branches/x8664-call/ccl/lisp-kernel/x86-spjump64.s (modified) New mkcatch, mkunwind. Mon, 23 Apr 2007 11:15:04 GMT Gary Byers [6345] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) New mkcatch, mkunwind. Mon, 23 Apr 2007 11:14:31 GMT Gary Byers [6344] * branches/x8664-call/ccl/compiler/X86/x86-disassemble.lisp (modified) Back out of the "delta" stuff: probably more confusing that way. Mon, 23 Apr 2007 09:55:32 GMT Gary Byers [6343] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Use init-nclosure to make closures. LABELS needs to account for ... Mon, 23 Apr 2007 09:54:38 GMT Gary Byers [6342] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) Add INIT-NCLOSURE: closures now start with an instruction that sets ... Mon, 23 Apr 2007 04:49:36 GMT Gary Byers [6341] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) * branches/x8664-call/ccl/lisp-kernel/x86-spjump64.s (modified) .SPncall-closure. Mon, 23 Apr 2007 03:05:49 GMT Gary Byers [6340] * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) In newfangled .SPnbuiltin_ash, return via ret (not jmp ra0) if shift ... Mon, 23 Apr 2007 03:04:56 GMT Gary Byers [6339] * branches/x8664-call/ccl/lib/encapsulate.lisp (modified) Correct an assertion made in a comment. Should really throw most of ... Mon, 23 Apr 2007 03:03:53 GMT Gary Byers [6338] * branches/x8664-call/ccl/compiler/vinsn.lisp (modified) Indentation ... Sun, 22 Apr 2007 12:22:04 GMT Gary Byers [6337] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Start to handle new "builtin" subprims. Sun, 22 Apr 2007 12:21:38 GMT Gary Byers [6336] * branches/x8664-call/ccl/compiler/X86/x86-disassemble.lisp (modified) Add delta to label gensyms, commented instruction addresses. Use ... Sun, 22 Apr 2007 12:20:48 GMT Gary Byers [6335] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) ESTABLISH-FN, XCALL-SUBPRIM. Sun, 22 Apr 2007 12:20:22 GMT Gary Byers [6334] * branches/x8664-call/ccl/lisp-kernel/x86-gc.c (modified) In mark_xp(), mark rip as function if it looks like rip points to the ... Sun, 22 Apr 2007 10:52:15 GMT Gary Byers [6333] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) aref1/aset1: fix array dims check: want a list of length 1. Sun, 22 Apr 2007 10:50:51 GMT Gary Byers [6332] * branches/x8664-call/ccl/level-1/linux-files.lisp (modified) Cant use (:array :uint 2) in the cold load without making a fuss ... Sun, 22 Apr 2007 10:47:25 GMT Gary Byers [6331] * branches/x8664-call/ccl/compiler/X86/x86-lapmacros.lisp (modified) ref-global.l Sun, 22 Apr 2007 10:43:51 GMT Gary Byers [6330] * branches/x8664-call/ccl/level-1/version.lisp (modified) Bump. Sun, 22 Apr 2007 10:43:36 GMT Gary Byers [6329] * branches/x8664-call/ccl/lib/compile-ccl.lisp (modified) Remove some stuff leftover from 68k->ppc MCL transition. Sun, 22 Apr 2007 10:43:11 GMT Gary Byers [6328] * branches/x8664-call/ccl/lib/nfcomp.lisp (modified) Indentation/comment changes only. Sun, 22 Apr 2007 10:42:42 GMT Gary Byers [6327] * branches/x8664-call/ccl/lisp-kernel/x86-gc.c (modified) Fix tra checking. Sun, 22 Apr 2007 10:42:03 GMT Gary Byers [6326] * branches/x8664-call/ccl/level-1/linux-files.lisp (modified) FreeBSD CPU-COUNT sysctl call looked bad. Sun, 22 Apr 2007 10:41:34 GMT Gary Byers [6325] * branches/x8664-call/ccl/level-0/X86/x86-clos.lisp (modified) Tried to use shorter insns; losing battle. Sun, 22 Apr 2007 10:41:11 GMT Gary Byers [6324] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) Can use :talign, call instructions in some cases. Sun, 22 Apr 2007 10:39:53 GMT Gary Byers [6323] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Use xcall-subprim-2 (uses x86 CALL to call subprims) for a few ... Sun, 22 Apr 2007 10:38:50 GMT Gary Byers [6322] * branches/x8664-call/ccl/compiler/X86/x86-lap.lisp (modified) Prepend an rip-relative LEA that sets %fn; this will mean (with GC ... Sun, 22 Apr 2007 10:37:31 GMT Gary Byers [6321] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) Increase gf-code-size. Might shrink again soon. Sat, 21 Apr 2007 06:16:44 GMT Gary Byers [6320] * trunk/ccl/ChangeLog (modified) Sat, 21 Apr 2007 05:52:47 GMT Gary Byers [6319] * trunk/ccl/lib/dumplisp.lisp (modified) In SAVE-APPLICATION: check for containing directory after translating ... Fri, 20 Apr 2007 09:16:00 GMT Gary Byers [6318] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Support :talign pseudo-op. Don't bother emitting ... Fri, 20 Apr 2007 09:05:54 GMT Gary Byers [6317] * branches/x8664-call/ccl/lisp-kernel/x86-spjump64.s (modified) Add variants of many subprims which take their return addresses on ... Fri, 20 Apr 2007 09:02:56 GMT Gary Byers [6316] * branches/x8664-call/ccl/lisp-kernel/x86-spentry64.s (modified) Add variants of many subprims which take their return addresses on ... Fri, 20 Apr 2007 09:01:17 GMT Gary Byers [6315] * branches/x8664-call/ccl/lisp-kernel/x86-gc.c (modified) mark_xp: if rip is unmarked and tagged as a return address, treat it ... Fri, 20 Apr 2007 08:58:22 GMT Gary Byers [6314] * branches/x8664-call/ccl/lisp-kernel/darwinx8664/.gdbinit (modified) Handle SIGSYS, 'cause Leopard can't handle the truth. Fri, 20 Apr 2007 08:55:52 GMT Gary Byers [6313] * branches/x8664-call/ccl/compiler/X86/x86-lap.lisp (modified) Support for :talign pseudo-op: aligns the -end- of the next ... Fri, 20 Apr 2007 08:53:06 GMT Gary Byers [6312] * branches/x8664-call/ccl/compiler/X86/x86-lapmacros.lisp (modified) xcall-subprim (for testing). Fri, 20 Apr 2007 08:52:43 GMT Gary Byers [6311] * branches/x8664-call/ccl/compiler/X86/x86-disassemble.lisp (modified) Recognize subprim addresses in CALL operands. Fri, 20 Apr 2007 08:52:16 GMT Gary Byers [6310] * branches/x8664-call/ccl/compiler/X86/x86-backend.lisp (modified) Allow use of :talign pseudo-op in vinsns. Fri, 20 Apr 2007 08:51:42 GMT Gary Byers [6309] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) Define "new" subprims (where "new" means "will be called via x8664 ... Thu, 19 Apr 2007 21:16:54 GMT Gary Byers [6308] * trunk/ccl/ChangeLog (modified) Thu, 19 Apr 2007 20:50:50 GMT Gary Byers [6307] * trunk/ccl/compiler/X86/x862.lisp (modified) In x862-aset3, maybe push/pop the val reg if it conflicts with an ... Thu, 19 Apr 2007 06:37:28 GMT Gary Byers [6306] * branches/x8664-call/ccl/lisp-kernel/x86-exceptions.c (modified) * branches/x8664-call/ccl/lisp-kernel/x86-exceptions.h (modified) * branches/x8664-call/ccl/lisp-kernel/x86-gc.c (modified) * branches/x8664-call/ccl/lisp-kernel/x86_print.c (modified) * branches/x8664-call/ccl/lisp-kernel/xlbt.c (modified) Use new scheme for mapping from tra to containing fn. Needs testing ... Wed, 18 Apr 2007 23:36:59 GMT Gary Byers [6305] * branches/x8664-call/ccl/level-0/X86/x86-def.lisp (modified) Use new scheme to map from tra to function/offset. Wed, 18 Apr 2007 23:34:56 GMT Gary Byers [6304] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) Constants related to recognizing the RIP-relative instruction after ... Wed, 18 Apr 2007 11:29:51 GMT Gary Byers [6303] * branches/x8664-call/ccl/level-0/X86/x86-utils.lisp (modified) recover-fn-from-rip. Wed, 18 Apr 2007 11:29:37 GMT Gary Byers [6302] * branches/x8664-call/ccl/level-0/X86/x86-pred.lisp (modified) recover-fn-from-rip. Wed, 18 Apr 2007 11:29:05 GMT Gary Byers [6301] * branches/x8664-call/ccl/level-0/X86/x86-clos.lisp (modified) New scheme - mandatory recovery of %FN relative to %RIP - causes ... Wed, 18 Apr 2007 11:27:17 GMT Gary Byers [6300] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) When recovering %fn from %rip, use a temporary to reference the entry ... Wed, 18 Apr 2007 11:26:23 GMT Gary Byers [6299] * branches/x8664-call/ccl/compiler/X86/x86-lapmacros.lisp (modified) Don't define RECOVER-FN-FROM-RA0. Do define RECOVER-FN-FROM-RIP. ... Wed, 18 Apr 2007 11:25:23 GMT Gary Byers [6298] * branches/x8664-call/ccl/compiler/vinsn.lisp (modified) In MATCH-TEMPLATE-VREGS, handle locals/temps which refer to global ... Wed, 18 Apr 2007 11:24:09 GMT Gary Byers [6297] * branches/x8664-call/ccl/compiler/X86/x86-backend.lisp (modified) Accept (name (:label n)) as a vinsn temporary. Wed, 18 Apr 2007 09:19:56 GMT Gary Byers [6296] * branches/x8664-call/ccl/compiler/X86/x86-disassemble.lisp (modified) Recognize memory addresses of the form (@ (:^ label) (% rip)) as if ... Wed, 18 Apr 2007 09:18:30 GMT Gary Byers [6295] * branches/x8664-call/ccl/compiler/X86/x86-asm.lisp (modified) * branches/x8664-call/ccl/compiler/X86/x86-lap.lisp (modified) Do the right/obvious thing for memory addresses of the form (@ (:^ ... Wed, 18 Apr 2007 02:58:29 GMT Gary Byers [6294] * branches/x8664-call/ccl/compiler/X86/x862.lisp (modified) Some changes for new tagged-return-address scheme. Wed, 18 Apr 2007 02:57:49 GMT Gary Byers [6293] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-vinsns.lisp (modified) Use %rip-relative addressing to recover %fn at return address. Try ... Wed, 18 Apr 2007 02:52:05 GMT Gary Byers [6292] * branches/x8664-call/ccl/compiler/X86/X8664/x8664-arch.lisp (modified) Enumerated constant for x8664::rip. Wed, 18 Apr 2007 02:51:04 GMT Gary Byers [6291] * branches/x8664-call/ccl/compiler/X86/x86-asm.lisp (modified) Define "call" instruction templates. Add "rip" to x8664-register entries. Wed, 18 Apr 2007 02:44:25 GMT Gary Byers [6290] * branches/x8664-call/ccl (copied) new x86-64 experimental CALL Wed, 18 Apr 2007 02:44:10 GMT Gary Byers [6289] * branches/x8664-call (added) For new branch. Wed, 18 Apr 2007 02:17:11 GMT Gary Byers [6288] * trunk/ccl/ChangeLog (modified) Wed, 18 Apr 2007 02:02:46 GMT Gary Byers [6287] * trunk/ccl/compiler/PPC/ppc2.lisp (modified) Actually remember to check in the PPC version of recent aset2/aset3 ... Mon, 16 Apr 2007 21:17:09 GMT Gary Byers [6286] * trunk/ccl/ChangeLog (modified) Mon, 16 Apr 2007 20:17:14 GMT Gary Byers [6285] * trunk/ccl/ChangeLog (modified) Mon, 16 Apr 2007 20:08:02 GMT Gary Byers [6284] * trunk/ccl/compiler/nx0.lisp (modified) Don't try to access ARRAY-CTYPE-ELEMENT-TYPE of things that aren't ... Mon, 16 Apr 2007 19:52:08 GMT Gary Byers [6283] * trunk/ccl/level-1/ppc-trap-support.lisp (modified) :signed-doubleword, not :signed-doublewod.