[TSAR, Tfm, Interchange] Add source-to-source transformation to interchange loops in a nest.

Merged in loop-interchange (pull request)

Author: kaniandr

include/tsar/Analysis/Memory/DIClientServerInfo.h

@@ -72,6 +72,9 @@ struct DIClientServerInfo {
   std::function<DIMemory *(DIMemory *)> getMemory = [](DIMemory *M) {
     return M;
   };
+  std::function<DIMemory *(DIMemory *)> getClientMemory = [](DIMemory *M) {
+    return M;
+  };
 
   /// Alias tree on server or on client or nullptr.
   DIAliasTree *DIAT = nullptr;

include/tsar/Support/DiagnosticKinds.td

@@ -186,6 +186,14 @@ def error_expect_function_param : Error<"expected function parameter name">;
 def note_record_member_unknown: Error<"record has no member '%0'">;
 def note_declared_here: Note<"declared here">;
 
+def warn_disable_loop_interchange: Warning<"disable loop interchange">;
+def note_interchange_induction_mismatch: Note<"unable to find an interchangeable loop with the '%0' induction variable">;
+def note_interchange_irregular_loop_nest: Note<"irregular loop structure prevents transformation (use the 'nostrict' clause to force transformation)">;
+def warn_interchange_not_canonical: Warning<"unable to interchange loop being not in a canonical loop form">;
+def warn_interchange_not_perfect: Warning<"unable to interchange not perfectly nested loop">;
+def warn_interchange_not_for_loop: Warning<"unable to interchange not for-loop">;
+def warn_interchange_dependency: Warning<"unable to interchange loop with data dependencies (use the 'nostrict' clause to force transformation)">;
+def warn_interchange_no_analysis: Warning<"absence of analysis results prevents loop interchange (use the 'nostrict' clause to force transformation">;
 
 // Fortran-specific diagnostics.
 def warn_fortran_no_execution_part: Warning<"unable to locate execution-part statmenets">;

include/tsar/Support/Directives.td

@@ -132,6 +132,9 @@ def Propagate : Clause<"propagate", Transform>;
 
 def Rename : Clause<"rename", Transform>;
 
+def LoopInterchange : Clause<"interchange", Transform,
+  [LParen, PPIdentifier, Comma, PPIdentifier, RParen]>;
+
 def Replace : Clause<"replace", Transform,
   [ZeroOrOne<[LParen, Identifier, ZeroOrMore<[Comma, Identifier]>, RParen]>]>;
 

include/tsar/Transform/Clang/Passes.h

@@ -81,5 +81,11 @@ ModulePass * createClangStructureReplacementPass();
 /// Initialize a pass to perform replacement of access to structure fields
 /// with separate variables.
 void initializeClangStructureReplacementPassPass(PassRegistry &Registry);
+
+/// Create a pass to intergchange loops in a loop nest.
+FunctionPass * createClangLoopInterchange();
+
+/// Initialize a pass to intergchange loops in a loop nest.
+void initializeClangLoopInterchangePass(PassRegistry &Registry);
 }
 #endif//TSAR_CLANG_TRANSFORM_PASSES_H

lib/Analysis/Memory/DIClientServerInfo.cpp

@@ -62,6 +62,11 @@ DIClientServerInfo::DIClientServerInfo(llvm::Pass &P, llvm::Function &F) {
           auto Itr = MemoryMatcher->find<Origin>(M);
           return Itr != MemoryMatcher->end() ? Itr->get<Clone>() : nullptr;
         };
+        getClientMemory = [MemoryMatcher](DIMemory *M) {
+          assert(M && "Memory must not be null!");
+          auto Itr = MemoryMatcher->find<Clone>(M);
+          return Itr != MemoryMatcher->end() ? Itr->get<Origin>() : nullptr;
+        };
         if (auto R = Socket->getAnalysis<
               DIEstimateMemoryPass, DIDependencyAnalysisPass>(F)) {
           DIAT = &R->value<DIEstimateMemoryPass *>()->getAliasTree();
@@ -131,4 +136,3 @@ DIDependenceSet *DIMemoryClientServerInfo::findFromClient(const Loop &L) const {
     }
   return nullptr;
 }
-

lib/Transform/Clang/CMakeLists.txt

@@ -1,6 +1,7 @@
 set(TRANSFORM_SOURCES Passes.cpp ExprPropagation.cpp Inline.cpp RenameLocal.cpp
   DeadDeclsElimination.cpp Format.cpp OpenMPAutoPar.cpp
-  SharedMemoryAutoPar.cpp DVMHSMAutoPar.cpp StructureReplacement.cpp)
+  SharedMemoryAutoPar.cpp DVMHSMAutoPar.cpp StructureReplacement.cpp
+  LoopInterchange.cpp)
 
 if(MSVC_IDE)
   file(GLOB_RECURSE TRANSFORM_HEADERS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}