All of lore.kernel.org
 help / color / mirror / Atom feed
* [Qemu-devel] [PATCH v3 00/35] target/riscv: Convert to decodetree
@ 2018-10-31 13:19 ` Bastian Koppelmann
  0 siblings, 0 replies; 140+ messages in thread
From: Bastian Koppelmann @ 2018-10-31 13:19 UTC (permalink / raw)
  To: mjc, sagark, palmer, kbastian, Alistair.Francis
  Cc: richard.henderson, peer.adelt, qemu-devel, qemu-riscv

Hi,

this patchset converts the RISC-V decoder to decodetree in four major steps:

1) Convert 32-bit instructions to decodetree [Patch 1-16]:
    Many of the gen_* functions are called by the decode functions for 16-bit
    and 32-bit functions. If we move translation code from the gen_*
    functions to the generated trans_* functions of decode-tree, we get a lot of
    duplication. Therefore, we mostly generate calls to the old gen_* function
    which are properly replaced after step 2).

    Each of the trans_ functions are grouped into files corresponding to their
    ISA extension, e.g. addi which is in RV32I is translated in the file
    'trans_rvi.inc.c'.

2) Convert 16-bit instructions to decodetree [Patch 17-19]:
    All 16 bit instructions have a direct mapping to a 32 bit instruction. Thus,
    we convert the arguments in the 16 bit trans_ function to the arguments of
    the corresponding 32 bit instruction and call the 32 bit trans_ function.

3) Remove old manual decoding in gen_* function [Patch 20-30]:
    this move all manual translation code into the trans_* instructions of
    decode tree, such that we can remove the old decode_* functions.

4) Simply RVC by reusing as much as possible from the RVG decoder as suggested
   by Richard. [Patch 31-35]

this series depends on the decodetree patches by Richard:
https://github.com/rth7680/qemu/tree/decodetree

full tree available at
https://github.com/bkoppelmann/qemu/tree/riscv-dt-v3

Cheers,
Bastian

v2 -> v3:
   - ex_shift_amount returns int
   - dropped insn argument of trans_foo functions
   - removal of AUIPC moved to 0002
   - &branch -> &b
   - split 0004 into two patches for RV32 and RV64
   - moved 64-bit only insn to insn64.decode
   - removed %pred/%succ
   - dropped TARGET_RISCV64 requirement for fclass_d
   - illegal instruction call replaced with return false
   - trans_c_flw_ld and trans_c_fsw_sd now return false for now, as we
     cannot use the insn argument anymore for manual decoding. We fix this
     in a later patch when rvc is properly split up into insn16-32.decode
     and insn16-64.decode.
   - special case of trans_c_addi4spn() returns false in this patch
   - simplified trans_c_srai by Richard's suggestion
   - Since trans_c_flw_ld and trans_c_fsw_sd still rely on the old decoder
     we need to keep gen_load(). Thus we renamed it to gen_load_c.
   - Since trans_c_flw_ld and trans_c_fsw_sd still rely on the old decoder
     we need to keep gen_store(). Thus we renamed it to gen_store_c.
   - tcg_memop_lookup is now only used by TARGET_RISCV64 insn so we wrapped
     it in a ifdef
   - trans_srli/srai now use tcg_gen_shri/srai_tl
   - trans_addiw uses its own gen_addiw function which properly extends the
     result
   - &arith_imm -> &i
   - &arith -> &r
   - trans_mulw now uses gen_mulw which properly sign extends the result
   - gen_arith_w -> gen_arith_div_w
   - gen_arith_div_w properly sign extends the resul


Bastian Koppelmann (35):
  target/riscv: Move CPURISCVState pointer to DisasContext
  target/riscv: Activate decodetree and implemnt LUI & AUIPC
  target/riscv: Convert RVXI branch insns to decodetree
  target/riscv: Convert RV32I load/store insns to decodetree
  target/riscv: Convert RV64I load/store insns to decodetree
  target/riscv: Convert RVXI arithmetic insns to decodetree
  target/riscv: Convert RVXI fence insns to decodetree
  target/riscv: Convert RVXI csr insns to decodetree
  target/riscv: Convert RVXM insns to decodetree
  target/riscv: Convert RV32A insns to decodetree
  target/riscv: Convert RV64A insns to decodetree
  target/riscv: Convert RV32F insns to decodetree
  target/riscv: Convert RV64F insns to decodetree
  target/riscv: Convert RV32D insns to decodetree
  target/riscv: Convert RV64D insns to decodetree
  target/riscv: Convert RV priv insns to decodetree
  target/riscv: Convert quadrant 0 of RVXC insns to decodetree
  target/riscv: Convert quadrant 1 of RVXC insns to decodetree
  target/riscv: Convert quadrant 2 of RVXC insns to decodetree
  target/riscv: Remove gen_jalr()
  target/riscv: Remove manual decoding from gen_branch()
  target/riscv: Remove manual decoding from gen_load()
  target/riscv: Remove manual decoding from gen_store()
  target/riscv: Move gen_arith_imm() decoding into trans_* functions
  target/riscv: make ADD/SUB/OR/XOR/AND insn use arg lists
  target/riscv: Remove shift and slt insn manual decoding
  target/riscv: Remove manual decoding of RV32/64M insn
  target/riscv: Rename trans_arith to gen_arith
  target/riscv: Remove gen_system()
  target/riscv: Remove decode_RV32_64G()
  target/riscv: Convert @cs_2 insns to share translation functions
  target/riscv: Convert @cl_d, @cl_w, @cs_d, @cs_w insns
  target/riscv: Splice fsw_sd and flw_ld for riscv32 vs riscv64
  target/riscv: Splice remaining compressed insn pairs for riscv32 vs
    riscv64
  target/riscv: Remaining rvc insn reuse 32 bit translators

 target/riscv/Makefile.objs                    |   22 +
 target/riscv/insn16-32.decode                 |   31 +
 target/riscv/insn16-64.decode                 |   33 +
 target/riscv/insn16.decode                    |  114 ++
 target/riscv/insn32.decode                    |  203 ++
 target/riscv/insn64.decode                    |   72 +
 .../riscv/insn_trans/trans_privileged.inc.c   |  108 +
 target/riscv/insn_trans/trans_rva.inc.c       |  203 ++
 target/riscv/insn_trans/trans_rvc.inc.c       |  149 ++
 target/riscv/insn_trans/trans_rvd.inc.c       |  388 ++++
 target/riscv/insn_trans/trans_rvf.inc.c       |  388 ++++
 target/riscv/insn_trans/trans_rvi.inc.c       |  584 ++++++
 target/riscv/insn_trans/trans_rvm.inc.c       |  107 +
 target/riscv/translate.c                      | 1771 ++---------------
 14 files changed, 2615 insertions(+), 1558 deletions(-)
 create mode 100644 target/riscv/insn16-32.decode
 create mode 100644 target/riscv/insn16-64.decode
 create mode 100644 target/riscv/insn16.decode
 create mode 100644 target/riscv/insn32.decode
 create mode 100644 target/riscv/insn64.decode
 create mode 100644 target/riscv/insn_trans/trans_privileged.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rva.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rvc.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rvd.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rvf.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rvi.inc.c
 create mode 100644 target/riscv/insn_trans/trans_rvm.inc.c

-- 
2.19.1

^ permalink raw reply	[flat|nested] 140+ messages in thread

end of thread, other threads:[~2019-01-18 12:00 UTC | newest]

Thread overview: 140+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-10-31 13:19 [Qemu-devel] [PATCH v3 00/35] target/riscv: Convert to decodetree Bastian Koppelmann
2018-10-31 13:19 ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:19 ` [Qemu-devel] [PATCH v3 01/35] target/riscv: Move CPURISCVState pointer to DisasContext Bastian Koppelmann
2018-10-31 13:19   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 17:07   ` [Qemu-devel] " Richard Henderson
2018-10-31 17:07     ` [Qemu-riscv] " Richard Henderson
2018-10-31 20:14   ` [Qemu-devel] " Alistair Francis
2018-10-31 20:14     ` [Qemu-riscv] " Alistair Francis
2018-10-31 13:19 ` [Qemu-devel] [PATCH v3 02/35] target/riscv: Activate decodetree and implemnt LUI & AUIPC Bastian Koppelmann
2018-10-31 13:19   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:20   ` [Qemu-devel] " Alistair
2018-10-31 20:20     ` [Qemu-riscv] " Alistair
2018-10-31 13:19 ` [Qemu-devel] [PATCH v3 03/35] target/riscv: Convert RVXI branch insns to decodetree Bastian Koppelmann
2018-10-31 13:19   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 17:11   ` [Qemu-devel] " Richard Henderson
2018-10-31 17:11     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:19 ` [Qemu-devel] [PATCH v3 04/35] target/riscv: Convert RV32I load/store " Bastian Koppelmann
2018-10-31 13:19   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:19 ` [Qemu-devel] [PATCH v3 05/35] target/riscv: Convert RV64I " Bastian Koppelmann
2018-10-31 13:19   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 17:14   ` [Qemu-devel] " Richard Henderson
2018-10-31 17:14     ` [Qemu-riscv] " Richard Henderson
2018-10-31 20:26   ` [Qemu-devel] " Alistair
2018-10-31 20:26     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 06/35] target/riscv: Convert RVXI arithmetic " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 17:15   ` [Qemu-devel] " Richard Henderson
2018-10-31 17:15     ` [Qemu-riscv] " Richard Henderson
2018-10-31 20:29   ` [Qemu-devel] " Alistair
2018-10-31 20:29     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 07/35] target/riscv: Convert RVXI fence " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:30   ` [Qemu-devel] " Alistair
2018-10-31 20:30     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 08/35] target/riscv: Convert RVXI csr " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:46   ` [Qemu-devel] " Alistair
2018-10-31 20:46     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 09/35] target/riscv: Convert RVXM " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:38   ` [Qemu-devel] " Alistair
2018-10-31 20:38     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 10/35] target/riscv: Convert RV32A " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 11/35] target/riscv: Convert RV64A " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:49   ` [Qemu-devel] " Alistair
2018-10-31 20:49     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 12/35] target/riscv: Convert RV32F " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 13/35] target/riscv: Convert RV64F " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 14/35] target/riscv: Convert RV32D " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 15/35] target/riscv: Convert RV64D " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 16/35] target/riscv: Convert RV priv " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 17/35] target/riscv: Convert quadrant 0 of RVXC " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 18/35] target/riscv: Convert quadrant 1 " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 19/35] target/riscv: Convert quadrant 2 " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 20/35] target/riscv: Remove gen_jalr() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:50   ` [Qemu-devel] " Alistair
2018-10-31 20:50     ` [Qemu-riscv] " Alistair
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 21/35] target/riscv: Remove manual decoding from gen_branch() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 22/35] target/riscv: Remove manual decoding from gen_load() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:09   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:09     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 23/35] target/riscv: Remove manual decoding from gen_store() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:09   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:09     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 24/35] target/riscv: Move gen_arith_imm() decoding into trans_* functions Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:18   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:18     ` [Qemu-riscv] " Richard Henderson
2019-01-11 13:10     ` [Qemu-devel] " Bastian Koppelmann
2019-01-11 13:10       ` [Qemu-riscv] " Bastian Koppelmann
2019-01-11 21:00       ` Richard Henderson
2019-01-11 21:00         ` [Qemu-riscv] " Richard Henderson
2019-01-18 12:00         ` Bastian Koppelmann
2019-01-18 12:00           ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:26   ` Richard Henderson
2018-10-31 22:26     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 25/35] target/riscv: make ADD/SUB/OR/XOR/AND insn use arg lists Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 20:44   ` [Qemu-devel] " Alistair Francis
2018-10-31 20:44     ` [Qemu-riscv] " Alistair Francis
2018-10-31 22:27     ` Richard Henderson
2018-10-31 22:27       ` [Qemu-riscv] " Richard Henderson
2018-10-31 22:26   ` Richard Henderson
2018-10-31 22:26     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 26/35] target/riscv: Remove shift and slt insn manual decoding Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:38   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:38     ` [Qemu-riscv] " Richard Henderson
2018-11-01 15:59     ` [Qemu-devel] " Palmer Dabbelt
2018-11-01 15:59       ` [Qemu-riscv] " Palmer Dabbelt
2018-11-05 17:00       ` [Qemu-devel] " Bastian Koppelmann
2018-11-05 17:00         ` [Qemu-riscv] " Bastian Koppelmann
2018-11-07  0:56         ` Palmer Dabbelt
2018-11-07  0:56           ` [Qemu-riscv] " Palmer Dabbelt
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 27/35] target/riscv: Remove manual decoding of RV32/64M insn Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:39   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:39     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 28/35] target/riscv: Rename trans_arith to gen_arith Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 29/35] target/riscv: Remove gen_system() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 30/35] target/riscv: Remove decode_RV32_64G() Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 31/35] target/riscv: Convert @cs_2 insns to share translation functions Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:42   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:42     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 32/35] target/riscv: Convert @cl_d, @cl_w, @cs_d, @cs_w insns Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:43   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:43     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 33/35] target/riscv: Splice fsw_sd and flw_ld for riscv32 vs riscv64 Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:45   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:45     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 34/35] target/riscv: Splice remaining compressed insn pairs " Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:47   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:47     ` [Qemu-riscv] " Richard Henderson
2018-10-31 13:20 ` [Qemu-devel] [PATCH v3 35/35] target/riscv: Remaining rvc insn reuse 32 bit translators Bastian Koppelmann
2018-10-31 13:20   ` [Qemu-riscv] " Bastian Koppelmann
2018-10-31 22:49   ` [Qemu-devel] " Richard Henderson
2018-10-31 22:49     ` [Qemu-riscv] " Richard Henderson
2018-11-02  8:48 ` [Qemu-devel] [PATCH v3 00/35] target/riscv: Convert to decodetree no-reply
2018-11-02  8:48   ` [Qemu-riscv] " no-reply

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.