[polly] [Polly] Skip vectorize.enable for FP loops with dist=1 dependences (PR #205756)
Karthika Devi C via llvm-commits
llvm-commits at lists.llvm.org
Tue Jul 14 03:50:02 PDT 2026
================
@@ -14,8 +14,8 @@
; CHECK: br {{.*}} !llvm.loop [[POLLY_LOOP:![0-9]+]]
; CHECK: [[LOOP]] = distinct !{[[LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i32 0}
-; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
-; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i1 true}
+; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], {{.*}}}
+; CHECK-DAG: !{!"llvm.loop.vectorize.enable", i1 true}
----------------
kartcq wrote:
The test change in basic_vec_annotate.ll is because of IslAst.cpp change (gating PerformParallelTest on PollyVectorizeMetadata) now adds parallel_accesses metadata to the loop. The Polly loop output went from 2 metadata entries to 3, so the CHECK pattern had to be updated. The test still verifies that vectorize.enable=true is present — it's just matching the extra metadata entry that now appears.
I will add test for floating point case.
https://github.com/llvm/llvm-project/pull/205756
More information about the llvm-commits
mailing list