Skip to content

vector.frexpf

← vector dialect

Elementwise exact decomposition with scalar.frexpf semantics. The fraction preserves the input type and the signed i32 exponent vector preserves its shape.

Operation contract

Property Value
Semantic phase executable
Traits Pure, Elementwise, SafeToSpeculate

Signature

Kind Name Type Cardinality Description
Operand input vector required —
Result fraction vector required —
Result exponent vector required —

Verification constraints

  • HasFloatElement(input)
  • HasI32Element(exponent)
  • SameType(input, fraction)
  • SameShape(input, fraction, exponent)

Examples

%fraction, %exponent = vector.frexpf %input : vector<4xf64>, vector<4xi32>