OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

* flow.c (verify_local_live_at_start): Allow hard regs to die.

Browse Source 
From-SVN: r37220
This commit is contained in:
J"orn Rennecke 2000-11-03 05:43:09 +00:00 committed by Joern Rennecke
parent 5a0b0c7abf
commit 6c6a14b5fc
2 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ChangeLog
View File

@ -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:

21
gcc/flow.c
View File

@ -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);
});
}
}