vector.addf¶
Lanewise floating-point addition of same-typed vector operands. Optional fastmath flags carry the same per-lane floating-point permissions as scalar.addf; reduction reassociation belongs on vector.reduce instead.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Pure, Elementwise, Commutative, SafeToSpeculate |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | lhs |
vector |
required | — |
| Operand | rhs |
vector |
required | — |
| Result | result |
vector |
required | — |
| Attribute | fastmath |
flags FastMathFlags |
optional | — |
Verification constraints¶
HasFloatElement(result)SameType(lhs, rhs, result)
Examples¶
Note
A canonical source example has not been added for this operation yet.