[TSAR, Transform] Add client-server interaction.

Author: yukatan1701

include/tsar/Transform/Clang/LoopSwapping.h

@@ -1,23 +1,88 @@
+//=== LoopSwapping.h - Loop Swapping (Clang) ----*- C++ -*===//
+//
+//                       Traits Static Analyzer (SAPFOR)
+//
+// Copyright 2018 DVM System Group
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+//===---------------------------------------------------------------------===//
+//
+// The file declares a pass to perform swapping of specific loops.
+//
+//===---------------------------------------------------------------------===//
+
 #ifndef TSAR_CLANG_LOOP_SWAPPING_H
 #define TSAR_CLANG_LOOP_SWAPPING_H
 
+#include "tsar/Support/Tags.h"
 #include "tsar/Transform/Clang/Passes.h"
+#include "tsar/Analysis/AnalysisServer.h"
+#include "tsar/Analysis/Memory/DIDependencyAnalysis.h"
+#include "tsar/Support/GlobalOptions.h"
 #include <bcl/utility.h>
 #include <llvm/Pass.h>
 
+namespace tsar {
+  class TransformationContext;
+  class DIAliasNode;
+  class DIAliasTree;
+  class MemoryMatchInfo;
+}
+
+namespace clang {
+  class SourceRange;
+  class Rewriter;
+}
+
 namespace llvm {
 
+class Loop;
+class MDNode;
+class GlobalsAAResult;
+
 class ClangLoopSwapping : public FunctionPass, private bcl::Uncopyable {
 public:
   static char ID;
 
   ClangLoopSwapping() : FunctionPass(ID) {
     initializeClangLoopSwappingPass(*PassRegistry::getPassRegistry());
   }
-
   bool runOnFunction(Function &F) override;
   void getAnalysisUsage(AnalysisUsage &AU) const override;
+  void releaseMemory() override;
+
+private:
+  void initializeProviderOnClient(llvm::Module &M);
+  void initializeProviderOnServer();
+
+  bool LoadDependenceAnalysisInfo(Function &F);
+  void SwapLoops(const std::vector<std::vector<clang::SourceRange>> &mRangePairs,
+                 const std::vector<std::vector<Loop *>> &mLoopPairs);
+  bool IsNoLoopID(llvm::MDNode *LoopID);
+  std::vector<tsar::DIAliasNode *> GetLoopNodes(llvm::MDNode *LoopID);
+  bool IsSwappingAvailable(std::vector<Loop *> loops);
+
+  tsar::TransformationContext *mTfmCtx = nullptr;
+  tsar::DIDependencInfo *DIDepInfo = nullptr;
+  tsar::DIAliasTree *DIAT = nullptr;
+  const tsar::GlobalOptions *mGlobalOpts = nullptr;
+  GlobalsAAResult * mGlobalsAA = nullptr;
+  tsar::AnalysisSocket *mSocket = nullptr;
+  tsar::MemoryMatchInfo *mMemoryMatcher = nullptr;
+  std::function<tsar::ObjectID(tsar::ObjectID)> getLoopID;
 };
+
 }
 
 #endif//TSAR_CLANG_LOOP_SWAPPING_H

include/tsar/Transform/Clang/Passes.h

@@ -79,4 +79,12 @@ void initializeClangOpenMPParalleizationPass(PassRegistry &Registry);
 /// Create a pass to perform OpenMP-based parallelization.
 ModulePass* createClangOpenMPParallelization();
 
+/// Creates a pass to perform swapping of loops.
+FunctionPass * createClangLoopSwapping();
+
+/// Initializes a pass to perform swapping of loops.
+void initializeClangLoopSwappingPass(PassRegistry &Registry);
+
+}
+
 #endif//TSAR_CLANG_TRANSFORM_PASSES_H

lib/Transform/Clang/CMakeLists.txt

@@ -1,9 +1,5 @@
 set(TRANSFORM_SOURCES Passes.cpp ExprPropagation.cpp Inline.cpp RenameLocal.cpp
-<<<<<<< HEAD
-  DeadDeclsElimination.cpp FormatPass.cpp LoopSwapping.cpp)
-=======
-  DeadDeclsElimination.cpp FormatPass.cpp OpenMPAutoPar.cpp)
->>>>>>> upstream/master
+  DeadDeclsElimination.cpp FormatPass.cpp OpenMPAutoPar.cpp LoopSwapping.cpp)
 
 if(MSVC_IDE)
   file(GLOB_RECURSE TRANSFORM_HEADERS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}