Lots of changes

jlm/hls/Makefile.sub

@@ -18,6 +18,7 @@ libhls_SOURCES = \
     jlm/hls/backend/rvsdg2rhls/alloca-conv.cpp \
     jlm/hls/backend/rvsdg2rhls/check-rhls.cpp \
     jlm/hls/backend/rvsdg2rhls/DeadNodeElimination.cpp \
+    jlm/hls/backend/rvsdg2rhls/PartialRedundancyElimination.cpp \
     jlm/hls/backend/rvsdg2rhls/decouple-mem-state.cpp \
     jlm/hls/backend/rvsdg2rhls/distribute-constants.cpp \
     jlm/hls/backend/rvsdg2rhls/GammaConversion.cpp \
@@ -62,6 +63,7 @@ libhls_HEADERS = \
     jlm/hls/backend/rvsdg2rhls/alloca-conv.hpp \
     jlm/hls/backend/rvsdg2rhls/check-rhls.hpp \
     jlm/hls/backend/rvsdg2rhls/DeadNodeElimination.hpp \
+    jlm/hls/backend/rvsdg2rhls/PartialRedundancyElimination.hpp \
     jlm/hls/backend/rvsdg2rhls/decouple-mem-state.hpp \
     jlm/hls/backend/rvsdg2rhls/distribute-constants.hpp \
     jlm/hls/backend/rvsdg2rhls/GammaConversion.hpp \

jlm/llvm/Makefile.sub

@@ -63,11 +63,13 @@ libllvm_SOURCES = \
     jlm/llvm/opt/alias-analyses/Steensgaard.cpp \
     jlm/llvm/opt/CommonNodeElimination.cpp \
     jlm/llvm/opt/DeadNodeElimination.cpp \
+    jlm/llvm/opt/gvn.cpp \
     jlm/llvm/opt/IfConversion.cpp \
     jlm/llvm/opt/inlining.cpp \
     jlm/llvm/opt/InvariantValueRedirection.cpp \
     jlm/llvm/opt/LoadChainSeparation.cpp \
     jlm/llvm/opt/LoopUnswitching.cpp \
+    jlm/llvm/opt/PartialRedundancyElimination.cpp \
     jlm/llvm/opt/PredicateCorrelation.cpp \
     jlm/llvm/opt/pull.cpp \
     jlm/llvm/opt/push.cpp \
@@ -84,6 +86,7 @@ libllvm_HEADERS = \
     \
     jlm/llvm/opt/unroll.hpp \
     jlm/llvm/opt/DeadNodeElimination.hpp \
+    jlm/llvm/opt/gvn.hpp \
     jlm/llvm/opt/inlining.hpp \
     jlm/llvm/opt/CommonNodeElimination.hpp \
     jlm/llvm/opt/push.hpp \
@@ -113,6 +116,7 @@ libllvm_HEADERS = \
     jlm/llvm/opt/InvariantValueRedirection.hpp \
     jlm/llvm/opt/LoadChainSeparation.hpp \
     jlm/llvm/opt/LoopUnswitching.hpp \
+    jlm/llvm/opt/PartialRedundancyElimination.hpp \
     jlm/llvm/opt/PredicateCorrelation.hpp \
     jlm/llvm/opt/RvsdgTreePrinter.hpp \
     jlm/llvm/opt/ScalarEvolution.hpp \

jlm/llvm/ir/operators/MemoryStateOperations.cpp

@@ -39,8 +39,13 @@ MemoryStateMergeOperation::NormalizeSingleOperand(
     const MemoryStateMergeOperation &,
     const std::vector<rvsdg::Output *> & operands)
 {
-  if (operands.size() == 1)
-    return operands;
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Warray-bounds"
+#pragma GCC diagnostic ignored "-Wstringop-overflow"
+  if (operands.size() == 1){
+    return {operands};
+  }
+#pragma GCC diagnostic pop
 
   return std::nullopt;
 }
@@ -157,8 +162,13 @@ MemoryStateJoinOperation::NormalizeSingleOperand(
     const MemoryStateJoinOperation &,
     const std::vector<rvsdg::Output *> & operands)
 {
-  if (operands.size() == 1)
-    return operands;
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Warray-bounds"
+#pragma GCC diagnostic ignored "-Wstringop-overflow"
+  if (operands.size() == 1){
+    return {operands};
+  }
+#pragma GCC diagnostic pop
 
   return std::nullopt;
 }