]> git.ipfire.org Git - thirdparty/gcc.git/commit
vect: Reject uncounted loop vectorization where alias analysis may fail
authorVictor Do Nascimento <victor.donascimento@arm.com>
Thu, 4 Sep 2025 12:19:44 +0000 (13:19 +0100)
committerVictor Do Nascimento <victor.donascimento@arm.com>
Mon, 15 Dec 2025 15:27:40 +0000 (15:27 +0000)
commited6afed22c994a86e95ece73be2530899003d97d
tree372f1a731f99b041f26e345de769fd80e7a908f7
parentd5a5a73209f1ad5b48fc0449b938e27d67fb76b3
vect: Reject uncounted loop vectorization where alias analysis may fail

Issues with alias list pruning for uncounted loops was found to cause
as-of-yet unresolved issues in the execution of SpecV6.  Disable this
while a reduced testcase is developed and a solution implemented.

Test derived from "omp_get_partition_place_nums" from libgomp "icv.c":

unsigned len = 8;

void
alias_fail (int n[8])
{
  unsigned int i;
  for (i = 0; i < len; i++)
    *n++ = i;
}

gcc/ChangeLog:

* tree-vect-data-refs.cc (vect_prune_runtime_alias_test_list):
Reject when !operand_equal_p for any data ref pair.
gcc/tree-vect-data-refs.cc