frint64z

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

FRINT64Z <Sd>, <Sn>

Rounds to 64-bit integer towards zero.

Details

The Floating-Point Round to 64-bit Integer instruction rounds to 64-bit integer towards zero.

Pseudocode Operation

// Rounds to 64-bit integer towards zero

Example

FRINT64Z s0, s1

Encoding

Binary Layout
00011110
00101011
111000
Rn
Rd
 
Format Float Conversion
Opcode 0x1E2BE000
Extension FEAT_FRINTTS

Operands

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