[TSAR, Transform] Create loop swapping tranformation.

Author: yukatan1701

include/tsar/Support/Directives.td

@@ -126,6 +126,8 @@ def Replace : Clause<"replace", Transform,
 
 def With : Clause<"with", Transform, [LParen, Identifier, RParen]>;
 
+def SwapLoops: Clause<"swaploops", Transform>;
+
 def Private : Clause<"private", Analysis,
   [LParen, Identifier, ZeroOrMore<[Comma, Identifier]>, RParen]>;
 

include/tsar/Transform/Clang/LoopSwapping.h

@@ -0,0 +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

@@ -93,4 +93,12 @@ ModulePass * createClangStructureReplacementPass();
 /// with separate variables.
 void initializeClangStructureReplacementPassPass(PassRegistry &Registry);
 }
+/// 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,6 +1,7 @@
 set(TRANSFORM_SOURCES Passes.cpp ExprPropagation.cpp Inline.cpp RenameLocal.cpp
   DeadDeclsElimination.cpp FormatPass.cpp OpenMPAutoPar.cpp
-  SharedMemoryAutoPar.cpp DVMHSMAutoPar.cpp StructureReplacement.cpp)
+  SharedMemoryAutoPar.cpp DVMHSMAutoPar.cpp StructureReplacement.cpp
+  LoopSwapping.cpp)
 
 if(MSVC_IDE)
   file(GLOB_RECURSE TRANSFORM_HEADERS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}