Fix definedBy error on F extensions

Signed-off-by: Afonso Oliveira <[email protected]>
riscv-software-src · Dec 4, 2024 · f1d354d · f1d354d
1 parent 72f5481
commit f1d354d
Show file tree

Hide file tree

Showing 7 changed files with 14 additions and 7 deletions.
diff --git a/arch/inst/F/fleq.s.yaml b/arch/inst/F/fleq.s.yaml
@@ -6,7 +6,8 @@ name: fleq.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+  allOf: [F, Zfa]
 assembly: xd, fs1, fs2
 encoding:
   match: 1010000----------100-----1010011

diff --git a/arch/inst/F/fli.s.yaml b/arch/inst/F/fli.s.yaml
@@ -6,7 +6,8 @@ name: fli.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+    allOf: [F, Zfa]
 assembly: fd, fs1
 encoding:
   match: 111100000001-----000-----1010011

diff --git a/arch/inst/F/fltq.s.yaml b/arch/inst/F/fltq.s.yaml
@@ -6,7 +6,8 @@ name: fltq.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+  allOf: [F, Zfa]
 assembly: xd, fs1, fs2
 encoding:
   match: 1010000----------101-----1010011

diff --git a/arch/inst/F/fmaxm.s.yaml b/arch/inst/F/fmaxm.s.yaml
@@ -6,7 +6,8 @@ name: fmaxm.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+    allOf: [F, Zfa]
 assembly: xd, xs1, xs2
 encoding:
   match: 0010100----------011-----1010011

diff --git a/arch/inst/F/fminm.s.yaml b/arch/inst/F/fminm.s.yaml
@@ -6,7 +6,8 @@ name: fminm.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+  allOf: [F, Zfa]
 assembly: fd, fs1, fs2
 encoding:
   match: 0010100----------010-----1010011

diff --git a/arch/inst/F/fround.s.yaml b/arch/inst/F/fround.s.yaml
@@ -6,7 +6,8 @@ name: fround.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+    allOf: [F, Zfa]
 assembly: fd, xs1, rm
 encoding:
   match: 010000000100-------------1010011

diff --git a/arch/inst/F/froundnx.s.yaml b/arch/inst/F/froundnx.s.yaml
@@ -6,7 +6,8 @@ name: froundnx.s
 long_name: No synopsis available.
 description: |
     No description available.
-definedBy: F, Zfa
+definedBy: 
+  allOf: [F, Zfa]
 assembly: fd, rs1, rm
 encoding:
   match: 010000000101-------------1010011