s12:a s12:b
¶Set the comparison result to EQUAL if the u64
values
a and b are the same, or NONE
otherwise.
s12:a s12:b
¶Set the comparison result to LESS_THAN
if the u64
value
a is less than the u64
value b are the same, or
NONE
otherwise.
s12:a s12:b
¶Set the comparison result to LESS_THAN
if the s64
value
a is less than the s64
value b are the same, or
NONE
otherwise.
s12:a z12:b
¶Set the comparison result to EQUAL if the s64
value a
is equal to the immediate s64
value b, or NONE
otherwise.
s12:a c12:b
¶Set the comparison result to LESS_THAN
if the u64
value
a is less than the immediate u64
value b, or
NONE
otherwise.
s12:a s12:b
¶Set the comparison result to LESS_THAN
if the u64
immediate b is less than the u64
value a, or
NONE
otherwise.
s12:a z12:b
¶Set the comparison result to LESS_THAN
if the s64
value
a is less than the immediate s64
value b, or
NONE
otherwise.
s12:a z12:b
¶Set the comparison result to LESS_THAN
if the s64
immediate b is less than the s64
value a, or
NONE
otherwise.
s12:a s12:b
¶Set the comparison result to EQUAL if the f64 value a is
equal to the f64 value b, or NONE
otherwise.
s12:a s12:b
¶Set the comparison result to LESS_THAN
if the f64 value a
is less than the f64 value b, NONE
if a is greater
than or equal to b, or INVALID
otherwise.
s12:a s12:b
¶Set the comparison result to EQUAL if the SCM values a and
b are numerically equal, in the sense of the Scheme =
operator. Set to NONE
otherwise.
s12:a s12:b
¶Set the comparison result to EQUAL if the SCM values a and
b are numerically equal, in the sense of Scheme =
. Set to
NONE
otherwise. It is known that both a and b are
heap numbers.
s12:a s12:b
¶Set the comparison result to LESS_THAN
if the SCM value a
is less than the SCM value b, NONE
if a is greater
than or equal to b, or INVALID
otherwise.
s24:obj c16:mask c16:tag
¶Set the comparison result to EQUAL if the result of a bitwise
and
between the bits of scm
value a and the
immediate mask is tag, or NONE
otherwise.
s24:obj c16:mask c16:tag
¶Set the comparison result to EQUAL if the result of a bitwise
and
between the first word of scm
value a and the
immediate mask is tag, or NONE
otherwise.
s12:a s12:b
¶Set the comparison result to EQUAL if the SCM values a and
b are eq?
, or NONE
otherwise.
s8:a zi16:b
¶Set the comparison result to EQUAL if the SCM value a is
equal to the immediate SCM value b (sign-extended), or NONE
otherwise.
There are a set of macro-instructions for immediate-tag=?
and
heap-tag=?
as well that abstract away the precise type tag
values. See The SCM Type in Guile.
Emit a immediate-tag=?
instruction that will set the comparison
result to EQUAL
if x would pass the corresponding predicate
(e.g. null?
), or NONE
otherwise.
Emit a heap-tag=?
instruction that will set the comparison result
to EQUAL
if x would pass the corresponding predicate
(e.g. null?
), or NONE
otherwise.