[llvm] [LAA] Pass maximum stride to isSafeDependenceDistance. (PR #90036)

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Fri Apr 26 13:02:53 PDT 2024


================
@@ -80,13 +76,8 @@ exit:
 define void @unknown_dep_known_safe_due_to_backedge_taken_count(ptr %A) {
 ; CHECK-LABEL: 'unknown_dep_known_safe_due_to_backedge_taken_count'
 ; CHECK-NEXT:    loop:
-; CHECK-NEXT:      Report: unsafe dependent memory operations in loop. Use #pragma clang loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop
-; CHECK-NEXT:  Unknown data dependence.
+; CHECK-NEXT:      Memory dependences are safe
----------------
Meinersbur wrote:

This might be wrong due to my previous note: If the backedge taken count is not known then there is no safe distance between the pointers (unless the stride is 0, diferent from not computable)

https://github.com/llvm/llvm-project/pull/90036


More information about the llvm-commits mailing list