blob: c1622e90da6444e37a0c91cb535503c0ad8238bb [file]
!sum
# Sqrt — floating-point square root, ZFSQRT. Predicated-only: the governing
# predicate is implicit-all-true and the merging qualifier becomes the
# predicated machine op.
- go: Sqrt
asm: "ZFSQRT"
in:
- &float
go: $t
base: float
- class: mask # governing predicate
out:
- *float
# Ceil — floating-point round (ZFRINTP). Predicated-only, same shape as Sqrt.
- go: Ceil
asm: "ZFRINTP"
in:
- *float
- class: mask # governing predicate
out:
- *float
# Floor — floating-point round (ZFRINTM). Predicated-only, same shape as Sqrt.
- go: Floor
asm: "ZFRINTM"
in:
- *float
- class: mask # governing predicate
out:
- *float
# Trunc — floating-point round (ZFRINTZ). Predicated-only, same shape as Sqrt.
- go: Trunc
asm: "ZFRINTZ"
in:
- *float
- class: mask # governing predicate
out:
- *float
# Round — floating-point round to nearest, ties to even (ZFRINTN).
# Predicated-only, same shape as Sqrt.
- go: Round
asm: "ZFRINTN"
in:
- *float
- class: mask # governing predicate
out:
- *float
# Div — floating-point divide (ZFDIV). Predicated-only and destructive, the
# same shape as Max; non-commutative, so its machine op pins the destination
# to the dividend.
- go: Div
asm: "ZFDIV"
in:
- *float
- *float
- class: mask # governing predicate
out:
- *float