tree 31d0d4593426d36c34215c8a4e407d9431bcf4ad
parent 14335be0780d369f4aa2403ee986bac3d436872f
author Ryotaro Kasuga <kasuga.ryotaro@fujitsu.com> 1743595350 +0900
committer GitHub <noreply@github.com> 1743595350 +0900
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn7SdWCRC1aQ7uu5UhlAAABkkQAG9i6Y67img5MWYBGtVO4Xjl
 WuzjaDiMJGJGu65+RPC0WABH0McuvcRqEbbLAgyFUKThfwUV6ptWK4JOKF5QVqiR
 ZNnPjdlwBE6uOJDgGxkguGjBMtUcSB4UG09NIIx/l93jWjL0UhOjn7qJhZYcSUfZ
 3kzvyyWu8ub9x/MtvZ9EDaX/2UdBzp2l4ZxnaAwCz05PkNlPp1VwLXIFbd1POd2q
 v0cOhm3P98Fs7E6cnAKZLVYBpmv4svcP5SOoQ1IOZIqOwUNzGSW/pejDYBch2ZZ6
 Ui8+N2D18RTG8d3ScH0PNP6lQ20zLi0HozlOwZxxDWEcgtQTLKKcfrqOL05qcMFp
 hU+PZO85uwPlePXEh91cNktuLMvqL0HpXOTOSyvXE5Ja2NWWrC1vNKn4Jrsp9XdU
 XddeXpV0ZhSRIEOnHKSr3Lal6+VE/JeuFqMNkiZHSvwK9FLamOGAngbcXUbg3rFa
 Y1aaqgXFArZSy4ayp8X+QbEIXXWveRrmRn3YcEbZM0zvbh56ZyhGX6C2WYqv4E+i
 /AYvHsGv9ia9Qflum3IBOJaW/NXmoD6koUpD4F1vy8TRzfMa0eOSzRKPQuPIVgdM
 xkCnw5WqDK4EZAobfv+GMz3pGGHL65gJ9Lcy/BrCE5Cv4bgbm/+Wsv1EQ87ub2vI
 dprHqhIk17NNu3GTID+4
 =vii+
 -----END PGP SIGNATURE-----
 

[LoopInterchange] Add tests for the vectorization profitability (NFC) (#133665)

There is a problem with the current profitability check for
vectorization in LoopInterchange. There are both false positives and
false negatives. The former means that the heuristic may say that "an
exchange is necessary to vectorize the innermost loop" even though it's
already possible. The latter means that the heuristic may miss a case
where an exchange is necessary to vectorize the innermost loop. Note
that this is not a dependency analysis problem. This is caused by
incorrect handling of the dependency matrix in the profitability check,
so these problems can occur even if the analysis is accurate (no
overestimation).

This patch adds tests to clarify the cases that should be fixed. The
root cause of these cases is that the heuristic doesn't handle the
direction of a dependency correctly.