diff options
| author | Richard Biener <rguenther@suse.de> | 2024-01-24 14:55:49 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-01-25 08:37:37 +0100 |
| commit | 578c7b91f418ebbef1bf169117815409e06f5197 (patch) | |
| tree | 384a8c30ec3dafd6d8e2d05f46dbb99384f67196 /gcc/fold-const.cc | |
| parent | 0801a88af40e4bb41c240788a2365ca1e30e281a (diff) | |
| download | gcc-578c7b91f418ebbef1bf169117815409e06f5197.zip gcc-578c7b91f418ebbef1bf169117815409e06f5197.tar.gz gcc-578c7b91f418ebbef1bf169117815409e06f5197.tar.bz2 | |
tree-optimization/113576 - non-empty latch and may_be_zero vectorization
We can't support niters with may_be_zero when we end up with a
non-empty latch due to early exit peeling. At least not in
the simplistic way the vectorizer handles this now. Disallow
it again for exits that are not the last one.
PR tree-optimization/113576
* tree-vect-loop.cc (vec_init_loop_exit_info): Only allow
exits with may_be_zero niters when its the last one.
* gcc.dg/vect/pr113576.c: New testcase.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions