Merge branch 'main' into fix/pr-1024-proxy-support

Author: 7908837174

backends/instructions_appendix/all_instructions.golden.adoc

@@ -12173,7 +12173,9 @@ Included in::
 |===
 | Extension | Version
 
-| *F* | ~> 2.2.0
+| *Zfhmin* | ~> 1.0.0
+
+| *Zhinx* | ~> 1.0.0
 
 |===
 

spec/std/isa/inst/I/bge.yaml

@@ -33,7 +33,7 @@ pseudoinstructions:
   - when: xs1 == 0
     to: blez xs2,imm
   - when: xs2 == 0
-    to: blez xs1,imm
+    to: bgez xs1,imm
 operation(): |
   XReg lhs = X[xs1];
   XReg rhs = X[xs2];

spec/std/isa/inst/Zfh/fmv.h.x.yaml

@@ -12,7 +12,8 @@ description: |
   from the lower 16 bits of integer register `xs1` to the floating-point
   register `fd`. The bits are not modified in the transfer, and in particular,
   the payloads of non-canonical NaNs are preserved.
-definedBy: F
+definedBy:
+  anyOf: [Zfhmin, Zhinx]
 assembly: fd, xs1
 encoding:
   match: 111101000000-----000-----1010011