scalar.fmai
← scalar dialect
Fused integer multiply-add: a*b + c with no intermediate overflow check.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, DistributionTransfer |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
a |
integer |
required |
— |
| Operand |
b |
integer |
required |
— |
| Operand |
c |
integer |
required |
— |
| Result |
result |
integer |
required |
— |
| Attribute |
overflow |
flags IntOverflowFlags |
optional |
— |
Verification constraints
SameType(a, b, c, result)
Examples
%result = scalar.fmai %a, %b, %c : i64