diff --git a/gcc/lra-coalesce.cc b/gcc/lra-coalesce.cc index 04a5bbd714b..d8ca096c35f 100644 --- a/gcc/lra-coalesce.cc +++ b/gcc/lra-coalesce.cc @@ -112,9 +112,7 @@ merge_pseudos (int regno1, int regno2) = (lra_merge_live_ranges (lra_reg_info[first].live_ranges, lra_copy_live_range_list (lra_reg_info[first2].live_ranges))); - if (partial_subreg_p (lra_reg_info[first].biggest_mode, - lra_reg_info[first2].biggest_mode)) - lra_reg_info[first].biggest_mode = lra_reg_info[first2].biggest_mode; + lra_update_biggest_mode (first, lra_reg_info[first2].biggest_mode); } /* Change pseudos in *LOC on their coalescing group diff --git a/gcc/lra-int.h b/gcc/lra-int.h index d7ec7c7dc7f..5cdf92be7fc 100644 --- a/gcc/lra-int.h +++ b/gcc/lra-int.h @@ -535,4 +535,19 @@ lra_assign_reg_val (int from, int to) lra_reg_info[to].offset = lra_reg_info[from].offset; } +/* Update REGNO's biggest recorded mode so that it includes a reference + in mode MODE. */ +inline void +lra_update_biggest_mode (int regno, machine_mode mode) +{ + if (!ordered_p (GET_MODE_SIZE (lra_reg_info[regno].biggest_mode), + GET_MODE_SIZE (mode))) + { + gcc_checking_assert (HARD_REGISTER_NUM_P (regno)); + lra_reg_info[regno].biggest_mode = reg_raw_mode[regno]; + } + else if (partial_subreg_p (lra_reg_info[regno].biggest_mode, mode)) + lra_reg_info[regno].biggest_mode = mode; +} + #endif /* GCC_LRA_INT_H */ diff --git a/gcc/lra-lives.cc b/gcc/lra-lives.cc index f60e564da82..0b204232849 100644 --- a/gcc/lra-lives.cc +++ b/gcc/lra-lives.cc @@ -770,9 +770,7 @@ process_bb_lives (basic_block bb, int &curr_point, bool dead_insn_p) { int regno = reg->regno; - if (partial_subreg_p (lra_reg_info[regno].biggest_mode, - reg->biggest_mode)) - lra_reg_info[regno].biggest_mode = reg->biggest_mode; + lra_update_biggest_mode (regno, reg->biggest_mode); if (HARD_REGISTER_NUM_P (regno)) lra_hard_reg_usage[regno] += freq; } diff --git a/gcc/lra.cc b/gcc/lra.cc index c917a1adee2..29e2a3506e1 100644 --- a/gcc/lra.cc +++ b/gcc/lra.cc @@ -581,9 +581,8 @@ new_insn_reg (rtx_insn *insn, int regno, enum op_type type, lra_insn_reg *ir = lra_insn_reg_pool.allocate (); ir->type = type; ir->biggest_mode = mode; - if (NONDEBUG_INSN_P (insn) - && partial_subreg_p (lra_reg_info[regno].biggest_mode, mode)) - lra_reg_info[regno].biggest_mode = mode; + if (NONDEBUG_INSN_P (insn)) + lra_update_biggest_mode (regno, mode); ir->subreg_p = subreg_p; ir->early_clobber_alts = early_clobber_alts; ir->regno = regno; diff --git a/gcc/testsuite/gcc.target/aarch64/sve/pr112278.c b/gcc/testsuite/gcc.target/aarch64/sve/pr112278.c new file mode 100644 index 00000000000..4f56add2b0a --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sve/pr112278.c @@ -0,0 +1,15 @@ +#include +#include + +void +f (void) +{ + { + register svint8_t v0 asm ("z0"); + asm volatile ("" : "=w" (v0)); + } + { + register int8x8x4_t v0 asm ("v0"); + asm volatile ("" : "=w" (v0)); + } +}