"Store to invariant address..." is moved as the last line. This is not
the prime result of the analysis. Plus it simplifies some of the tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237573
91177308-0d34-0410-b5e6-
96231b3b80d8
OS.indent(Depth) << "Memory dependences are safe\n";
}
- OS.indent(Depth) << "Store to invariant address was "
- << (StoreToLoopInvariantAddress ? "" : "not ")
- << "found in loop.\n";
-
if (Report)
OS.indent(Depth) << "Report: " << Report->str() << "\n";
// List the pair of accesses need run-time checks to prove independence.
PtrRtCheck.print(OS, Depth);
OS << "\n";
+
+ OS.indent(Depth) << "Store to invariant address was "
+ << (StoreToLoopInvariantAddress ? "" : "not ")
+ << "found in loop.\n";
}
const LoopAccessInfo &
target triple = "x86_64-apple-macosx10.10.0"
; CHECK: for_j.body:
-; CHECK-NEXT: Store to invariant address was not found in loop
; CHECK-NEXT: Report: unsafe dependent memory operations in loop
; CHECK-NEXT: Interesting Dependences:
; CHECK-NEXT: Backward:
; ANALYSIS: for.body:
; ANALYSIS-NEXT: Memory dependences are safe{{$}}
; ANALYSIS: for.body.ldist1:
-; ANALYSIS-NEXT: Store to invariant address was not found in loop
; ANALYSIS-NEXT: Report: unsafe dependent memory operations in loop