Split declaration statements

include/tsar/Support/DiagnosticKinds.td

@@ -106,6 +106,10 @@ def note_assert_no_macro : Note<"macro found">;
 
 def warn_rename_macro_prevent : Warning<"macro prevent renaming">;
 
+def warn_splitdeclaration_macro_prevent : Warning<"macro prevent splitting">;
+def warn_parm_var_decl_split_prevent : Warning<"local parm variable declarations are not splitted">
+def warn_pointers_to_constants_split_prevent : Warning<"declarations of pointers to constants are not splitted">
+
 def warn_propagate_macro_prevent : Warning<"macro prevent expression propagation">;
 def warn_disable_propagate_in_include : Warning<"disable expression propagation in header file">;
 def warn_disable_propagate : Warning<"disable expression propagation">;

include/tsar/Support/Directives.td

@@ -134,6 +134,8 @@ def NoInline : Clause<"noinline", Transform>;
 
 def Propagate : Clause<"propagate", Transform>;
 
+def SplitDeclaration : Clause<"splitdeclaration", Transform>;
+
 def Rename : Clause<"rename", Transform>;
 
 def LoopInterchange : Clause<"interchange", Transform,

include/tsar/Transform/Clang/Passes.h

@@ -114,5 +114,12 @@ void initializeClangLoopReversePass(PassRegistry &Registry);
 
 /// Create a pass to reverse loop.
 ModulePass *createClangLoopReverse();
+
+/// Creates a pass for splitting variable declarations into single ones.
+llvm::ModulePass * createClangSplitDeclsPass();
+
+/// Initializes a pass for splitting variable declarations into single ones.
+void initializeClangSplitDeclsPassPass(PassRegistry &Registry);
+
 }
 #endif//TSAR_CLANG_TRANSFORM_PASSES_H

include/tsar/Transform/Clang/SplitDecls.h

@@ -0,0 +1,61 @@
+//===- MyFirstPass.h - Source-level Renaming of Local Objects -- *- 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.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file declares a pass to perform renaming of objects into a specified
+// scope. The goal of this transformation is to ensure that there is no
+// different objects with the same name at a specified scope. The transformation
+// also guaranties that names of objects declared in a specified scope do not
+// match any name from other scopes.
+//
+//===----------------------------------------------------------------------===//
+#ifndef TSAR_CLANG_SPLIT_DECLS_H
+#define TSAR_CLANG_SPLIT_DECLS_H
+
+#include "tsar/Transform/Clang/Passes.h"
+#include <bcl/utility.h>
+#include <llvm/Pass.h>
+
+#include "tsar/Analysis/Clang/GlobalInfoExtractor.h"
+#include <clang/AST/RecursiveASTVisitor.h>
+#include <clang/AST/TypeLoc.h>
+#include <llvm/ADT/BitmaskEnum.h>
+#include <llvm/ADT/DenseMapInfo.h>
+#include <llvm/ADT/StringMap.h>
+#include <llvm/ADT/StringSet.h>
+#include <map>
+#include <memory>
+#include <vector>
+
+namespace llvm {
+/// This pass separates variable declaration statements that contain multiple
+/// variable declarations at once into single declarations.
+class ClangSplitDeclsPass : public ModulePass, private bcl::Uncopyable {
+public:
+  static char ID;
+
+  ClangSplitDeclsPass() : ModulePass(ID) {
+    initializeClangSplitDeclsPassPass(*PassRegistry::getPassRegistry());
+  }
+
+  bool runOnModule(Module &M) override;
+  void getAnalysisUsage(AnalysisUsage &AU) const override;
+};
+}
+#endif//TSAR_CLANG_SPLIT_DECLS_H

lib/Transform/Clang/CMakeLists.txt

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

lib/Transform/Clang/Passes.cpp

@@ -39,4 +39,5 @@ void llvm::initializeClangTransform(PassRegistry &Registry) {
   initializeDVMHDataTransferIPOPassPass(Registry);
   initializeClangLoopInterchangePass(Registry);
   initializeClangLoopReversePass(Registry);
+  initializeClangSplitDeclsPassPass(Registry);
 }