diff options
| author | Richard Biener <rguenther@suse.de> | 2020-12-07 10:29:07 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-12-07 12:05:51 +0100 |
| commit | cdcbef3c3310a14f2994982b44cb1f8e14c77232 (patch) | |
| tree | e35a3e2519b0b7e6a17937c430446f92c80ad6b4 /gcc/testsuite | |
| parent | f8fb01fbb0c3c6b8ec0e5a301651b0824aaf880b (diff) | |
| download | gcc-cdcbef3c3310a14f2994982b44cb1f8e14c77232.zip gcc-cdcbef3c3310a14f2994982b44cb1f8e14c77232.tar.gz gcc-cdcbef3c3310a14f2994982b44cb1f8e14c77232.tar.bz2 | |
tree-optimization/98117 - fix range set by vectorization on niter IVs
This avoids the degenerate case of a TYPE_MAX_VALUE latch iteration
count value causing wrong range info for the vector IV. There's
still the case of VF == 1 where if we don't know whether we hit the
above case we cannot emit a range.
2020-12-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/98117
* tree-vect-loop-manip.c (vect_gen_vector_loop_niters):
Properly handle degenerate niter when setting the vector
loop IV range.
* gcc.dg/torture/pr98117.c: New testcase.
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr98117.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr98117.c b/gcc/testsuite/gcc.dg/torture/pr98117.c new file mode 100644 index 0000000..f216025 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr98117.c @@ -0,0 +1,19 @@ +/* { dg-do run } */ +/* { dg-additional-options "-fno-tree-scev-cprop" } */ + +unsigned char c; +void __attribute__((noipa)) +e() +{ + do + { + } + while (++c); +} +int main() +{ + e(); + if (c != 0) + __builtin_abort (); + return 0; +} |