[TSAR, Tfm, Interchange] Refactor and add new checks.

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,13 +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">;
-
-def warn_interchange_not_canonical: Warning<"expected canonical loop">;
-def warn_interchange_not_perfect: Warning<"expected perfect loop">;
-def warn_interchange_id_not_found: Warning<"induction not found">;
-def warn_interchange_not_forstmt: Warning<"expected for loop">;
-def err_interchange_dependency: Error<"loop contains dependence. use 'nostrict' clause to skip this check">;
-def warn_interchange_no_analysis: Warning<"loop has no analysis. use 'nostrict' clause to skip this check">;

include/tsar/Transform/Clang/LoopInterchange.h

@@ -82,7 +82,10 @@ ModulePass * createClangStructureReplacementPass();
 /// 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);
-ModulePass* createClangLoopInterchange();
 }
 #endif//TSAR_CLANG_TRANSFORM_PASSES_H

include/tsar/Transform/Clang/Passes.h

@@ -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;
 }
-