Add support for Zhinxmin extension

Author: jordancarlin

README.md

@@ -107,7 +107,7 @@ Supported RISC-V ISA features
 - F and D extensions for single and double-precision floating-point, v2.2
 - Zfh and Zfhmin extensions for half-precision floating-point, v1.0
 - Zfa extension for additional floating-point instructions, v1.0
-- Zfinx, Zdinx, and Zhinx extensions for floating-point in integer registers, v1.0
+- Zfinx, Zdinx, Zhinx, and Zhinxmin extensions for floating-point in integer registers, v1.0
 - C extension for compressed instructions, v2.0
 - Zca, Zcf, Zcd, and Zcb extensions for code size reduction, v1.0
 - Zcmop extension for compressed May-Be-Operations, v1.0

config/default.json

@@ -164,6 +164,9 @@
         "Zhinx" : {
             "supported" : false
         },
+        "Zhinxmin" : {
+            "supported" : false
+        },
         "Zvbb" : {
             "supported" : true
         },

model/riscv_extensions.sail

@@ -169,6 +169,9 @@ function clause hartSupports(Ext_Zksh) = config extensions.Zksh.supported
 // Floating-Point in Integer Registers (half precision)
 enum clause extension = Ext_Zhinx
 function clause hartSupports(Ext_Zhinx) = config extensions.Zhinx.supported
+// Floating-Point in Integer Registers (minimal half precision)
+enum clause extension = Ext_Zhinxmin
+function clause hartSupports(Ext_Zhinxmin) = config extensions.Zhinxmin.supported
 
 // Vector Basic Bit-manipulation
 enum clause extension = Ext_Zvbb

model/riscv_insts_zfh.sail

@@ -7,6 +7,7 @@
 /*=======================================================================================*/
 
 function clause currentlyEnabled(Ext_Zhinx) = hartSupports(Ext_Zhinx) & currentlyEnabled(Ext_Zfinx)
+function clause currentlyEnabled(Ext_Zhinxmin) = (hartSupports(Ext_Zhinxmin) & currentlyEnabled(Ext_Zfinx))| currentlyEnabled(Ext_Zhinx)
 
 /* **************************************************************** */
 /* This file specifies the instructions in the Zfh extension        */
@@ -167,7 +168,7 @@ function fle_H   (v1,       v2,        is_quiet) = {
 function haveHalfFPU() -> bool = currentlyEnabled(Ext_Zfh) | currentlyEnabled(Ext_Zhinx)
 // Support for conversion of halves to/from single & double, but no actual
 // calculations with halves.
-function haveHalfMin() -> bool = haveHalfFPU() | currentlyEnabled(Ext_Zfhmin)
+function haveHalfMin() -> bool = haveHalfFPU() | currentlyEnabled(Ext_Zfhmin) | currentlyEnabled(Ext_Zhinxmin)
 
 /* ****************************************************************** */
 /* Floating-point loads                                               */