diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2012-06-28 07:39:25 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@redhat.com> | 2012-06-28 07:39:25 +0000 |
| commit | 4b3c528c8a8b76f11b38c7bc2f8aeb4d9b7451cb (patch) | |
| tree | 5cb806a55543696d39711d3f54d8308c3a5c7ce9 /gcc/df-problems.c | |
| parent | 6c503a35bc55f46d2478fd89ecfdafbbebc41450 (diff) | |
PR debug/53740
PR debug/52983
PR debug/48866
* dce.c (word_dce_process_block): Check whether inserting debug
temps are needed even for needed insns.
(dce_process_block): Likewise.
* df-problems.c (dead_debug_add): Add comment about multi-regs.
(dead_debug_insert_temp): Likewise. Don't subreg when we're
setting fewer regs than a multi-reg requires.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@189036 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/df-problems.c')
| -rw-r--r-- | gcc/df-problems.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/df-problems.c b/gcc/df-problems.c index a020e28ad27..7afbed98283 100644 --- a/gcc/df-problems.c +++ b/gcc/df-problems.c @@ -3179,6 +3179,9 @@ dead_debug_add (struct dead_debug *debug, df_ref use, unsigned int uregno) if (!debug->used) debug->used = BITMAP_ALLOC (NULL); + /* ??? If we dealt with split multi-registers below, we should set + all registers for the used mode in case of hardware + registers. */ bitmap_set_bit (debug->used, uregno); } @@ -3269,6 +3272,15 @@ dead_debug_insert_temp (struct dead_debug *debug, unsigned int uregno, /* Hmm... Something's fishy, we should be setting REG here. */ if (REGNO (dest) != REGNO (reg)) breg = NULL; + /* If we're not overwriting all the hardware registers that + setting REG in its mode would, we won't know what to bind + the debug temp to. ??? We could bind the debug_expr to a + CONCAT or PARALLEL with the split multi-registers, and + replace them as we found the corresponding sets. */ + else if (REGNO (reg) < FIRST_PSEUDO_REGISTER + && (hard_regno_nregs[REGNO (reg)][GET_MODE (reg)] + != hard_regno_nregs[REGNO (reg)][GET_MODE (dest)])) + breg = NULL; /* Ok, it's the same (hardware) REG, but with a different mode, so SUBREG it. */ else |