Support added for the generation of rtl for open coded fixnum
authorMark Friedman <edu/mit/csail/zurich/markf>
Tue, 26 Apr 1988 18:33:37 +0000 (18:33 +0000)
committerMark Friedman <edu/mit/csail/zurich/markf>
Tue, 26 Apr 1988 18:33:37 +0000 (18:33 +0000)
commitf64cce3c245101926d1879217225715e31bcaf49
tree13891ea73888811ec26655066682b4bb0a76084c
parent88a60a1e65dd0e307dc373d6d20d5c56057745d7
Support added for the generation of rtl for open coded fixnum
arithmetic and predicates.
NOTE: Someday, when we have some support for the persistance of
untyped objects (i.e. when we have some way of saving unboxed
fixnums across GC calls) we can do some fancier things such as
eliminating the boxing of a fixnum calculation which is just going
to be unboxed and used in another fixnum calculation. My idea
for doing this is to add an explicit FIXNUM->OBJECT rtl expression
and when OBJECT->FIXNUM is simplified and its operand is FIXNUM->OBJECT
then cancel them out and return the operand of the FIXNUM->OBJECT.
The result of an fixnum expression expression will then have to be
considered an RTL:FIXNUM-VALUED-EXPRESSION? and OBJECT-NON-INVALIDATE
will have to be updated.
v7/src/compiler/rtlbase/rtlcon.scm