diff options
| author | Bernd Schmidt <bernds@redhat.com> | 2016-03-04 22:30:10 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2016-03-04 22:30:10 -0700 |
| commit | 201d49e91faff2a580e7e3efdf2458e5fe5a5bf9 (patch) | |
| tree | de4b34ff716b008178e64a4f61f2f16beb5e517d /gcc/postreload.c | |
| parent | 29b9828fa425602f306d28b7ede79b4b0ac2e6f7 (diff) | |
re PR rtl-optimization/69941 (bogus zero_extend transformation in postreload on aarch64)
PR rtl-optimization/69941
* postreload.c (reload_combine_recognize_pattern): Ensure all uses of
the reg share its mode.
PR rtl-optimization/69941
* gcc.dg/torture/pr69941.c: New test.
From-SVN: r234001
Diffstat (limited to 'gcc/postreload.c')
| -rw-r--r-- | gcc/postreload.c | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/gcc/postreload.c b/gcc/postreload.c index 66f691b88d9..61c1ce8028e 100644 --- a/gcc/postreload.c +++ b/gcc/postreload.c @@ -1057,7 +1057,6 @@ static bool reload_combine_recognize_pattern (rtx_insn *insn) { rtx set, reg, src; - unsigned int regno; set = single_set (insn); if (set == NULL_RTX) @@ -1068,7 +1067,20 @@ reload_combine_recognize_pattern (rtx_insn *insn) if (!REG_P (reg) || REG_NREGS (reg) != 1) return false; - regno = REGNO (reg); + unsigned int regno = REGNO (reg); + machine_mode mode = GET_MODE (reg); + + if (reg_state[regno].use_index < 0 + || reg_state[regno].use_index >= RELOAD_COMBINE_MAX_USES) + return false; + + for (int i = reg_state[regno].use_index; + i < RELOAD_COMBINE_MAX_USES; i++) + { + struct reg_use *use = reg_state[regno].reg_use + i; + if (GET_MODE (*use->usep) != mode) + return false; + } /* Look for (set (REGX) (CONST_INT)) (set (REGX) (PLUS (REGX) (REGY))) @@ -1090,8 +1102,6 @@ reload_combine_recognize_pattern (rtx_insn *insn) && REG_P (XEXP (src, 1)) && rtx_equal_p (XEXP (src, 0), reg) && !rtx_equal_p (XEXP (src, 1), reg) - && reg_state[regno].use_index >= 0 - && reg_state[regno].use_index < RELOAD_COMBINE_MAX_USES && last_label_ruid < reg_state[regno].use_ruid) { rtx base = XEXP (src, 1); |