From 83c07da3cc5f43bda844310cd110384b1679599f Mon Sep 17 00:00:00 2001
From: Egor Mayorov <mayorov.egor.130602@gmail.com>
Date: Tue, 25 Mar 2025 15:18:49 +0300
Subject: [PATCH] New pass

---
 CMakeLists.txt                      |  6 +++++-
 src/Sapfor.cpp                      |  6 ++++++
 src/Sapfor.h                        |  3 +++
 src/SwapOperators/swapOperators.cpp | 14 ++++++++++++++
 src/SwapOperators/swapOperators.h   |  6 ++++++
 src/Utils/PassManager.h             |  2 ++
 6 files changed, 36 insertions(+), 1 deletion(-)
 create mode 100644 src/SwapOperators/swapOperators.cpp
 create mode 100644 src/SwapOperators/swapOperators.h

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6f9644e..3332219 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -177,6 +177,8 @@ set(TR_IMPLICIT_NONE src/Transformations/set_implicit_none.cpp
         src/Transformations/set_implicit_none.h)
 set(TR_REPLACE_ARRAYS_IN_IO src/Transformations/replace_dist_arrays_in_io.cpp
         src/Transformations/replace_dist_arrays_in_io.h)
+SET(SWAP_OPERATORS src/SwapOperators/swapOperators.cpp
+        src/SwapOperators/swapOperators.h)
 
 set(TRANSFORMS 
         ${TR_DEAD_CODE}
@@ -405,7 +407,8 @@ set(SOURCE_EXE
     ${ZLIB}
     ${GR_LAYOUT}
     ${PR_PARAM}
-    ${PROJ_MAN})
+    ${PROJ_MAN}
+    ${SWAP_OPERATORS})
 
 add_executable(Sapfor_F ${SOURCE_EXE})
 source_group (CFGraph FILES ${CFG})
@@ -449,6 +452,7 @@ source_group (Utils FILES ${UTILS})
 source_group (VerificationCode FILES ${VERIF})       
 source_group (ProjectParameters FILES ${PR_PARAM})
 source_group (ProjectManipulation FILES ${PROJ_MAN})
+source_group (SwapOperators FILES ${SWAP_OPERATORS})
 
 source_group (VisualizerCalls FILES ${VS_CALLS})
 source_group (VisualizerCalls\\GraphLayout FILES ${GR_LAYOUT})
diff --git a/src/Sapfor.cpp b/src/Sapfor.cpp
index 0917819..6836640 100644
--- a/src/Sapfor.cpp
+++ b/src/Sapfor.cpp
@@ -70,6 +70,8 @@
 #include "VisualizerCalls/SendMessage.h"
 #include "VisualizerCalls/BuildGraph.h"
 
+#include "SwapOperators/swapOperators.h"
+
 #include "Transformations/enddo_loop_converter.h"
 #include "Transformations/loop_transform.h"
 #include "Transformations/array_assign_to_loop.h"
@@ -938,6 +940,10 @@ static bool runAnalysis(SgProject &project, const int curr_regime, const bool ne
                     internalExit = err;
             }
         }
+        else if (curr_regime == SWAP_OPERATORS)
+        {
+            runSwapOperators(loopGraph, fullIR);
+        }
         else if (curr_regime == PRIVATE_REMOVING_ANALYSIS)
         {
             auto itFound = loopGraph.find(file->filename());
diff --git a/src/Sapfor.h b/src/Sapfor.h
index b7f01d1..9fb07ff 100644
--- a/src/Sapfor.h
+++ b/src/Sapfor.h
@@ -122,6 +122,8 @@ enum passes {
     CREATE_INTER_TREE,
     INSERT_INTER_TREE,
 
+    SWAP_OPERATORS,
+
     SHADOW_GROUPING,
     INLINE_PROCEDURES,
     FILL_PARALLEL_REG_IR,
@@ -315,6 +317,7 @@ static void setPassValues()
     passNames[CHECK_PAR_REG_DIR] = "CHECK_PAR_REG_DIR";
     passNames[CREATE_INTER_TREE] = "CREATE_INTER_TREE";
     passNames[INSERT_INTER_TREE] = "INSERT_INTER_TREE";
+    passNames[SWAP_OPERATORS] = "SWAP_OPERATORS";
     passNames[CREATE_PARALLEL_REGIONS] = "CREATE_PARALLEL_REGIONS";
     passNames[PRIVATE_REMOVING_ANALYSIS] = "PRIVATE_REMOVING_ANALYSIS";
     passNames[PRIVATE_REMOVING] = "PRIVATE_REMOVING";
diff --git a/src/SwapOperators/swapOperators.cpp b/src/SwapOperators/swapOperators.cpp
new file mode 100644
index 0000000..d86615b
--- /dev/null
+++ b/src/SwapOperators/swapOperators.cpp
@@ -0,0 +1,14 @@
+#include <map>
+#include <unordered_set>
+#include <vector>
+#include <queue>
+#include <iostream>
+
+#include "swapOperators.h"
+
+
+void runSwapOperators(std::map<std::string, std::vector<LoopGraph*>>& loopGraph, std::map<FuncInfo*, std::vector<SAPFOR::BasicBlock*>>& FullIR)
+{
+    std::cout << "SWAP_OPERATORS Pass" << std::endl;
+    return;
+};
\ No newline at end of file
diff --git a/src/SwapOperators/swapOperators.h b/src/SwapOperators/swapOperators.h
new file mode 100644
index 0000000..7120367
--- /dev/null
+++ b/src/SwapOperators/swapOperators.h
@@ -0,0 +1,6 @@
+#pragma once
+
+#include "../GraphLoop/graph_loops.h"
+#include "../CFGraph/CFGraph.h"
+
+void runSwapOperators(std::map<std::string, std::vector<LoopGraph*>>& loopGraph, std::map<FuncInfo*, std::vector<SAPFOR::BasicBlock*>>& FullIR);
diff --git a/src/Utils/PassManager.h b/src/Utils/PassManager.h
index 8739d26..8bbe93b 100644
--- a/src/Utils/PassManager.h
+++ b/src/Utils/PassManager.h
@@ -212,6 +212,8 @@ void InitPassesDependencies(map<passes, vector<passes>> &passDepsIn, set<passes>
 
     Pass(BUILD_IR) <= Pass(SUBST_EXPR_RD) <= Pass(SUBST_EXPR_RD_AND_UNPARSE);
 
+    Pass(BUILD_IR) <= Pass(SWAP_OPERATORS) <= Pass(PRIVATE_REMOVING);
+
     list({ LOOP_ANALYZER_DATA_DIST_S1, SUBST_EXPR_RD } ) <= Pass(PRIVATE_REMOVING_ANALYSIS);
     list({ PRIVATE_REMOVING_ANALYSIS, REVERT_SUBST_EXPR_RD }) <= Pass(PRIVATE_REMOVING);