From 638198c2d4d358ffe798fca57e7cee8f81f5f788 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <91900059+ved-rivos@users.noreply.github.com>
Date: Sun, 5 May 2024 17:59:43 -0500
Subject: Mark Zihintntl, Zicond, Zfa, Zbkb, and Zvbc as ratified (#246)

* Mark Zihintntl as ratified

* Mark Zicond as ratified

* Mark Zfa as ratified

* Mark Zvbc as ratified

* Mark Zbkb ratified

* Mark xperm4/8 of Zbkx as ratified

* Update Zbkb - remove Zbe
---
 rv_f_zfa | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 rv_f_zfa

(limited to 'rv_f_zfa')

diff --git a/rv_f_zfa b/rv_f_zfa
new file mode 100644
index 0000000..045fc27
--- /dev/null
+++ b/rv_f_zfa
@@ -0,0 +1,7 @@
+fli.s        rd rs1 24..20=1 31..27=0x1E 14..12=0 26..25=0 6..2=0x14 1..0=3
+fminm.s      rd rs1 rs2      31..27=0x05 14..12=2 26..25=0 6..2=0x14 1..0=3
+fmaxm.s      rd rs1 rs2      31..27=0x05 14..12=3 26..25=0 6..2=0x14 1..0=3
+fround.s     rd rs1 24..20=4 31..27=0x08 rm       26..25=0 6..2=0x14 1..0=3
+froundnx.s   rd rs1 24..20=5 31..27=0x08 rm       26..25=0 6..2=0x14 1..0=3
+fleq.s       rd rs1 rs2      31..27=0x14 14..12=4 26..25=0 6..2=0x14 1..0=3
+fltq.s       rd rs1 rs2      31..27=0x14 14..12=5 26..25=0 6..2=0x14 1..0=3
-- 
cgit v1.1