RISC-V ISA Explorer · Float & Numerics (Zf*)

Zfa: Additional FP Instructions

Ratified 2023-09 · version 1.0.0

Immediate loads, IEEE 754-2019 min/max, round-to-integer, and quiet comparisons missing from base FP.

Typical use: IEEE operations missing from base F and D

Specification

Open Zfa in the explorer

Dependencies

Requires

Instructions (33)

Mnemonic	Name	Encoding	Match	Mask
`FCVTMOD.W.D`	Floating-Point Convert Double-Precision to Word with Modulo	`110000101000-----001-----1010011`	`0xc2801053`	`0xfff0707f`
`FLEQ.D`	Floating-Point Less Than or Equal Quiet Double-Precision	`1010001----------100-----1010011`	`0xa2004053`	`0xfe00707f`
`FLEQ.H`		`1010010----------100-----1010011`	`0xa4004053`	`0xfe00707f`
`FLEQ.Q`	Floating-Point Less Than or Equal Quiet Quad-Precision	`1010011----------100-----1010011`	`0xa6004053`	`0xfe00707f`
`FLEQ.S`	Floating-Point Less Than or Equal Quiet Single-Precision	`1010000----------100-----1010011`	`0xa0004053`	`0xfe00707f`
`FLI.D`	Floating-Point Load Immediate Double-Precision	`111100100001-----000-----1010011`	`0xf2100053`	`0xfff0707f`
`FLI.H`	Floating-point Load Immediate Half-precision	`111101000001-----000-----1010011`	`0xf4100053`	`0xfff0707f`
`FLI.Q`	Floating-Point Load Immediate Quad-Precision	`111101100001-----000-----1010011`	`0xf6100053`	`0xfff0707f`
`FLI.S`		`111100000001-----000-----1010011`	`0xf0100053`	`0xfff0707f`
`FLTQ.D`	Floating-Point Less Than Quiet Double-Precision	`1010001----------101-----1010011`	`0xa2005053`	`0xfe00707f`
`FLTQ.H`		`1010010----------101-----1010011`	`0xa4005053`	`0xfe00707f`
`FLTQ.Q`	Floating-Point Less Than Quiet Quad-Precision	`1010011----------101-----1010011`	`0xa6005053`	`0xfe00707f`
`FLTQ.S`	Floating-Point Less Than Quiet Single-Precision	`1010000----------101-----1010011`	`0xa0005053`	`0xfe00707f`
`FMAXM.D`	Floating-Point Maximum-Number NaN Double-Precision	`0010101----------011-----1010011`	`0x2a003053`	`0xfe00707f`
`FMAXM.H`		`0010110----------011-----1010011`	`0x2c003053`	`0xfe00707f`
`FMAXM.Q`	Floating-Point Maximum-Number NaN Quad-Precision	`0010111----------011-----1010011`	`0x2e003053`	`0xfe00707f`
`FMAXM.S`		`0010100----------011-----1010011`	`0x28003053`	`0xfe00707f`
`FMINM.D`	Floating-Point Minimum-Number NaN Double-Precision	`0010101----------010-----1010011`	`0x2a002053`	`0xfe00707f`
`FMINM.H`		`0010110----------010-----1010011`	`0x2c002053`	`0xfe00707f`
`FMINM.Q`	Floating-Point Minimum-Number NaN Quad-Precision	`0010111----------010-----1010011`	`0x2e002053`	`0xfe00707f`
`FMINM.S`		`0010100----------010-----1010011`	`0x28002053`	`0xfe00707f`
`FMVH.X.D`	Floating-Point Move High Half from Double-Precision Register to Integer Register	`111000100001-----000-----1010011`	`0xe2100053`	`0xfff0707f`
`FMVH.X.Q`	Floating-Point Move High Half to Integer from Quad-Precision	`111001100001-----000-----1010011`	`0xe6100053`	`0xfff0707f`
`FMVP.D.X`	Floating-Point Move Pair from Integer Registers to Double-Precision Register	`1011001----------000-----1010011`	`0xb2000053`	`0xfe00707f`
`FMVP.Q.X`	Floating-Point Move Pair from Integer Registers to Quad-Precision Register	`1011011----------000-----1010011`	`0xb6000053`	`0xfe00707f`
`FROUND.D`	Floating-Point Round Double-Precision	`010000100100-------------1010011`	`0x42400053`	`0xfff0007f`
`FROUND.H`		`010001000100-------------1010011`	`0x44400053`	`0xfff0007f`
`FROUND.Q`	Floating-Point Round Quad-Precision	`010001100100-------------1010011`	`0x46400053`	`0xfff0007f`
`FROUND.S`	Floating-point round single-precision float to integer	`010000000100-------------1010011`	`0x40400053`	`0xfff0007f`
`FROUNDNX.D`	Floating-Point Round-to-Integer Inexact Double-Precision	`010000100101-------------1010011`	`0x42500053`	`0xfff0007f`
`FROUNDNX.H`		`010001000101-------------1010011`	`0x44500053`	`0xfff0007f`
`FROUNDNX.Q`	Floating-Point Round-to-Integer Inexact Quad-Precision	`010001100101-------------1010011`	`0x46500053`	`0xfff0007f`
`FROUNDNX.S`	Floating-point Round Single-precision to Integer with Inexact	`010000000101-------------1010011`	`0x40500053`	`0xfff0007f`