[v1] riscv: set vstart_eq_zero on mark_vs_dirty

[PATCH 0/3] riscv: set vstart_eq_zero on mark_vs_dirty

Daniel Henrique Barboza posted 3 patches 8 months, 2 weeks ago

Diff against v2 v3 v4 v5 v6 v7 v8 v9 v10
Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://github.com/patchew-project/qemu tags/patchew/20240216112806.997948-1-dbarboza@ventanamicro.com

Maintainers: Palmer Dabbelt <palmer@dabbelt.com>, Alistair Francis <alistair.francis@wdc.com>, Bin Meng <bin.meng@windriver.com>, Weiwei Li <liwei1518@gmail.com>, Daniel Henrique Barboza <dbarboza@ventanamicro.com>, Liu Zhiwei <zhiwei_liu@linux.alibaba.com>

There is a newer version of this series

target/riscv/insn_trans/trans_rvv.c.inc | 28 +++++++------------------
target/riscv/translate.c                | 22 +++++++++++++++++++
2 files changed, 29 insertions(+), 21 deletions(-)

Expand all Fold all

[PATCH 0/3] riscv: set vstart_eq_zero on mark_vs_dirty

Posted by Daniel Henrique Barboza 8 months, 2 weeks ago

Hi,

This is my shot to fix https://gitlab.com/qemu-project/qemu/-/issues/1976.

First patch ensures that every vector instruction that changes the
vector state will call mark_vs_dirty(). Second patch is a trivial
simplification.

Third patch is where the bug is solved: check if 'vstart' is zeroed and
set vstart_eq_zero accordingly. 

Patches based on alistair/riscv-to-apply.next. It can also be fetched
here:

https://gitlab.com/danielhb/qemu/-/tree/vstart_bug1976_v1


Daniel Henrique Barboza (3):
  trans_rvv.c.inc: write CSRs must call mark_vs_dirty() too
  trans_rvv.c.inc: remove redundant mark_vs_dirty() calls
  target/riscv/translate.c: set vstart_eq_zero in mark_vs_dirty()

 target/riscv/insn_trans/trans_rvv.c.inc | 28 +++++++------------------
 target/riscv/translate.c                | 22 +++++++++++++++++++
 2 files changed, 29 insertions(+), 21 deletions(-)

-- 
2.43.0

Re: [PATCH 0/3] riscv: set vstart_eq_zero on mark_vs_dirty

Posted by Daniel Henrique Barboza 8 months, 2 weeks ago

Hi,

Please disregard this version. I just posted a v2 after feedback from people
in Gitlab.

Thanks,

Daniel

On 2/16/24 08:28, Daniel Henrique Barboza wrote:
> Hi,
> 
> This is my shot to fix https://gitlab.com/qemu-project/qemu/-/issues/1976.
> 
> First patch ensures that every vector instruction that changes the
> vector state will call mark_vs_dirty(). Second patch is a trivial
> simplification.
> 
> Third patch is where the bug is solved: check if 'vstart' is zeroed and
> set vstart_eq_zero accordingly.
> 
> Patches based on alistair/riscv-to-apply.next. It can also be fetched
> here:
> 
> https://gitlab.com/danielhb/qemu/-/tree/vstart_bug1976_v1
> 
> 
> Daniel Henrique Barboza (3):
>    trans_rvv.c.inc: write CSRs must call mark_vs_dirty() too
>    trans_rvv.c.inc: remove redundant mark_vs_dirty() calls
>    target/riscv/translate.c: set vstart_eq_zero in mark_vs_dirty()
> 
>   target/riscv/insn_trans/trans_rvv.c.inc | 28 +++++++------------------
>   target/riscv/translate.c                | 22 +++++++++++++++++++
>   2 files changed, 29 insertions(+), 21 deletions(-)
>