tree 8d7587c2348bd42c9ff8971217ef8d8175100536
parent b6c0ce0bb67d822fac1e3b42461f66c261c1157c
author Ryotaro Kasuga <kasuga.ryotaro@fujitsu.com> 1743664879 +0900
committer GitHub <noreply@github.com> 1743664879 +0900
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn7jbvCRC1aQ7uu5UhlAAA07IQAE3Jtdm12EoBMCYQ6G2JAC1B
 4666MfX+Ck93kcA69ysNZfzdkpWGy845YZKLcB0dMSWCE0/5KBeb98l9AHBBif8C
 wB9r3t/xSd4Jmztpxrq6TYuswOavKsQ2/s0EIByj9HrCi2JunDtoW7kQpZhz5zIN
 gik2KzTFHiuULwlhy10pkP1YsaSqKVSQ+tSZU4hefwg1bTh0PoIhxnkH9yKjmfrt
 Lj1pXFUsOCFytruvjObSwHUCFMDngFS27CVl68KNXXrF5i0zjT/iUB9kt/9l3uqk
 gPzsir2e9gOdD/4hbYQd0XltP1BV51KuujTCwlA2elJn0nn2ZfEzkVyLC2V3FKgN
 x1HCUCCz2avHhPg7dgHhilRIUDal20dFI/letiOugSkUOETVCjbojwswqz1GzVJA
 WmAmecz8aH/Mj4Ps2nDCrswZF6xLKkKDw3ZHV2O+UGP0To0stkFvy+P5QShcPSnP
 MLjYmbO4P4etd23LniwTux+eMECjsOcowkc0xMHd+pEPYc8q8GP4Duw1ryg0RGWO
 wDlyfIjc7i5Oypk2ueGN54HJPvDkppy7OXXNGbwgEyI6JU83KbGYPuJS3RhhdruH
 hep5hmbGI3ZyWi9YGgxGVxKPHj9S5G9I4spjSxNXxO1sTAnS/voa82Wiw2SXRHw4
 2Y4c3rWhMsa6RhRroRmt
 =8/7e
 -----END PGP SIGNATURE-----
 

[LoopInterchange] Fix the vectorizable check for a loop (#133667)

In the profitability check for vectorization, the dependency matrix was
not handled correctly. This can result to make a wrong decision: It may
say "this loop can be vectorized" when in fact it cannot. The root cause
of this is that the check process early returns when it finds '=' or 'I'
in the dependency matrix. To make sure that we can actually vectorize
the loop, we need to check all the rows of the matrix. This patch fixes
the process of checking whether we can vectorize the loop or not. Now it
won't make a wrong decision for a loop that cannot be vectorized.

Related: #131130