diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/jump.c | 20 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b38ccbb..1e40f07 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-08-06 Joseph Myers <joseph@codesourcery.com> + + * jump.c (rtx_renumbered_equal_p): Do not call subreg_regno_offset + for unrepresentable subregs or treat them as equal to other regs + or subregs with the same register number. + 2008-08-06 Aldy Hernandez <aldyh@redhat.com> PR middle-end/35432 @@ -1552,12 +1552,22 @@ rtx_renumbered_equal_p (const_rtx x, const_rtx y) if (reg_renumber[reg_x] >= 0) { + if (!subreg_offset_representable_p (reg_renumber[reg_x], + GET_MODE (SUBREG_REG (x)), + byte_x, + GET_MODE (x))) + return 0; reg_x = subreg_regno_offset (reg_renumber[reg_x], GET_MODE (SUBREG_REG (x)), byte_x, GET_MODE (x)); byte_x = 0; } + else if (!subreg_offset_representable_p (reg_x, + GET_MODE (SUBREG_REG (x)), + byte_x, + GET_MODE (x))) + return 0; } else { @@ -1573,12 +1583,22 @@ rtx_renumbered_equal_p (const_rtx x, const_rtx y) if (reg_renumber[reg_y] >= 0) { + if (!subreg_offset_representable_p (reg_renumber[reg_y], + GET_MODE (SUBREG_REG (y)), + byte_y, + GET_MODE (y))) + return 0; reg_y = subreg_regno_offset (reg_renumber[reg_y], GET_MODE (SUBREG_REG (y)), byte_y, GET_MODE (y)); byte_y = 0; } + else if (!subreg_offset_representable_p (reg_y, + GET_MODE (SUBREG_REG (y)), + byte_y, + GET_MODE (y))) + return 0; } else { |