regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to ensure that call_used_regs is a superset of...

* regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to
	ensure that call_used_regs is a superset of both fixed_regs and
	call_really_used_regs.

From-SVN: r86119
This commit is contained in:
Roger Sayle 2004-08-17 13:29:04 +00:00 committed by Roger Sayle
parent 1b9deeb46e
commit e3cadb6151
2 changed files with 17 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2004-08-17 Roger Sayle <roger@eyesopen.com>
* regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to
ensure that call_used_regs is a superset of both fixed_regs and
call_really_used_regs.
2004-08-17 Daniel Bornstein <danfuzz@milk.com>
PR target/17019

View File

@ -427,6 +427,17 @@ init_reg_sets_1 (void)
for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
{
#ifdef ENABLE_CHECKING
/* call_used_regs must include fixed_regs. */
if (fixed_regs[i] && !call_used_regs[i])
abort ();
#ifdef CALL_REALLY_USED_REGISTERS
/* call_used_regs must include call_really_used_regs. */
if (call_really_used_regs[i] && !call_used_regs[i])
abort ();
#endif
#endif
if (fixed_regs[i])
SET_HARD_REG_BIT (fixed_reg_set, i);
else