Hi,
currently ssa-dse-1.C ICEs because expand_simple_binop returns NULL
when building the scalar that is used to IOR two interleaving
sequences.
That's because we try to emit a shift in HImode. This patch shifts in
Xmode and then lowpart-subregs the result to HImode.
Regtested on rv64gcv_zvl512b.
Regards
Robin
gcc/ChangeLog:
* config/riscv/riscv-v.cc (expand_const_vector): Shift in Xmode.
---
gcc/config/riscv/riscv-v.cc | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/gcc/config/riscv/riscv-v.cc b/gcc/config/riscv/riscv-v.cc
index 93888c4fac0..0f5c2ad8b41 100644
--- a/gcc/config/riscv/riscv-v.cc
+++ b/gcc/config/riscv/riscv-v.cc
@@ -1505,10 +1505,11 @@ expand_const_vector (rtx target, rtx src)
{
/* { 1, 1, 2, 1, ... }. */
rtx scalar = expand_simple_binop (
- new_smode, ASHIFT,
- gen_int_mode (rtx_to_poly_int64 (base2), new_smode),
- gen_int_mode (builder.inner_bits_size (), new_smode),
+ Xmode, ASHIFT,
+ gen_int_mode (rtx_to_poly_int64 (base2), Xmode),
+ gen_int_mode (builder.inner_bits_size (), Xmode),
NULL_RTX, false, OPTAB_DIRECT);
+ scalar = simplify_gen_subreg (new_smode, scalar, Xmode, 0);
rtx tmp2 = gen_reg_rtx (new_mode);
rtx ior_ops[] = {tmp2, tmp1, scalar};
emit_vlmax_insn (code_for_pred_scalar (IOR, new_mode),
--
2.47.1
