From ae19103ced6869a4bf9986c79fdf2ba3f96c5faa Mon Sep 17 00:00:00 2001 From: Afonso Oliveira Date: Wed, 4 Dec 2024 17:10:44 +0000 Subject: [PATCH] Final fix definedBy allOf addition. Signed-off-by: Afonso Oliveira --- arch/inst/Zfh/fcvt.h.s.yaml | 2 +- arch/inst/Zfh/fcvt.s.h.yaml | 2 +- arch/inst/Zfh/flh.yaml | 2 +- arch/inst/Zfh/fmv.x.h.yaml | 2 +- arch/inst/Zfh/fsh.yaml | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/arch/inst/Zfh/fcvt.h.s.yaml b/arch/inst/Zfh/fcvt.h.s.yaml index 8526b9e4a..4601b28c4 100644 --- a/arch/inst/Zfh/fcvt.h.s.yaml +++ b/arch/inst/Zfh/fcvt.h.s.yaml @@ -5,7 +5,7 @@ kind: instruction name: fcvt.h.s long_name: Convert half-precision float to a single-precision float definedBy: - anyOf: [Zfh, Zfhmin] + allOf: [Zfh, Zfhmin] assembly: fd, xs1 description: | Converts a half-precision number in floating-point register _fs1_ into a single-precision floating-point number in diff --git a/arch/inst/Zfh/fcvt.s.h.yaml b/arch/inst/Zfh/fcvt.s.h.yaml index eac044ed3..2b5645699 100644 --- a/arch/inst/Zfh/fcvt.s.h.yaml +++ b/arch/inst/Zfh/fcvt.s.h.yaml @@ -5,7 +5,7 @@ kind: instruction name: fcvt.s.h long_name: Convert single-precision float to a half-precision float definedBy: - anyOf: [Zfh, Zfhmin] + allOf: [Zfh, Zfhmin] assembly: fd, xs1 description: | Converts a single-precision number in floating-point register _fs1_ into a half-precision floating-point number in diff --git a/arch/inst/Zfh/flh.yaml b/arch/inst/Zfh/flh.yaml index 7810342f0..e42e241b3 100644 --- a/arch/inst/Zfh/flh.yaml +++ b/arch/inst/Zfh/flh.yaml @@ -12,7 +12,7 @@ description: | `flh` is only guaranteed to execute atomically if the effective address is naturally aligned. definedBy: - anyOf: [Zfh, Zfhmin] + allOf: [Zfh, Zfhmin] assembly: fd, imm(xs1) encoding: match: -----------------001-----0000111 diff --git a/arch/inst/Zfh/fmv.x.h.yaml b/arch/inst/Zfh/fmv.x.h.yaml index e0afcbcaa..f8b063362 100644 --- a/arch/inst/Zfh/fmv.x.h.yaml +++ b/arch/inst/Zfh/fmv.x.h.yaml @@ -5,7 +5,7 @@ kind: instruction name: fmv.x.h long_name: Move half-precision value from floating-point to integer register definedBy: - anyOf: [Zfh, Zfhmin] + allOf: [Zfh, Zfhmin] assembly: rd, fs1 description: | Moves the half-precision value in floating-point register rs1 represented in IEEE 754-2008 diff --git a/arch/inst/Zfh/fsh.yaml b/arch/inst/Zfh/fsh.yaml index 40cc00979..c90a47259 100644 --- a/arch/inst/Zfh/fsh.yaml +++ b/arch/inst/Zfh/fsh.yaml @@ -15,7 +15,7 @@ description: | `fsh` is only guaranteed to execute atomically if the effective address is naturally aligned. definedBy: - anyOf: [Zfh, Zfhmin] + allOf: [Zfh, Zfhmin] assembly: fs2, imm(xs1) encoding: match: -----------------001-----0100111