frint32x

Floating-Point Round to 32-bit Integer (Exact)

FRINT32X <Sd>, <Sn>

Rounds to 32-bit integer, exact exception.

Details

The Floating-Point Round to 32-bit Integer instruction rounds to 32-bit integer, exact exception.

Pseudocode Operation

// Rounds to 32-bit integer, exact exception

Example

FRINT32X s0, s1

Encoding

Binary Layout
00011110
00101000
111000
Rn
Rd
 
Format Float Conversion
Opcode 0x1E28E000
Extension FEAT_FRINTTS

Operands

  • Sd
    Destination 32-bit floating-point register
  • Sn
    First source 32-bit floating-point register