| !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 |