procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

RISC-V: Fix ICE for avl_single-86/avl_single-88/avl_single-90

Browse source 
If prop is demand of vsetvl instruction and reaching doesn't demand
AVL. We don't backward propagate since vsetvl instruction has no
side effects.

FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-86.c  -Og -g  (internal
compiler error: Segmentation fault)
FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-86.c  -Og -g  (test for
excess errors)
FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-88.c  -Og -g  (internal
compiler error: Segmentation fault)
FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-88.c  -Og -g  (test for
excess errors)
FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-90.c  -Og -g  (internal
compiler error: Segmentation fault)
FAIL: gcc.target/riscv/rvv/vsetvl/avl_single-90.c  -Og -g  (test for
excess errors)

gcc/ChangeLog:

	* config/riscv/riscv-vsetvl.cc (reg_available_p): Fix bug.
	(pass_vsetvl::backward_demand_fusion): Ditto.
This commit is contained in:
Ju-Zhe Zhong 2023-03-05 18:24:30 +08:00 • committed by Kito Cheng
parent 2554d90c6c
commit 44c918b50a
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/config/riscv/riscv-vsetvl.cc
View file

@ -1528,7 +1528,7 @@ static bool
reg_available_p (const bb_info *bb, const vector_insn_info &info)
{
if (!info.get_avl_source ())
return true;
return false;
insn_info *insn = info.get_avl_source ()->insn ();
if (insn->bb () == bb)
return before_p (insn, info.get_insn ());
@ -3040,6 +3040,12 @@ pass_vsetvl::backward_demand_fusion (void)
continue;
if (e->src->index == ENTRY_BLOCK_PTR_FOR_FN (cfun)->index)
continue;
/* If prop is demand of vsetvl instruction and reaching doesn't demand
AVL. We don't backward propagate since vsetvl instruction has no
side effects. */
if (vsetvl_insn_p (prop.get_insn ()->rtl ())
&& propagate_avl_across_demands_p (prop, block_info.reaching_out))
continue;
if (block_info.reaching_out.unknown_p ())
continue;