scalar.extf
← scalar dialect
Float precision extension to a strictly wider format. Without flags, the conversion preserves subnormal inputs and results. daz permits replacing a subnormal input with its signed zero before conversion; ftz permits replacing a subnormal result with its signed zero.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, DistributionTransfer, SafeToSpeculate |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
input |
float |
required |
— |
| Result |
result |
float |
required |
— |
| Attribute |
subnormal |
flags FloatConversionFlags |
optional |
— |
Verification constraints
ElementWidthGreaterThan(result, input)
Examples
%result = scalar.extf %input : f16 to f32