[Experimental][SQ] Added "Straight to the queue" pass implementation

Author: pcineverdies

experimental/include/experimental/Transforms/HandshakeStraightToQueue.h

@@ -0,0 +1,34 @@
+//===- HandshakeStraightToQueue.h - Implement S2Q algorithm --*- C++ -*----===//
+//
+// Dynamatic is under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file declares the pass which allows to implement straight to the queue,
+// a different way of allocating basic blocks in the LSQ, based on an ASAP
+// approach rather than relying on the network of cmerges.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef DYNAMATIC_TRANSFORMS_HANDSHAKESTRAIGHTTOQUEUE_H
+#define DYNAMATIC_TRANSFORMS_HANDSHAKESTRAIGHTTOQUEUE_H
+#include "dynamatic/Support/DynamaticPass.h"
+#include "mlir/Dialect/ControlFlow/IR/ControlFlow.h"
+#include "mlir/Dialect/Func/IR/FuncOps.h"
+
+namespace dynamatic {
+namespace experimental {
+namespace ftd {
+
+std::unique_ptr<dynamatic::DynamaticPass> createStraightToQueue();
+
+#define GEN_PASS_DECL_HANDSHAKESTRAIGHTTOQUEUE
+#define GEN_PASS_DEF_HANDSHAKESTRAIGHTTOQUEUE
+#include "experimental/Transforms/Passes.h.inc"
+
+} // namespace ftd
+} // namespace experimental
+} // namespace dynamatic
+#endif // DYNAMATIC_TRANSFORMS_HANDSHAKESTRAIGHTTOQUEUE_H

experimental/include/experimental/Transforms/Passes.h

@@ -17,6 +17,7 @@
 #include "dynamatic/Support/LLVM.h"
 #include "experimental/Transforms/HandshakeCombineSteeringLogic.h"
 #include "experimental/Transforms/HandshakePlaceBuffersCustom.h"
+#include "experimental/Transforms/HandshakeStraightToQueue.h"
 #include "experimental/Transforms/LSQSizing/HandshakeSizeLSQs.h"
 #include "experimental/Transforms/ResourceSharing/Crush.h"
 #include "experimental/Transforms/Rigidification/HandshakeRigidification.h"

experimental/include/experimental/Transforms/Passes.td

@@ -26,6 +26,16 @@ def HandshakeCombineSteeringLogic : DynamaticPass< "handshake-combine-steering-l
   }];
   let constructor = "dynamatic::experimental::ftd::combineSteeringLogic()";
 }
+def HandshakeStraightToQueue : DynamaticPass< "handshake-straight-to-queue">  {
+  let summary = "Use the FPGA'23 technique to allocate the basic blocks in the LSQs";
+  let description = [{
+    "Straight to the queue" allows to allocate the basic blocks in the LSQ 
+    according to an ASAP approach rather than by following the control flow
+    relationships coming from the network of cmerges.
+  }];
+  let constructor = "dynamatic::experimental::ftd::createStraightToQueue()";
+  let dependentDialects = ["mlir::cf::ControlFlowDialect", "mlir::func::FuncDialect"];
+}
 
 def HandshakeSpeculation : DynamaticPass<"handshake-speculation"> {
   let summary = "Place Speculation operations";

experimental/lib/Transforms/CMakeLists.txt

@@ -1,6 +1,7 @@
 add_dynamatic_library(DynamaticExperimentalTransforms
   HandshakePlaceBuffersCustom.cpp
   HandshakeCombineSteeringLogic.cpp
+  HandshakeStraightToQueue.cpp
 
   DEPENDS
   DynamaticExperimentalTransformsPassIncGen