diff options
| author | J"orn Rennecke <amylaar@redhat.com> | 2000-11-03 05:43:09 +0000 |
|---|---|---|
| committer | Joern Rennecke <amylaar@gcc.gnu.org> | 2000-11-03 05:43:09 +0000 |
| commit | 6c6a14b5fc3a2f7267358d4f3eaa3232f4039180 (patch) | |
| tree | 70c5ba97b66a71e3153880378318060bd70f6a9c | |
| parent | 5a0b0c7abf1961aadd228a8cabaf4a1941157f12 (diff) | |
| download | gcc-6c6a14b5fc3a2f7267358d4f3eaa3232f4039180.zip gcc-6c6a14b5fc3a2f7267358d4f3eaa3232f4039180.tar.gz gcc-6c6a14b5fc3a2f7267358d4f3eaa3232f4039180.tar.bz2 | |
* flow.c (verify_local_live_at_start): Allow hard regs to die.
From-SVN: r37220
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/flow.c | 21 |
2 files changed, 21 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0cc7a06..42119a9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +Fri Nov 3 05:41:07 2000 J"orn Rennecke <amylaar@redhat.com> + + * flow.c (verify_local_live_at_start): Allow hard regs to die. + 2000-11-02 Neil Booth <neilb@earthling.net> config: @@ -2888,11 +2888,24 @@ verify_local_live_at_start (new_live_at_start, bb) EXECUTE_IF_SET_IN_REG_SET (new_live_at_start, 0, i, { - /* No registers should die. */ + /* No pseudo registers should die. */ if (REGNO_REG_SET_P (bb->global_live_at_start, i)) - abort (); - /* Verify that the now-live register is wider than word_mode. */ - verify_wide_reg (i, bb->head, bb->end); + { + /* But hard regs can reasonably die, e.g. when we combine + (insn 6 30 7 (set (reg/v:DI 83) + (reg:DI 5 r5)) (nil) + (expr_list:REG_DEAD (reg:DI 5 r5) (nil))) + ... and ... + (insn 17 15 18 (set (reg:SI 5 r5) + (subreg:SI (reg/v:DI 83) 1)) (insn_list 6 (nil)) + (expr_list:REG_DEAD (reg/v:DI 83) (nil))) . */ + + if (i >= FIRST_PSEUDO_REGISTER) + abort (); + } + else + /* Verify that the now-live register is wider than word_mode. */ + verify_wide_reg (i, bb->head, bb->end); }); } } |