Handbook
Glossary
(compute-renaming-set) ( vreg required quot: ( vreg preferred required -- new-vreg ) -- )
Vocabulary
compiler
.
cfg
.
representations
.
rewrite
Inputs
vreg
an
object
required
an
object
quot
a
quotation
with stack effect
( vreg preferred required -- new-vreg )
Outputs
None
Definition
USING:
compiler.cfg.registers
kernel
;
IN:
compiler.cfg.representations.rewrite
::
(compute-renaming-set)
( vreg required quot: ( vreg preferred required -- new-vreg ) -- )
vreg
rep-of
:>
preferred preferred required
eq?
[
vreg
no-renaming
]
[
vreg vreg preferred required quot
call
record-renaming
]
if
;
inline