index.madd¶
Logical coordinate multiply-add: a*b + c. Offsets are physical byte counts and cannot be multiplied with this op.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Pure, DistributionTransfer |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | a |
index |
required | — |
| Operand | b |
index |
required | — |
| Operand | c |
index |
required | — |
| Result | result |
index |
required | — |
Verification constraints¶
SameType(a, b, c, result)