Update of /cvsroot/sbcl/sbcl/src/compiler/x86
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv19253/src/compiler/x86
188.8.131.52: implement and use SB!XC:GENSYM
We need a gensym variant that doesn't share state with *GENSYM-COUNTER*,
so that host macroexpansions don't affect us. (We also need to bind our
counter variant in the INFO compiler macro, because compiler macros
might or might not be expanded...)
11 individual commit messages follow:
Host implementations can, even during cross-compilation, expand macros
(including arbitrary host macros such as CL:DEFUN) in :compile-toplevel
function definitions different numbers of times. This is a problem
because some gensyms end up in function arglists (e.g. from
MULTIPLE-VALUE-BIND as well as from explicit FLETs or LAMBDAs in macro
expansions). Our own SB!XC:GENSYM allows us to control the gensym
counter we use and hence the symbol names that are dumped.
Use SB!XC:GENSYM in BLOCK-GENSYM
remove a needless gensym
Nothing wrong with a regular symbol here.
Bind SB!XC:*GENSYM-COUNTER* in DEFINE-COMPILER-MACRO INFO
The compiler-macro for INFO now uses SB!XC:GENSYM, which is OK except
that the compiler macro gets used during cross-compilation; some
implementations expand compiler macros, while others (e.g. clisp)
interpret the relevant code and so don't. Binding the counter
variable renders the effect of the compiler macro on the counter
various reworks of macros to use SB!XC:GENSYM
In some cases radically decrease vertical space use by judicious use of
MAKE-GENSYM-LIST or WITH-UNIQUE-NAMES, both of which go through
more reworks of macros to use SB!XC:GENSYM
Nothing vastly interesting here.
yet more reworks of macros to use SB!XC:GENSYM
Nothing much of interest.
even more reworks of macros to use SB!XC:GENSYM
more reworks of macros for SB!XC:GENSYM goodness.
one more SB!XC:GENSYM fix
Use WITH-UNIQUE-NAMES in FD-FOO macros.
One more gensym
RCS file: /cvsroot/sbcl/sbcl/src/compiler/x86/static-fn.lisp,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- static-fn.lisp 21 Apr 2009 11:28:46 -0000 1.13
+++ static-fn.lisp 24 Apr 2009 10:44:10 -0000 1.14
@@ -39,7 +39,7 @@
(error "either too many args (~W) or too many results (~W); max = ~W"
num-args num-results register-arg-count))
(let ((num-temps (max num-args num-results))
- (node (gensym "NODE-")))
+ (node (sb!xc:gensym "NODE")))
(collect ((temp-names) (temps) (arg-names) (args) (result-names) (results))
(dotimes (i num-results)
(let ((result-name (intern (format nil "RESULT-~D" i))))