[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v11 00/16] target/riscv: Update QEmu for Zb[abcs] 1.0.0
From: |
Alistair Francis |
Subject: |
Re: [PATCH v11 00/16] target/riscv: Update QEmu for Zb[abcs] 1.0.0 |
Date: |
Fri, 24 Sep 2021 13:02:26 +1000 |
On Fri, Sep 24, 2021 at 7:32 AM Philipp Tomsich
<philipp.tomsich@vrull.eu> wrote:
>
> Alistair,
>
> Is there something that is holding this series up?
> I believe we should avoid having an outdated draft version of the
> bitmanip proposal in 6.2.
Thanks for the ping.
Applied to riscv-to-apply.next
Alistair
>
> Thanks,
> Philipp.
>
>
> On Sat, 11 Sept 2021 at 16:00, Philipp Tomsich <philipp.tomsich@vrull.eu>
> wrote:
> >
> >
> > The Zb[abcs] extensions have complete public review and are nearing
> > ratifications. These individual extensions are one part of what was
> > previously though of as the "BitManip" (B) extension, leaving the
> > final details of future Zb* extensions open as they will undergo
> > further public discourse.
> >
> > This series updates the earlier support for the B extension by
> > - removing those instructions that are not included in Zb[abcs]
> > - splitting this into 4 separate extensions that can be independently
> > enabled: Zba (addressing), Zbb (basic bit-manip), Zbc (carryless
> > multiplication), Zbs (single-bit operations)
> > - update the to the 1.0.0 version (e.g. w-forms of rev8 and Zbs
> > instructions are not included in Zb[abcs])
> >
> > For the latest version of the public review speicifcaiton
> > (incorporating some editorial fixes and corrections from the review
> > period), refer to:
> >
> > https://github.com/riscv/riscv-bitmanip/releases/download/1.0.0/bitmanip-1.0.0-31-g2af7256.pdf
> >
> >
> > Changes in v11:
> > - Swaps out the EXT_ZERO to EXT_NONE, as no extension is to be performed.
> > - Fix typos in commit message.
> >
> > Changes in v10:
> > - New patch
> > - New patch, fixing regressions discovered with x264_r.
> > - New patch, fixing correctnes for clzw called on a register with undefined
> > (as in: not properly sign-extended) upper bits.
> > - Retested with CF3 and SPEC2017 (size=test, size=ref); addressing new
> > regressions (due to bugs in gen_clzw) from testing with SPEC2017 using
> > different optimization levels
> > - Split off gen_add_uw() fix into a separate patch, as requested.
> >
> > Changes in v9:
> > - Retested with CF3 and SPEC2017 (size=test only).
> > - Rebased to 8880cc4362.
> > - Update gen_add_uw() to use a temporary instead of messing with
> > arg1 (fixes a regression after rebase on CF3 and SPEC2017).
> > - Rebased to 8880cc4362.
> > - Picked up Alistair's Reviewed-by, after patman had failed to catch
> > it for v8.
> > - Rebased to 8880cc4362.
> > - Fixes a whitespace-at-the-end-of-line warning for the rev8 comment
> > in insn32.decode
> > - Rebased to 8880cc4362.
> >
> > Changes in v8:
> > - Optimize orc.b further by reordering the shift/and, updating the
> > comment to reflect that we put the truth-value into the LSB, and
> > putting the (now only) constant in a temporary
> > - Fold the final bitwise-not into the second and, using and andc.
> >
> > Changes in v7:
> > - Free TCG temporary in gen_orc_b().
> >
> > Changes in v6:
> > - Move gen_clmulh to trans_rvb.c.inc, as per Richard H's request.
> > - Fixed orc.b (now passes SPEC w/ optimized string functions) by
> > adding the missing final negation.
> >
> > Changes in v5:
> > - Introduce gen_clmulh (as suggested by Richard H) and use to simplify
> > trans_clmulh().
> >
> > Changes in v4:
> > - Drop rewrite of slli.uw (to match formal specification), as it would
> > remove an optimization.
> > - Change orc.b to implementation suggested by Richard Henderson
> > - reorder trans_rev8* functions to be sequential
> > - rename rev8 to rev8_32 in decoder
> > - Renamed RV32 variant to zext_h_32.
> > - Reordered trans_zext_h_{32,64} to be next to each other.
> >
> > Changes in v3:
> > - Split off removal of 'x-b' property and 'ext_b' field into a separate
> > patch to ensure bisectability.
> > - The changes to the Zba instructions (i.e. the REQUIRE_ZBA macro
> > and its use for qualifying the Zba instructions) are moved into
> > a separate commit.
> > - Remove the W-form instructions from Zbs in a separate commit.
> > - Remove shift-one instructions in a separate commit.
> > - The changes to the Zbs instructions (i.e. the REQUIRE_ZBS macro) and
> > its use for qualifying the Zba instructions) are moved into a
> > separate commit.
> > - This adds the Zbc instructions as a spearate commit.
> > - Uses a helper for clmul/clmulr instead of inlining the calculation of
> > the result (addressing a comment from Richard Henderson).
> > - The changes to the Zbb instructions (i.e. use the REQUIRE_ZBB macro)
> > are now in a separate commit.
> > - Moved orc.b and gorc/gorci changes into separate commit.
> > - Using the simpler orc.b implementation suggested by Richard Henderson
> > - Moved the REQUIRE_32BIT macro into a separate commit.
> > - rev8-addition & grevi*-removal moved to a separate commit
> > - Moved zext.h-addition & pack*-removal to a separate commit.
> > - Removing RVB moved into a separate commit at the tail-end of the series.
> >
> > Changes in v2:
> > - Fix missing ';' from last-minute whitespace cleanups.
> >
> > Philipp Tomsich (16):
> > target/riscv: Introduce temporary in gen_add_uw()
> > target/riscv: fix clzw implementation to operate on arg1
> > target/riscv: clwz must ignore high bits (use shift-left & changed
> > logic)
> > target/riscv: Add x-zba, x-zbb, x-zbc and x-zbs properties
> > target/riscv: Reassign instructions to the Zba-extension
> > target/riscv: Remove the W-form instructions from Zbs
> > target/riscv: Remove shift-one instructions (proposed Zbo in pre-0.93
> > draft-B)
> > target/riscv: Reassign instructions to the Zbs-extension
> > target/riscv: Add instructions of the Zbc-extension
> > target/riscv: Reassign instructions to the Zbb-extension
> > target/riscv: Add orc.b instruction for Zbb, removing gorc/gorci
> > target/riscv: Add a REQUIRE_32BIT macro
> > target/riscv: Add rev8 instruction, removing grev/grevi
> > target/riscv: Add zext.h instructions to Zbb, removing
> > pack/packu/packh
> > target/riscv: Remove RVB (replaced by Zb[abcs])
> > disas/riscv: Add Zb[abcs] instructions
> >
> > disas/riscv.c | 157 ++++++++-
> > target/riscv/bitmanip_helper.c | 65 +---
> > target/riscv/cpu.c | 30 +-
> > target/riscv/cpu.h | 7 +-
> > target/riscv/helper.h | 6 +-
> > target/riscv/insn32.decode | 115 +++----
> > target/riscv/insn_trans/trans_rvb.c.inc | 419 ++++++++----------------
> > target/riscv/translate.c | 6 +
> > 8 files changed, 366 insertions(+), 439 deletions(-)
> >
> > --
> > 2.25.1
> >
>
- Re: [PATCH v11 03/16] target/riscv: clwz must ignore high bits (use shift-left & changed logic), (continued)
[PATCH v11 09/16] target/riscv: Add instructions of the Zbc-extension, Philipp Tomsich, 2021/09/11
[PATCH v11 11/16] target/riscv: Add orc.b instruction for Zbb, removing gorc/gorci, Philipp Tomsich, 2021/09/11
[PATCH v11 12/16] target/riscv: Add a REQUIRE_32BIT macro, Philipp Tomsich, 2021/09/11
[PATCH v11 16/16] disas/riscv: Add Zb[abcs] instructions, Philipp Tomsich, 2021/09/11
[PATCH v11 08/16] target/riscv: Reassign instructions to the Zbs-extension, Philipp Tomsich, 2021/09/11
[PATCH v11 07/16] target/riscv: Remove shift-one instructions (proposed Zbo in pre-0.93 draft-B), Philipp Tomsich, 2021/09/11
Re: [PATCH v11 00/16] target/riscv: Update QEmu for Zb[abcs] 1.0.0, Philipp Tomsich, 2021/09/23
- Re: [PATCH v11 00/16] target/riscv: Update QEmu for Zb[abcs] 1.0.0,
Alistair Francis <=
Re: [PATCH v11 00/16] target/riscv: Update QEmu for Zb[abcs] 1.0.0, Vineet Gupta, 2021/09/27