diff options
author | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-17 13:29:04 +0000 |
---|---|---|
committer | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-17 13:29:04 +0000 |
commit | 579bc712dc9b5b20dbc4aeda760785ad7edf3ad9 (patch) | |
tree | 4b7521ce123d03084a652c69babaa26cc01b2f63 /gcc/regclass.c | |
parent | f33c05c37c9877d046cfb2a9f3070a92ce5fc29e (diff) | |
download | gcc-579bc712dc9b5b20dbc4aeda760785ad7edf3ad9.tar.gz |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@86119 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/regclass.c')
-rw-r--r-- | gcc/regclass.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/regclass.c b/gcc/regclass.c index 1f51af610c2..1304313d90d 100644 --- a/gcc/regclass.c +++ b/gcc/regclass.c @@ -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 |