(%compare-float-branch) ( label src1 src2 cc compare -- )


Vocabulary
cpu.x86

Inputs and outputs
labelan object
src1an object
src2an object
ccan object
comparean object


Definition


:: (%compare-float-branch) ( label src1 src2 cc compare -- )
cc {
{
cc<
[
src2 src1 compare ( a b -- ) call-effect
label JA
]
}
{
cc<=
[
src2 src1 compare ( a b -- ) call-effect
label JAE
]
}
{
cc>
[
src1 src2 compare ( a b -- ) call-effect
label JA
]
}
{
cc>=
[
src1 src2 compare ( a b -- ) call-effect
label JAE
]
}
{
cc=
[
src1 src2 compare ( a b -- ) call-effect
label %jump-float=
]
}
{
cc<>
[
src1 src2 compare ( a b -- ) call-effect
label JNE
]
}
{
cc<>=
[
src1 src2 compare ( a b -- ) call-effect
label JNP
]
}
{
cc/<
[
src2 src1 compare ( a b -- ) call-effect
label JBE
]
}
{
cc/<=
[
src2 src1 compare ( a b -- ) call-effect
label JB
]
}
{
cc/>
[
src1 src2 compare ( a b -- ) call-effect
label JBE
]
}
{
cc/>=
[
src1 src2 compare ( a b -- ) call-effect
label JB
]
}
{
cc/=
[
src1 src2 compare ( a b -- ) call-effect
label %jump-float/=
]
}
{
cc/<>
[
src1 src2 compare ( a b -- ) call-effect
label JE
]
}
{
cc/<>=
[
src1 src2 compare ( a b -- ) call-effect
label JP
]
}
} case ;