| !sum | |
| # ReduceSum — floating-point add across all lanes (ZFADDV). The sum is a float | |
| # in a floating-point scalar register. | |
| # Predicated-only: the governing predicate is implicit-all-true. | |
| - go: ReduceSum | |
| asm: "ZFADDV[SD]" | |
| in: | |
| - go: $t | |
| base: float | |
| - class: mask # governing predicate | |
| out: | |
| - &floatScalar | |
| class: fpreg | |
| base: float | |
| # ReduceMax — floating-point maximum across all lanes (ZFMAXV), the same shape | |
| # as ReduceSum. FMAXV propagates NaN, as Go's max does. | |
| - go: ReduceMax | |
| asm: "ZFMAXV[SD]" | |
| in: | |
| - go: $t | |
| base: float | |
| - class: mask # governing predicate | |
| out: | |
| - *floatScalar |