diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-23 11:51:34 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-06-23 11:51:34 +0000 |
| commit | bbdb51dab528e036011e8a91eb9b4475975341a3 (patch) | |
| tree | dd142a166873f8566f124516b14bfcaaa82144dc | |
| parent | a60ff1869d37fc3be3837b29706fbb51522886f6 (diff) | |
| download | ppe42-gcc-bbdb51dab528e036011e8a91eb9b4475975341a3.tar.gz ppe42-gcc-bbdb51dab528e036011e8a91eb9b4475975341a3.zip | |
PR tree-optimization/36508
* tree-ssa-pre.c (compute_antic): Allow num_iterations up to
499, don't check it at all in release compilers.
* gcc.dg/pr36508.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@137036 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr36508.c | 29 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 8 |
4 files changed, 46 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b91ebd197bc..409f5040a24 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-06-23 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/36508 + * tree-ssa-pre.c (compute_antic): Allow num_iterations up to + 499, don't check it at all in release compilers. + 2008-06-23 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.md (*fop_<mode>_1_i387): Use SSE_FLOAT_MODE_P diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 71de4be63ce..1eaff577cc7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-06-23 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/36508 + * gcc.dg/pr36508.c: New test. + 2008-06-20 Joseph Myers <joseph@codesourcery.com> * gcc.dg/inline-31.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr36508.c b/gcc/testsuite/gcc.dg/pr36508.c new file mode 100644 index 00000000000..30489923642 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr36508.c @@ -0,0 +1,29 @@ +/* PR tree-optimization/36508 */ +/* { dg-do compile } */ +/* { dg-options "-O -ftree-pre" } */ + +void +foo (short *sp) +{ + int k; + k = 1; +#define SP0 *sp++ = 1; + while (1) + { + if (k > 6) + break; + SP0 + k++; + } + k = 1; + while (1) + { + if (k > 6) + break; + SP0 + k++; + } +#define SP1 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 +#define SP2 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 + SP2 +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 3f3aae777e1..423afe04785 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2094,8 +2094,10 @@ compute_antic (void) block->index)); } } +#ifdef ENABLE_CHECKING /* Theoretically possible, but *highly* unlikely. */ - gcc_assert (num_iterations < 50); + gcc_assert (num_iterations < 500); +#endif } statistics_histogram_event (cfun, "compute_antic iterations", @@ -2124,8 +2126,10 @@ compute_antic (void) block->index)); } } +#ifdef ENABLE_CHECKING /* Theoretically possible, but *highly* unlikely. */ - gcc_assert (num_iterations < 50); + gcc_assert (num_iterations < 500); +#endif } statistics_histogram_event (cfun, "compute_partial_antic iterations", num_iterations); |
