Handbook
Glossary
possible-reps ( vreg reps -- vreg reps )
Vocabulary
compiler
.
cfg
.
representations
.
selection
Inputs
vreg
an
object
reps
an
object
Outputs
vreg
an
object
reps
an
object
Definition
USING:
cpu.architecture
kernel
namespaces
sets
;
IN:
compiler.cfg.representations.selection
:
possible-reps
( vreg reps -- vreg reps )
{
tagged-rep
}
union
2dup
[
tagged-vregs
get
in?
not
]
[
{
tagged-rep
}
=
]
bi*
and
[
drop
{
tagged-rep
int-rep
}
]
when
;