]> git.ipfire.org Git - thirdparty/gcc.git/commit
RISC-V: Fix incorrect VXRM configuration in mode switching for CALL and ASM
authorJuzhe-Zhong <juzhe.zhong@rivai.ai>
Mon, 29 May 2023 03:01:32 +0000 (11:01 +0800)
committerPan Li <pan2.li@intel.com>
Mon, 29 May 2023 03:01:32 +0000 (11:01 +0800)
commitc0df96b3cda5738afbba3a65bb054183c5cd5530
treeff7811809c433069194dd3a03703f034b246aeff
parent272f920b78f5a9ff80755861fa07ec9eb1aa4b58
RISC-V: Fix incorrect VXRM configuration in mode switching for CALL and ASM

Currently mode switching incorrect codegen for the following case:
void fn (void);

void f (void * in, void *out, int32_t x, int n, int m)
{
  for (int i = 0; i < n; i++) {
    vint32m1_t v = __riscv_vle32_v_i32m1 (in + i, 4);
    vint32m1_t v2 = __riscv_vle32_v_i32m1_tu (v, in + 100 + i, 4);
    vint32m1_t v3 = __riscv_vaadd_vx_i32m1 (v2, 0, VXRM_RDN, 4);
    fn ();
    v3 = __riscv_vaadd_vx_i32m1 (v3, 3, VXRM_RDN, 4);
    __riscv_vse32_v_i32m1 (out + 100 + i, v3, 4);
  }
}

Before this patch:

Preheader:
  ...
  csrwi vxrm,2
Loop Body:
  ... (no cswri vxrm,2)
  vaadd.vx
  ...
  vaadd.vx
  ...

This codegen is incorrect.

After this patch:

Preheader:
  ...
  csrwi vxrm,2
Loop Body:
  ...
  vaadd.vx
  ...
  csrwi vxrm,2
  ...
  vaadd.vx
  ...

cross-compile build PASS and regression PASS.

Signed-off-by: Juzhe-Zhong <juzhe.zhong@rivai.ai>
gcc/ChangeLog:

* config/riscv/riscv.cc (global_state_unknown_p): New function.
(riscv_mode_after): Fix incorrect VXM.

gcc/testsuite/ChangeLog:

* gcc.target/riscv/rvv/base/vxrm-11.c: New test.
* gcc.target/riscv/rvv/base/vxrm-12.c: New test.
gcc/config/riscv/riscv.cc
gcc/testsuite/gcc.target/riscv/rvv/base/vxrm-11.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/rvv/base/vxrm-12.c [new file with mode: 0644]