diff options
| author | Richard Sandiford <rsandifo@redhat.com> | 2002-11-20 10:03:36 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2002-11-20 10:03:36 +0000 |
| commit | 5720520fc703f006b311bdbd07bc503028c1dbbb (patch) | |
| tree | 5f9c3ba9af36829f0d25dc8c9d0972426410d458 /gcc | |
| parent | 4392ebd361621bdc3f5a2426df102c2da3e25a53 (diff) | |
| download | gcc-5720520fc703f006b311bdbd07bc503028c1dbbb.zip gcc-5720520fc703f006b311bdbd07bc503028c1dbbb.tar.gz gcc-5720520fc703f006b311bdbd07bc503028c1dbbb.tar.bz2 | |
* sched-deps.c (sched_analyze): Check HARD_REGNO_CALL_PART_CLOBBERED.
From-SVN: r59300
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/sched-deps.c | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20021120-3.c | 26 |
4 files changed, 40 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 414a947..5961678 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2002-11-20 Richard Sandiford <rsandifo@redhat.com> + * sched-deps.c (sched_analyze): Check HARD_REGNO_CALL_PART_CLOBBERED. + +2002-11-20 Richard Sandiford <rsandifo@redhat.com> + * config/sh/sh.md (udivsi3): Don't put udivsi3_i4_media instructions into a libcall block. (divsi3): Likewise divsi3_i4_media. diff --git a/gcc/sched-deps.c b/gcc/sched-deps.c index cf762cc..98b0732 100644 --- a/gcc/sched-deps.c +++ b/gcc/sched-deps.c @@ -1287,8 +1287,12 @@ sched_analyze (deps, head, tail) SET_REGNO_REG_SET (reg_pending_sets, i); SET_REGNO_REG_SET (reg_pending_uses, i); } - /* Other call-clobbered hard regs may be clobbered. */ - else if (TEST_HARD_REG_BIT (regs_invalidated_by_call, i)) + /* Other call-clobbered hard regs may be clobbered. + Since we only have a choice between 'might be clobbered' + and 'definitely not clobbered', we must include all + partly call-clobbered registers here. */ + else if (HARD_REGNO_CALL_PART_CLOBBERED (i, reg_raw_mode[i]) + || TEST_HARD_REG_BIT (regs_invalidated_by_call, i)) SET_REGNO_REG_SET (reg_pending_clobbers, i); /* We don't know what set of fixed registers might be used by the function, but it is certain that the stack pointer diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 01d9f41..aef7826 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2002-11-20 Richard Sandiford <rsandifo@redhat.com> + * gcc.c-torture/execute/20021120-3.c: New test. + +2002-11-20 Richard Sandiford <rsandifo@redhat.com> + * gcc.c-torture/execute/20021120-2.c: New test. 2002-11-20 Richard Sandiford <rsandifo@redhat.com> diff --git a/gcc/testsuite/gcc.c-torture/execute/20021120-3.c b/gcc/testsuite/gcc.c-torture/execute/20021120-3.c new file mode 100644 index 0000000..e875f1f --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20021120-3.c @@ -0,0 +1,26 @@ +/* Test whether a partly call-clobbered register will be moved over a call. + Although the original test case didn't use any GNUisms, it proved + difficult to reduce without the named register extension. */ +#if __SH64__ == 32 +#define LOC asm ("r10") +#else +#define LOC +#endif + +unsigned int foo (char *c, unsigned int x, unsigned int y) +{ + register unsigned int z LOC; + + sprintf (c, "%d", x / y); + z = x + 1; + return z / (y + 1); +} + +int main () +{ + char c[16]; + + if (foo (c, ~1U, 4) != (~0U / 5)) + abort (); + exit (0); +} |