frint64x

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

FRINT64X <Sd>, <Sn>

Rounds to 64-bit integer, exact exception.

Details

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

Pseudocode Operation

// Rounds to 64-bit integer, exact exception

Example

FRINT64X s0, s1

Encoding

Binary Layout
00011110
00101010
111000
Rn
Rd
 
Format Float Conversion
Opcode 0x1E2AE000
Extension FEAT_FRINTTS

Operands

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