[llvm] r237573 - [LoopAccesses] Rearrange printed lines in -analyze

Adam Nemet anemet at apple.com
Mon May 18 08:36:58 PDT 2015


Author: anemet
Date: Mon May 18 10:36:57 2015
New Revision: 237573

URL: http://llvm.org/viewvc/llvm-project?rev=237573&view=rev
Log:
[LoopAccesses] Rearrange printed lines in -analyze

"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.

Modified:
    llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp
    llvm/trunk/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll
    llvm/trunk/test/Transforms/LoopDistribute/basic.ll

Modified: llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp?rev=237573&r1=237572&r2=237573&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp Mon May 18 10:36:57 2015
@@ -1330,10 +1330,6 @@ void LoopAccessInfo::print(raw_ostream &
       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";
 
@@ -1349,6 +1345,10 @@ void LoopAccessInfo::print(raw_ostream &
   // 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 &

Modified: llvm/trunk/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll?rev=237573&r1=237572&r2=237573&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll (original)
+++ llvm/trunk/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll Mon May 18 10:36:57 2015
@@ -37,7 +37,6 @@ target datalayout = "e-m:o-i64:64-f80:12
 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:

Modified: llvm/trunk/test/Transforms/LoopDistribute/basic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopDistribute/basic.ll?rev=237573&r1=237572&r2=237573&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/LoopDistribute/basic.ll (original)
+++ llvm/trunk/test/Transforms/LoopDistribute/basic.ll Mon May 18 10:36:57 2015
@@ -44,7 +44,6 @@ entry:
 ; 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
 
 





More information about the llvm-commits mailing list