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

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 30 02:50:32 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:

OK, I was confused here why a previously unsafe dep became safe when the title says `unknown_dep_known_safe_due_to_backedge_taken_count`. I think you specifically added this test case in d5f2753067df89ed4c49d387deb0b3a6b59f8175 to fix here.

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


More information about the llvm-commits mailing list