RISC-V: 'Z[fd]inx'-based 'Zve*[fd]' extensions
Checks
Commit Message
From: Tsukasa OI <research_trasio@irq.a4lg.com>
In the RISC-V "V" Vector Extension specification, it states that
'Zve*f' require *either* 'F' or 'Zfinx' and
'Zve64d' requires *either* 'D' or 'Zdinx'.
Current Binutils lacks support for following configurations:
* 'Zve32f' and 'Zfinx'
* 'Zve64f' and 'Zfinx'
* 'Zve64d' and 'Zdinx'
The reason behind it is probably because 'Zfinx' and 'Zdinx' are not
ratified at the time when the 'V' extension support is added.
Since both 'V' and 'Zfinx/Zdinx' are ratified, it's time to implement
vector configurations for embedded systems as this commit does.
This commit doesn't normally affect the programs that use the 'V' extension
since it does not allow 'Zfinx'-based configuration. However, if the
program is compiled with 'Zve*[fd]' extensions, it will need additional
'F' or 'Zfinx' extension to the "-march" option.
Note that all F registers are replaced to even-numbered X registers (GPRs)
in the new instruction test.
bfd/ChangeLog:
* elfxx-riscv.c (riscv_implicit_subsets): Remove 2 implications
'Zve64d' -> 'D' and 'Zve32f' -> 'F'.
(riscv_parse_check_conflicts): Check whether 'Zve32f' comes with
either 'F' or 'Zfinx'. 'Zve64f' is indirectly checked by this.
Check so that 'Zve64d' comes with either 'D' or 'Zdinx'.
gas/ChangeLog:
* testsuite/gas/riscv/vector-insns-fail-zve32xf.d: Explicit specify
the 'F' extension to reflect incompatible changes.
* testsuite/gas/riscv/march-fail-rv32i_zve32f.d: New failure test.
* testsuite/gas/riscv/march-fail-rv32i_zve32f.l: Likewise.
* testsuite/gas/riscv/march-fail-rv32i_zve64d.d: New failure test.
* testsuite/gas/riscv/march-fail-rv32i_zve64d.l: Likewise.
* testsuite/gas/riscv/vector-insns-zve64d-zdinx.s: New test,
a modified subset of vector-insns.s.
* testsuite/gas/riscv/vector-insns-zve64d-zdinx.d: New test,
a modified subset of vector-insns.d.
---
bfd/elfxx-riscv.c | 23 ++++-
.../gas/riscv/march-fail-rv32i_zve32f.d | 3 +
.../gas/riscv/march-fail-rv32i_zve32f.l | 2 +
.../gas/riscv/march-fail-rv32i_zve64d.d | 3 +
.../gas/riscv/march-fail-rv32i_zve64d.l | 3 +
.../gas/riscv/vector-insns-fail-zve32xf.d | 2 +-
.../gas/riscv/vector-insns-zve64d-zdinx.d | 85 ++++++++++++++++++
.../gas/riscv/vector-insns-zve64d-zdinx.s | 87 +++++++++++++++++++
8 files changed, 205 insertions(+), 3 deletions(-)
create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
base-commit: 92f46037a0f672d1480f754f76a9bfa0334d099c
Comments
It was removed before ratification, so it can't be combined with z*inx.
https://github.com/riscv/riscv-v-spec/commit/6fedb869e213da03f36092d661d14911a2f9d2c6
On Thu, Aug 3, 2023 at 2:01 PM Tsukasa OI via Binutils
<binutils@sourceware.org> wrote:
>
> From: Tsukasa OI <research_trasio@irq.a4lg.com>
>
> In the RISC-V "V" Vector Extension specification, it states that
> 'Zve*f' require *either* 'F' or 'Zfinx' and
> 'Zve64d' requires *either* 'D' or 'Zdinx'.
>
> Current Binutils lacks support for following configurations:
>
> * 'Zve32f' and 'Zfinx'
> * 'Zve64f' and 'Zfinx'
> * 'Zve64d' and 'Zdinx'
>
> The reason behind it is probably because 'Zfinx' and 'Zdinx' are not
> ratified at the time when the 'V' extension support is added.
>
> Since both 'V' and 'Zfinx/Zdinx' are ratified, it's time to implement
> vector configurations for embedded systems as this commit does.
>
> This commit doesn't normally affect the programs that use the 'V' extension
> since it does not allow 'Zfinx'-based configuration. However, if the
> program is compiled with 'Zve*[fd]' extensions, it will need additional
> 'F' or 'Zfinx' extension to the "-march" option.
>
> Note that all F registers are replaced to even-numbered X registers (GPRs)
> in the new instruction test.
>
> bfd/ChangeLog:
>
> * elfxx-riscv.c (riscv_implicit_subsets): Remove 2 implications
> 'Zve64d' -> 'D' and 'Zve32f' -> 'F'.
> (riscv_parse_check_conflicts): Check whether 'Zve32f' comes with
> either 'F' or 'Zfinx'. 'Zve64f' is indirectly checked by this.
> Check so that 'Zve64d' comes with either 'D' or 'Zdinx'.
>
> gas/ChangeLog:
>
> * testsuite/gas/riscv/vector-insns-fail-zve32xf.d: Explicit specify
> the 'F' extension to reflect incompatible changes.
> * testsuite/gas/riscv/march-fail-rv32i_zve32f.d: New failure test.
> * testsuite/gas/riscv/march-fail-rv32i_zve32f.l: Likewise.
> * testsuite/gas/riscv/march-fail-rv32i_zve64d.d: New failure test.
> * testsuite/gas/riscv/march-fail-rv32i_zve64d.l: Likewise.
> * testsuite/gas/riscv/vector-insns-zve64d-zdinx.s: New test,
> a modified subset of vector-insns.s.
> * testsuite/gas/riscv/vector-insns-zve64d-zdinx.d: New test,
> a modified subset of vector-insns.d.
> ---
> bfd/elfxx-riscv.c | 23 ++++-
> .../gas/riscv/march-fail-rv32i_zve32f.d | 3 +
> .../gas/riscv/march-fail-rv32i_zve32f.l | 2 +
> .../gas/riscv/march-fail-rv32i_zve64d.d | 3 +
> .../gas/riscv/march-fail-rv32i_zve64d.l | 3 +
> .../gas/riscv/vector-insns-fail-zve32xf.d | 2 +-
> .../gas/riscv/vector-insns-zve64d-zdinx.d | 85 ++++++++++++++++++
> .../gas/riscv/vector-insns-zve64d-zdinx.s | 87 +++++++++++++++++++
> 8 files changed, 205 insertions(+), 3 deletions(-)
> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
> create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
> create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
>
> diff --git a/bfd/elfxx-riscv.c b/bfd/elfxx-riscv.c
> index 2ce95d90df52..8f61656314ca 100644
> --- a/bfd/elfxx-riscv.c
> +++ b/bfd/elfxx-riscv.c
> @@ -1110,12 +1110,10 @@ static struct riscv_implicit_subset riscv_implicit_subsets[] =
> {"v", "d", check_implicit_always},
> {"v", "zve64d", check_implicit_always},
> {"v", "zvl128b", check_implicit_always},
> - {"zve64d", "d", check_implicit_always},
> {"zve64d", "zve64f", check_implicit_always},
> {"zve64f", "zve32f", check_implicit_always},
> {"zve64f", "zve64x", check_implicit_always},
> {"zve64f", "zvl64b", check_implicit_always},
> - {"zve32f", "f", check_implicit_always},
> {"zve32f", "zvl32b", check_implicit_always},
> {"zve32f", "zve32x", check_implicit_always},
> {"zve64x", "zve32x", check_implicit_always},
> @@ -1967,6 +1965,27 @@ riscv_parse_check_conflicts (riscv_parse_subset_t *rps)
> no_conflict = false;
> }
>
> + if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
> + && !riscv_lookup_subset (rps->subset_list, "v", &subset))
> + {
> + if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
> + && !riscv_lookup_subset (rps->subset_list, "f", &subset)
> + && !riscv_lookup_subset (rps->subset_list, "zfinx", &subset))
> + {
> + rps->error_handler
> + (_("`zve32f' requires either `f/zfinx' extension"));
> + no_conflict = false;
> + }
> + if (riscv_lookup_subset (rps->subset_list, "zve64d", &subset)
> + && !riscv_lookup_subset (rps->subset_list, "d", &subset)
> + && !riscv_lookup_subset (rps->subset_list, "zdinx", &subset))
> + {
> + rps->error_handler
> + (_("`zve64d' requires either `d/zdinx' extension"));
> + no_conflict = false;
> + }
> + }
> +
> bool support_zve = false;
> bool support_zvl = false;
> riscv_subset_t *s = rps->subset_list->head;
> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
> new file mode 100644
> index 000000000000..143495e8d8ad
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
> @@ -0,0 +1,3 @@
> +#as: -march=rv32i_zve32f
> +#source: empty.s
> +#error_output: march-fail-rv32i_zve32f.l
> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
> new file mode 100644
> index 000000000000..d582f3bd7dfb
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
> @@ -0,0 +1,2 @@
> +.*Assembler messages:
> +.*Error: .*`zve32f' requires either `f/zfinx' extension
> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
> new file mode 100644
> index 000000000000..ecd517a22064
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
> @@ -0,0 +1,3 @@
> +#as: -march=rv32i_zve64d
> +#source: empty.s
> +#error_output: march-fail-rv32i_zve64d.l
> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
> new file mode 100644
> index 000000000000..c7b0a3ca112d
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
> @@ -0,0 +1,3 @@
> +.*Assembler messages:
> +.*Error: .*`zve32f' requires either `f/zfinx' extension
> +.*Error: .*`zve64d' requires either `d/zdinx' extension
> diff --git a/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d b/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
> index f3ae39b65ef2..84fc0341b232 100644
> --- a/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
> +++ b/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
> @@ -1,3 +1,3 @@
> -#as: -march=rv32i_zve32f
> +#as: -march=rv32if_zve32f
> #source: vector-insns.s
> #error_output: vector-insns-fail-zve32xf.l
> diff --git a/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
> new file mode 100644
> index 000000000000..f8361b3cc5f0
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
> @@ -0,0 +1,85 @@
> +#as: -march=rv32i_zfinx_zdinx_zve64d
> +#objdump: -dr
> +
> +.*:[ ]+file format .*
> +
> +
> +Disassembly of section .text:
> +
> +0+000 <.text>:
> +[ ]+[0-9a-f]+:[ ]+02865257[ ]+vfadd.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+00865257[ ]+vfadd.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+0a865257[ ]+vfsub.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+08865257[ ]+vfsub.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+9e865257[ ]+vfrsub.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+9c865257[ ]+vfrsub.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+c2865257[ ]+vfwadd.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+c0865257[ ]+vfwadd.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+ca865257[ ]+vfwsub.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+c8865257[ ]+vfwsub.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+d2865257[ ]+vfwadd.wf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+d0865257[ ]+vfwadd.wf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+da865257[ ]+vfwsub.wf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+d8865257[ ]+vfwsub.wf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+92865257[ ]+vfmul.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+90865257[ ]+vfmul.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+82865257[ ]+vfdiv.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+80865257[ ]+vfdiv.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+86865257[ ]+vfrdiv.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+84865257[ ]+vfrdiv.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+e2865257[ ]+vfwmul.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+e0865257[ ]+vfwmul.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+a2865257[ ]+vfmadd.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+a6865257[ ]+vfnmadd.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+aa865257[ ]+vfmsub.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+ae865257[ ]+vfnmsub.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+a0865257[ ]+vfmadd.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+a4865257[ ]+vfnmadd.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+a8865257[ ]+vfmsub.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+ac865257[ ]+vfnmsub.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+b2865257[ ]+vfmacc.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+b6865257[ ]+vfnmacc.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+ba865257[ ]+vfmsac.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+be865257[ ]+vfnmsac.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+b0865257[ ]+vfmacc.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+b4865257[ ]+vfnmacc.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+b8865257[ ]+vfmsac.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+bc865257[ ]+vfnmsac.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+f2865257[ ]+vfwmacc.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+f6865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+fa865257[ ]+vfwmsac.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+fe865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8
> +[ ]+[0-9a-f]+:[ ]+f0865257[ ]+vfwmacc.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+f4865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+f8865257[ ]+vfwmsac.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+fc865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8,v0.t
> +[ ]+[0-9a-f]+:[ ]+12865257[ ]+vfmin.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+1a865257[ ]+vfmax.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+10865257[ ]+vfmin.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+18865257[ ]+vfmax.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+22865257[ ]+vfsgnj.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+26865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+2a865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+20865257[ ]+vfsgnj.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+24865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+28865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+62865257[ ]+vmfeq.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+72865257[ ]+vmfne.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+6e865257[ ]+vmflt.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+66865257[ ]+vmfle.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+76865257[ ]+vmfgt.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+7e865257[ ]+vmfge.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+60865257[ ]+vmfeq.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+70865257[ ]+vmfne.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+6c865257[ ]+vmflt.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+64865257[ ]+vmfle.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+74865257[ ]+vmfgt.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+7c865257[ ]+vmfge.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+5c865257[ ]+vfmerge.vfm[ ]+v4,v8,a2,v0
> +[ ]+[0-9a-f]+:[ ]+5e065257[ ]+vfmv.v.f[ ]+v4,a2
> +[ ]+[0-9a-f]+:[ ]+42801557[ ]+vfmv.f.s[ ]+a0,v8
> +[ ]+[0-9a-f]+:[ ]+42065257[ ]+vfmv.s.f[ ]+v4,a2
> +[ ]+[0-9a-f]+:[ ]+3a865257[ ]+vfslide1up.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+3e865257[ ]+vfslide1down.vf[ ]+v4,v8,a2
> +[ ]+[0-9a-f]+:[ ]+38865257[ ]+vfslide1up.vf[ ]+v4,v8,a2,v0.t
> +[ ]+[0-9a-f]+:[ ]+3c865257[ ]+vfslide1down.vf[ ]+v4,v8,a2,v0.t
> diff --git a/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
> new file mode 100644
> index 000000000000..99da49cfb52e
> --- /dev/null
> +++ b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
> @@ -0,0 +1,87 @@
> + vfadd.vf v4, v8, a2
> + vfadd.vf v4, v8, a2, v0.t
> + vfsub.vf v4, v8, a2
> + vfsub.vf v4, v8, a2, v0.t
> + vfrsub.vf v4, v8, a2
> + vfrsub.vf v4, v8, a2, v0.t
> +
> + vfwadd.vf v4, v8, a2
> + vfwadd.vf v4, v8, a2, v0.t
> + vfwsub.vf v4, v8, a2
> + vfwsub.vf v4, v8, a2, v0.t
> + vfwadd.wf v4, v8, a2
> + vfwadd.wf v4, v8, a2, v0.t
> + vfwsub.wf v4, v8, a2
> + vfwsub.wf v4, v8, a2, v0.t
> +
> + vfmul.vf v4, v8, a2
> + vfmul.vf v4, v8, a2, v0.t
> + vfdiv.vf v4, v8, a2
> + vfdiv.vf v4, v8, a2, v0.t
> + vfrdiv.vf v4, v8, a2
> + vfrdiv.vf v4, v8, a2, v0.t
> +
> + vfwmul.vf v4, v8, a2
> + vfwmul.vf v4, v8, a2, v0.t
> +
> + vfmadd.vf v4, a2, v8
> + vfnmadd.vf v4, a2, v8
> + vfmsub.vf v4, a2, v8
> + vfnmsub.vf v4, a2, v8
> + vfmadd.vf v4, a2, v8, v0.t
> + vfnmadd.vf v4, a2, v8, v0.t
> + vfmsub.vf v4, a2, v8, v0.t
> + vfnmsub.vf v4, a2, v8, v0.t
> + vfmacc.vf v4, a2, v8
> + vfnmacc.vf v4, a2, v8
> + vfmsac.vf v4, a2, v8
> + vfnmsac.vf v4, a2, v8
> + vfmacc.vf v4, a2, v8, v0.t
> + vfnmacc.vf v4, a2, v8, v0.t
> + vfmsac.vf v4, a2, v8, v0.t
> + vfnmsac.vf v4, a2, v8, v0.t
> +
> + vfwmacc.vf v4, a2, v8
> + vfwnmacc.vf v4, a2, v8
> + vfwmsac.vf v4, a2, v8
> + vfwnmsac.vf v4, a2, v8
> + vfwmacc.vf v4, a2, v8, v0.t
> + vfwnmacc.vf v4, a2, v8, v0.t
> + vfwmsac.vf v4, a2, v8, v0.t
> + vfwnmsac.vf v4, a2, v8, v0.t
> +
> + vfmin.vf v4, v8, a2
> + vfmax.vf v4, v8, a2
> + vfmin.vf v4, v8, a2, v0.t
> + vfmax.vf v4, v8, a2, v0.t
> +
> + vfsgnj.vf v4, v8, a2
> + vfsgnjn.vf v4, v8, a2
> + vfsgnjx.vf v4, v8, a2
> + vfsgnj.vf v4, v8, a2, v0.t
> + vfsgnjn.vf v4, v8, a2, v0.t
> + vfsgnjx.vf v4, v8, a2, v0.t
> +
> + vmfeq.vf v4, v8, a2
> + vmfne.vf v4, v8, a2
> + vmflt.vf v4, v8, a2
> + vmfle.vf v4, v8, a2
> + vmfgt.vf v4, v8, a2
> + vmfge.vf v4, v8, a2
> + vmfeq.vf v4, v8, a2, v0.t
> + vmfne.vf v4, v8, a2, v0.t
> + vmflt.vf v4, v8, a2, v0.t
> + vmfle.vf v4, v8, a2, v0.t
> + vmfgt.vf v4, v8, a2, v0.t
> + vmfge.vf v4, v8, a2, v0.t
> +
> + vfmerge.vfm v4, v8, a2, v0
> + vfmv.v.f v4, a2
> +
> + vfmv.f.s a0, v8
> + vfmv.s.f v4, a2
> +
> + vfslide1up.vf v4, v8, a2
> + vfslide1down.vf v4, v8, a2
> + vfslide1up.vf v4, v8, a2, v0.t
> + vfslide1down.vf v4, v8, a2, v0.t
>
> base-commit: 92f46037a0f672d1480f754f76a9bfa0334d099c
> --
> 2.41.0
>
On 2023/08/03 16:54, Kito Cheng wrote:
> It was removed before ratification, so it can't be combined with z*inx.
>
> https://github.com/riscv/riscv-v-spec/commit/6fedb869e213da03f36092d661d14911a2f9d2c6
What!?
That's quite surprising. The "V" specification v1.0 was not really the
ratified version (but just a public review version with minor
differences to the ratified version).
Thanks for letting me know and I'll withdraw this patch set
(including v2).
Regards,
Tsukasa
>
> On Thu, Aug 3, 2023 at 2:01 PM Tsukasa OI via Binutils
> <binutils@sourceware.org> wrote:
>>
>> From: Tsukasa OI <research_trasio@irq.a4lg.com>
>>
>> In the RISC-V "V" Vector Extension specification, it states that
>> 'Zve*f' require *either* 'F' or 'Zfinx' and
>> 'Zve64d' requires *either* 'D' or 'Zdinx'.
>>
>> Current Binutils lacks support for following configurations:
>>
>> * 'Zve32f' and 'Zfinx'
>> * 'Zve64f' and 'Zfinx'
>> * 'Zve64d' and 'Zdinx'
>>
>> The reason behind it is probably because 'Zfinx' and 'Zdinx' are not
>> ratified at the time when the 'V' extension support is added.
>>
>> Since both 'V' and 'Zfinx/Zdinx' are ratified, it's time to implement
>> vector configurations for embedded systems as this commit does.
>>
>> This commit doesn't normally affect the programs that use the 'V' extension
>> since it does not allow 'Zfinx'-based configuration. However, if the
>> program is compiled with 'Zve*[fd]' extensions, it will need additional
>> 'F' or 'Zfinx' extension to the "-march" option.
>>
>> Note that all F registers are replaced to even-numbered X registers (GPRs)
>> in the new instruction test.
>>
>> bfd/ChangeLog:
>>
>> * elfxx-riscv.c (riscv_implicit_subsets): Remove 2 implications
>> 'Zve64d' -> 'D' and 'Zve32f' -> 'F'.
>> (riscv_parse_check_conflicts): Check whether 'Zve32f' comes with
>> either 'F' or 'Zfinx'. 'Zve64f' is indirectly checked by this.
>> Check so that 'Zve64d' comes with either 'D' or 'Zdinx'.
>>
>> gas/ChangeLog:
>>
>> * testsuite/gas/riscv/vector-insns-fail-zve32xf.d: Explicit specify
>> the 'F' extension to reflect incompatible changes.
>> * testsuite/gas/riscv/march-fail-rv32i_zve32f.d: New failure test.
>> * testsuite/gas/riscv/march-fail-rv32i_zve32f.l: Likewise.
>> * testsuite/gas/riscv/march-fail-rv32i_zve64d.d: New failure test.
>> * testsuite/gas/riscv/march-fail-rv32i_zve64d.l: Likewise.
>> * testsuite/gas/riscv/vector-insns-zve64d-zdinx.s: New test,
>> a modified subset of vector-insns.s.
>> * testsuite/gas/riscv/vector-insns-zve64d-zdinx.d: New test,
>> a modified subset of vector-insns.d.
>> ---
>> bfd/elfxx-riscv.c | 23 ++++-
>> .../gas/riscv/march-fail-rv32i_zve32f.d | 3 +
>> .../gas/riscv/march-fail-rv32i_zve32f.l | 2 +
>> .../gas/riscv/march-fail-rv32i_zve64d.d | 3 +
>> .../gas/riscv/march-fail-rv32i_zve64d.l | 3 +
>> .../gas/riscv/vector-insns-fail-zve32xf.d | 2 +-
>> .../gas/riscv/vector-insns-zve64d-zdinx.d | 85 ++++++++++++++++++
>> .../gas/riscv/vector-insns-zve64d-zdinx.s | 87 +++++++++++++++++++
>> 8 files changed, 205 insertions(+), 3 deletions(-)
>> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
>> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
>> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
>> create mode 100644 gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
>> create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
>> create mode 100644 gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
>>
>> diff --git a/bfd/elfxx-riscv.c b/bfd/elfxx-riscv.c
>> index 2ce95d90df52..8f61656314ca 100644
>> --- a/bfd/elfxx-riscv.c
>> +++ b/bfd/elfxx-riscv.c
>> @@ -1110,12 +1110,10 @@ static struct riscv_implicit_subset riscv_implicit_subsets[] =
>> {"v", "d", check_implicit_always},
>> {"v", "zve64d", check_implicit_always},
>> {"v", "zvl128b", check_implicit_always},
>> - {"zve64d", "d", check_implicit_always},
>> {"zve64d", "zve64f", check_implicit_always},
>> {"zve64f", "zve32f", check_implicit_always},
>> {"zve64f", "zve64x", check_implicit_always},
>> {"zve64f", "zvl64b", check_implicit_always},
>> - {"zve32f", "f", check_implicit_always},
>> {"zve32f", "zvl32b", check_implicit_always},
>> {"zve32f", "zve32x", check_implicit_always},
>> {"zve64x", "zve32x", check_implicit_always},
>> @@ -1967,6 +1965,27 @@ riscv_parse_check_conflicts (riscv_parse_subset_t *rps)
>> no_conflict = false;
>> }
>>
>> + if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
>> + && !riscv_lookup_subset (rps->subset_list, "v", &subset))
>> + {
>> + if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
>> + && !riscv_lookup_subset (rps->subset_list, "f", &subset)
>> + && !riscv_lookup_subset (rps->subset_list, "zfinx", &subset))
>> + {
>> + rps->error_handler
>> + (_("`zve32f' requires either `f/zfinx' extension"));
>> + no_conflict = false;
>> + }
>> + if (riscv_lookup_subset (rps->subset_list, "zve64d", &subset)
>> + && !riscv_lookup_subset (rps->subset_list, "d", &subset)
>> + && !riscv_lookup_subset (rps->subset_list, "zdinx", &subset))
>> + {
>> + rps->error_handler
>> + (_("`zve64d' requires either `d/zdinx' extension"));
>> + no_conflict = false;
>> + }
>> + }
>> +
>> bool support_zve = false;
>> bool support_zvl = false;
>> riscv_subset_t *s = rps->subset_list->head;
>> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
>> new file mode 100644
>> index 000000000000..143495e8d8ad
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.d
>> @@ -0,0 +1,3 @@
>> +#as: -march=rv32i_zve32f
>> +#source: empty.s
>> +#error_output: march-fail-rv32i_zve32f.l
>> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
>> new file mode 100644
>> index 000000000000..d582f3bd7dfb
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve32f.l
>> @@ -0,0 +1,2 @@
>> +.*Assembler messages:
>> +.*Error: .*`zve32f' requires either `f/zfinx' extension
>> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
>> new file mode 100644
>> index 000000000000..ecd517a22064
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.d
>> @@ -0,0 +1,3 @@
>> +#as: -march=rv32i_zve64d
>> +#source: empty.s
>> +#error_output: march-fail-rv32i_zve64d.l
>> diff --git a/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
>> new file mode 100644
>> index 000000000000..c7b0a3ca112d
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/march-fail-rv32i_zve64d.l
>> @@ -0,0 +1,3 @@
>> +.*Assembler messages:
>> +.*Error: .*`zve32f' requires either `f/zfinx' extension
>> +.*Error: .*`zve64d' requires either `d/zdinx' extension
>> diff --git a/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d b/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
>> index f3ae39b65ef2..84fc0341b232 100644
>> --- a/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
>> +++ b/gas/testsuite/gas/riscv/vector-insns-fail-zve32xf.d
>> @@ -1,3 +1,3 @@
>> -#as: -march=rv32i_zve32f
>> +#as: -march=rv32if_zve32f
>> #source: vector-insns.s
>> #error_output: vector-insns-fail-zve32xf.l
>> diff --git a/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
>> new file mode 100644
>> index 000000000000..f8361b3cc5f0
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.d
>> @@ -0,0 +1,85 @@
>> +#as: -march=rv32i_zfinx_zdinx_zve64d
>> +#objdump: -dr
>> +
>> +.*:[ ]+file format .*
>> +
>> +
>> +Disassembly of section .text:
>> +
>> +0+000 <.text>:
>> +[ ]+[0-9a-f]+:[ ]+02865257[ ]+vfadd.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+00865257[ ]+vfadd.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+0a865257[ ]+vfsub.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+08865257[ ]+vfsub.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+9e865257[ ]+vfrsub.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+9c865257[ ]+vfrsub.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+c2865257[ ]+vfwadd.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+c0865257[ ]+vfwadd.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+ca865257[ ]+vfwsub.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+c8865257[ ]+vfwsub.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+d2865257[ ]+vfwadd.wf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+d0865257[ ]+vfwadd.wf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+da865257[ ]+vfwsub.wf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+d8865257[ ]+vfwsub.wf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+92865257[ ]+vfmul.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+90865257[ ]+vfmul.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+82865257[ ]+vfdiv.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+80865257[ ]+vfdiv.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+86865257[ ]+vfrdiv.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+84865257[ ]+vfrdiv.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+e2865257[ ]+vfwmul.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+e0865257[ ]+vfwmul.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+a2865257[ ]+vfmadd.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+a6865257[ ]+vfnmadd.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+aa865257[ ]+vfmsub.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+ae865257[ ]+vfnmsub.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+a0865257[ ]+vfmadd.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+a4865257[ ]+vfnmadd.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+a8865257[ ]+vfmsub.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+ac865257[ ]+vfnmsub.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+b2865257[ ]+vfmacc.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+b6865257[ ]+vfnmacc.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+ba865257[ ]+vfmsac.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+be865257[ ]+vfnmsac.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+b0865257[ ]+vfmacc.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+b4865257[ ]+vfnmacc.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+b8865257[ ]+vfmsac.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+bc865257[ ]+vfnmsac.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+f2865257[ ]+vfwmacc.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+f6865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+fa865257[ ]+vfwmsac.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+fe865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8
>> +[ ]+[0-9a-f]+:[ ]+f0865257[ ]+vfwmacc.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+f4865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+f8865257[ ]+vfwmsac.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+fc865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8,v0.t
>> +[ ]+[0-9a-f]+:[ ]+12865257[ ]+vfmin.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+1a865257[ ]+vfmax.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+10865257[ ]+vfmin.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+18865257[ ]+vfmax.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+22865257[ ]+vfsgnj.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+26865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+2a865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+20865257[ ]+vfsgnj.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+24865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+28865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+62865257[ ]+vmfeq.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+72865257[ ]+vmfne.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+6e865257[ ]+vmflt.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+66865257[ ]+vmfle.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+76865257[ ]+vmfgt.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+7e865257[ ]+vmfge.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+60865257[ ]+vmfeq.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+70865257[ ]+vmfne.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+6c865257[ ]+vmflt.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+64865257[ ]+vmfle.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+74865257[ ]+vmfgt.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+7c865257[ ]+vmfge.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+5c865257[ ]+vfmerge.vfm[ ]+v4,v8,a2,v0
>> +[ ]+[0-9a-f]+:[ ]+5e065257[ ]+vfmv.v.f[ ]+v4,a2
>> +[ ]+[0-9a-f]+:[ ]+42801557[ ]+vfmv.f.s[ ]+a0,v8
>> +[ ]+[0-9a-f]+:[ ]+42065257[ ]+vfmv.s.f[ ]+v4,a2
>> +[ ]+[0-9a-f]+:[ ]+3a865257[ ]+vfslide1up.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+3e865257[ ]+vfslide1down.vf[ ]+v4,v8,a2
>> +[ ]+[0-9a-f]+:[ ]+38865257[ ]+vfslide1up.vf[ ]+v4,v8,a2,v0.t
>> +[ ]+[0-9a-f]+:[ ]+3c865257[ ]+vfslide1down.vf[ ]+v4,v8,a2,v0.t
>> diff --git a/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
>> new file mode 100644
>> index 000000000000..99da49cfb52e
>> --- /dev/null
>> +++ b/gas/testsuite/gas/riscv/vector-insns-zve64d-zdinx.s
>> @@ -0,0 +1,87 @@
>> + vfadd.vf v4, v8, a2
>> + vfadd.vf v4, v8, a2, v0.t
>> + vfsub.vf v4, v8, a2
>> + vfsub.vf v4, v8, a2, v0.t
>> + vfrsub.vf v4, v8, a2
>> + vfrsub.vf v4, v8, a2, v0.t
>> +
>> + vfwadd.vf v4, v8, a2
>> + vfwadd.vf v4, v8, a2, v0.t
>> + vfwsub.vf v4, v8, a2
>> + vfwsub.vf v4, v8, a2, v0.t
>> + vfwadd.wf v4, v8, a2
>> + vfwadd.wf v4, v8, a2, v0.t
>> + vfwsub.wf v4, v8, a2
>> + vfwsub.wf v4, v8, a2, v0.t
>> +
>> + vfmul.vf v4, v8, a2
>> + vfmul.vf v4, v8, a2, v0.t
>> + vfdiv.vf v4, v8, a2
>> + vfdiv.vf v4, v8, a2, v0.t
>> + vfrdiv.vf v4, v8, a2
>> + vfrdiv.vf v4, v8, a2, v0.t
>> +
>> + vfwmul.vf v4, v8, a2
>> + vfwmul.vf v4, v8, a2, v0.t
>> +
>> + vfmadd.vf v4, a2, v8
>> + vfnmadd.vf v4, a2, v8
>> + vfmsub.vf v4, a2, v8
>> + vfnmsub.vf v4, a2, v8
>> + vfmadd.vf v4, a2, v8, v0.t
>> + vfnmadd.vf v4, a2, v8, v0.t
>> + vfmsub.vf v4, a2, v8, v0.t
>> + vfnmsub.vf v4, a2, v8, v0.t
>> + vfmacc.vf v4, a2, v8
>> + vfnmacc.vf v4, a2, v8
>> + vfmsac.vf v4, a2, v8
>> + vfnmsac.vf v4, a2, v8
>> + vfmacc.vf v4, a2, v8, v0.t
>> + vfnmacc.vf v4, a2, v8, v0.t
>> + vfmsac.vf v4, a2, v8, v0.t
>> + vfnmsac.vf v4, a2, v8, v0.t
>> +
>> + vfwmacc.vf v4, a2, v8
>> + vfwnmacc.vf v4, a2, v8
>> + vfwmsac.vf v4, a2, v8
>> + vfwnmsac.vf v4, a2, v8
>> + vfwmacc.vf v4, a2, v8, v0.t
>> + vfwnmacc.vf v4, a2, v8, v0.t
>> + vfwmsac.vf v4, a2, v8, v0.t
>> + vfwnmsac.vf v4, a2, v8, v0.t
>> +
>> + vfmin.vf v4, v8, a2
>> + vfmax.vf v4, v8, a2
>> + vfmin.vf v4, v8, a2, v0.t
>> + vfmax.vf v4, v8, a2, v0.t
>> +
>> + vfsgnj.vf v4, v8, a2
>> + vfsgnjn.vf v4, v8, a2
>> + vfsgnjx.vf v4, v8, a2
>> + vfsgnj.vf v4, v8, a2, v0.t
>> + vfsgnjn.vf v4, v8, a2, v0.t
>> + vfsgnjx.vf v4, v8, a2, v0.t
>> +
>> + vmfeq.vf v4, v8, a2
>> + vmfne.vf v4, v8, a2
>> + vmflt.vf v4, v8, a2
>> + vmfle.vf v4, v8, a2
>> + vmfgt.vf v4, v8, a2
>> + vmfge.vf v4, v8, a2
>> + vmfeq.vf v4, v8, a2, v0.t
>> + vmfne.vf v4, v8, a2, v0.t
>> + vmflt.vf v4, v8, a2, v0.t
>> + vmfle.vf v4, v8, a2, v0.t
>> + vmfgt.vf v4, v8, a2, v0.t
>> + vmfge.vf v4, v8, a2, v0.t
>> +
>> + vfmerge.vfm v4, v8, a2, v0
>> + vfmv.v.f v4, a2
>> +
>> + vfmv.f.s a0, v8
>> + vfmv.s.f v4, a2
>> +
>> + vfslide1up.vf v4, v8, a2
>> + vfslide1down.vf v4, v8, a2
>> + vfslide1up.vf v4, v8, a2, v0.t
>> + vfslide1down.vf v4, v8, a2, v0.t
>>
>> base-commit: 92f46037a0f672d1480f754f76a9bfa0334d099c
>> --
>> 2.41.0
>>
>
@@ -1110,12 +1110,10 @@ static struct riscv_implicit_subset riscv_implicit_subsets[] =
{"v", "d", check_implicit_always},
{"v", "zve64d", check_implicit_always},
{"v", "zvl128b", check_implicit_always},
- {"zve64d", "d", check_implicit_always},
{"zve64d", "zve64f", check_implicit_always},
{"zve64f", "zve32f", check_implicit_always},
{"zve64f", "zve64x", check_implicit_always},
{"zve64f", "zvl64b", check_implicit_always},
- {"zve32f", "f", check_implicit_always},
{"zve32f", "zvl32b", check_implicit_always},
{"zve32f", "zve32x", check_implicit_always},
{"zve64x", "zve32x", check_implicit_always},
@@ -1967,6 +1965,27 @@ riscv_parse_check_conflicts (riscv_parse_subset_t *rps)
no_conflict = false;
}
+ if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
+ && !riscv_lookup_subset (rps->subset_list, "v", &subset))
+ {
+ if (riscv_lookup_subset (rps->subset_list, "zve32f", &subset)
+ && !riscv_lookup_subset (rps->subset_list, "f", &subset)
+ && !riscv_lookup_subset (rps->subset_list, "zfinx", &subset))
+ {
+ rps->error_handler
+ (_("`zve32f' requires either `f/zfinx' extension"));
+ no_conflict = false;
+ }
+ if (riscv_lookup_subset (rps->subset_list, "zve64d", &subset)
+ && !riscv_lookup_subset (rps->subset_list, "d", &subset)
+ && !riscv_lookup_subset (rps->subset_list, "zdinx", &subset))
+ {
+ rps->error_handler
+ (_("`zve64d' requires either `d/zdinx' extension"));
+ no_conflict = false;
+ }
+ }
+
bool support_zve = false;
bool support_zvl = false;
riscv_subset_t *s = rps->subset_list->head;
new file mode 100644
@@ -0,0 +1,3 @@
+#as: -march=rv32i_zve32f
+#source: empty.s
+#error_output: march-fail-rv32i_zve32f.l
new file mode 100644
@@ -0,0 +1,2 @@
+.*Assembler messages:
+.*Error: .*`zve32f' requires either `f/zfinx' extension
new file mode 100644
@@ -0,0 +1,3 @@
+#as: -march=rv32i_zve64d
+#source: empty.s
+#error_output: march-fail-rv32i_zve64d.l
new file mode 100644
@@ -0,0 +1,3 @@
+.*Assembler messages:
+.*Error: .*`zve32f' requires either `f/zfinx' extension
+.*Error: .*`zve64d' requires either `d/zdinx' extension
@@ -1,3 +1,3 @@
-#as: -march=rv32i_zve32f
+#as: -march=rv32if_zve32f
#source: vector-insns.s
#error_output: vector-insns-fail-zve32xf.l
new file mode 100644
@@ -0,0 +1,85 @@
+#as: -march=rv32i_zfinx_zdinx_zve64d
+#objdump: -dr
+
+.*:[ ]+file format .*
+
+
+Disassembly of section .text:
+
+0+000 <.text>:
+[ ]+[0-9a-f]+:[ ]+02865257[ ]+vfadd.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+00865257[ ]+vfadd.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+0a865257[ ]+vfsub.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+08865257[ ]+vfsub.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+9e865257[ ]+vfrsub.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+9c865257[ ]+vfrsub.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+c2865257[ ]+vfwadd.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+c0865257[ ]+vfwadd.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+ca865257[ ]+vfwsub.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+c8865257[ ]+vfwsub.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+d2865257[ ]+vfwadd.wf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+d0865257[ ]+vfwadd.wf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+da865257[ ]+vfwsub.wf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+d8865257[ ]+vfwsub.wf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+92865257[ ]+vfmul.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+90865257[ ]+vfmul.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+82865257[ ]+vfdiv.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+80865257[ ]+vfdiv.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+86865257[ ]+vfrdiv.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+84865257[ ]+vfrdiv.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+e2865257[ ]+vfwmul.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+e0865257[ ]+vfwmul.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+a2865257[ ]+vfmadd.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+a6865257[ ]+vfnmadd.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+aa865257[ ]+vfmsub.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+ae865257[ ]+vfnmsub.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+a0865257[ ]+vfmadd.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+a4865257[ ]+vfnmadd.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+a8865257[ ]+vfmsub.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+ac865257[ ]+vfnmsub.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+b2865257[ ]+vfmacc.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+b6865257[ ]+vfnmacc.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+ba865257[ ]+vfmsac.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+be865257[ ]+vfnmsac.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+b0865257[ ]+vfmacc.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+b4865257[ ]+vfnmacc.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+b8865257[ ]+vfmsac.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+bc865257[ ]+vfnmsac.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+f2865257[ ]+vfwmacc.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+f6865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+fa865257[ ]+vfwmsac.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+fe865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8
+[ ]+[0-9a-f]+:[ ]+f0865257[ ]+vfwmacc.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+f4865257[ ]+vfwnmacc.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+f8865257[ ]+vfwmsac.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+fc865257[ ]+vfwnmsac.vf[ ]+v4,a2,v8,v0.t
+[ ]+[0-9a-f]+:[ ]+12865257[ ]+vfmin.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+1a865257[ ]+vfmax.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+10865257[ ]+vfmin.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+18865257[ ]+vfmax.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+22865257[ ]+vfsgnj.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+26865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+2a865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+20865257[ ]+vfsgnj.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+24865257[ ]+vfsgnjn.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+28865257[ ]+vfsgnjx.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+62865257[ ]+vmfeq.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+72865257[ ]+vmfne.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+6e865257[ ]+vmflt.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+66865257[ ]+vmfle.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+76865257[ ]+vmfgt.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+7e865257[ ]+vmfge.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+60865257[ ]+vmfeq.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+70865257[ ]+vmfne.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+6c865257[ ]+vmflt.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+64865257[ ]+vmfle.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+74865257[ ]+vmfgt.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+7c865257[ ]+vmfge.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+5c865257[ ]+vfmerge.vfm[ ]+v4,v8,a2,v0
+[ ]+[0-9a-f]+:[ ]+5e065257[ ]+vfmv.v.f[ ]+v4,a2
+[ ]+[0-9a-f]+:[ ]+42801557[ ]+vfmv.f.s[ ]+a0,v8
+[ ]+[0-9a-f]+:[ ]+42065257[ ]+vfmv.s.f[ ]+v4,a2
+[ ]+[0-9a-f]+:[ ]+3a865257[ ]+vfslide1up.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+3e865257[ ]+vfslide1down.vf[ ]+v4,v8,a2
+[ ]+[0-9a-f]+:[ ]+38865257[ ]+vfslide1up.vf[ ]+v4,v8,a2,v0.t
+[ ]+[0-9a-f]+:[ ]+3c865257[ ]+vfslide1down.vf[ ]+v4,v8,a2,v0.t
new file mode 100644
@@ -0,0 +1,87 @@
+ vfadd.vf v4, v8, a2
+ vfadd.vf v4, v8, a2, v0.t
+ vfsub.vf v4, v8, a2
+ vfsub.vf v4, v8, a2, v0.t
+ vfrsub.vf v4, v8, a2
+ vfrsub.vf v4, v8, a2, v0.t
+
+ vfwadd.vf v4, v8, a2
+ vfwadd.vf v4, v8, a2, v0.t
+ vfwsub.vf v4, v8, a2
+ vfwsub.vf v4, v8, a2, v0.t
+ vfwadd.wf v4, v8, a2
+ vfwadd.wf v4, v8, a2, v0.t
+ vfwsub.wf v4, v8, a2
+ vfwsub.wf v4, v8, a2, v0.t
+
+ vfmul.vf v4, v8, a2
+ vfmul.vf v4, v8, a2, v0.t
+ vfdiv.vf v4, v8, a2
+ vfdiv.vf v4, v8, a2, v0.t
+ vfrdiv.vf v4, v8, a2
+ vfrdiv.vf v4, v8, a2, v0.t
+
+ vfwmul.vf v4, v8, a2
+ vfwmul.vf v4, v8, a2, v0.t
+
+ vfmadd.vf v4, a2, v8
+ vfnmadd.vf v4, a2, v8
+ vfmsub.vf v4, a2, v8
+ vfnmsub.vf v4, a2, v8
+ vfmadd.vf v4, a2, v8, v0.t
+ vfnmadd.vf v4, a2, v8, v0.t
+ vfmsub.vf v4, a2, v8, v0.t
+ vfnmsub.vf v4, a2, v8, v0.t
+ vfmacc.vf v4, a2, v8
+ vfnmacc.vf v4, a2, v8
+ vfmsac.vf v4, a2, v8
+ vfnmsac.vf v4, a2, v8
+ vfmacc.vf v4, a2, v8, v0.t
+ vfnmacc.vf v4, a2, v8, v0.t
+ vfmsac.vf v4, a2, v8, v0.t
+ vfnmsac.vf v4, a2, v8, v0.t
+
+ vfwmacc.vf v4, a2, v8
+ vfwnmacc.vf v4, a2, v8
+ vfwmsac.vf v4, a2, v8
+ vfwnmsac.vf v4, a2, v8
+ vfwmacc.vf v4, a2, v8, v0.t
+ vfwnmacc.vf v4, a2, v8, v0.t
+ vfwmsac.vf v4, a2, v8, v0.t
+ vfwnmsac.vf v4, a2, v8, v0.t
+
+ vfmin.vf v4, v8, a2
+ vfmax.vf v4, v8, a2
+ vfmin.vf v4, v8, a2, v0.t
+ vfmax.vf v4, v8, a2, v0.t
+
+ vfsgnj.vf v4, v8, a2
+ vfsgnjn.vf v4, v8, a2
+ vfsgnjx.vf v4, v8, a2
+ vfsgnj.vf v4, v8, a2, v0.t
+ vfsgnjn.vf v4, v8, a2, v0.t
+ vfsgnjx.vf v4, v8, a2, v0.t
+
+ vmfeq.vf v4, v8, a2
+ vmfne.vf v4, v8, a2
+ vmflt.vf v4, v8, a2
+ vmfle.vf v4, v8, a2
+ vmfgt.vf v4, v8, a2
+ vmfge.vf v4, v8, a2
+ vmfeq.vf v4, v8, a2, v0.t
+ vmfne.vf v4, v8, a2, v0.t
+ vmflt.vf v4, v8, a2, v0.t
+ vmfle.vf v4, v8, a2, v0.t
+ vmfgt.vf v4, v8, a2, v0.t
+ vmfge.vf v4, v8, a2, v0.t
+
+ vfmerge.vfm v4, v8, a2, v0
+ vfmv.v.f v4, a2
+
+ vfmv.f.s a0, v8
+ vfmv.s.f v4, a2
+
+ vfslide1up.vf v4, v8, a2
+ vfslide1down.vf v4, v8, a2
+ vfslide1up.vf v4, v8, a2, v0.t
+ vfslide1down.vf v4, v8, a2, v0.t