enhance(compiler): Enable deallocation pass to free temporary buffers

compiler/include/concretelang/Dialect/RT/IR/RTOps.td

@@ -12,7 +12,9 @@ include "concretelang/Dialect/RT/IR/RTTypes.td"
 class RT_Op<string mnemonic, list<OpTrait> traits = []> :
     Op<RT_Dialect, mnemonic, traits>;
 
-def DataflowTaskOp : RT_Op<"dataflow_task", [SingleBlockImplicitTerminator<"DataflowYieldOp">]> {
+def DataflowTaskOp : RT_Op<"dataflow_task", [
+    DeclareOpInterfaceMethods<RegionBranchOpInterface>,
+    SingleBlockImplicitTerminator<"DataflowYieldOp">]> {
     let arguments = (ins Variadic<AnyType>: $inputs);
     let results = (outs Variadic<AnyType>:$outputs);
 

compiler/lib/Dialect/RT/IR/RTOps.cpp

@@ -29,3 +29,9 @@ void DataflowTaskOp::build(
   reg->push_back(body);
   result.addTypes(resultTypes);
 }
+
+void DataflowTaskOp::getSuccessorRegions(
+    Optional<unsigned> index, ArrayRef<Attribute> operands,
+    SmallVectorImpl<RegionSuccessor> &regions) {
+  regions.push_back(RegionSuccessor(&body()));
+}

compiler/lib/Support/Pipeline.cpp

@@ -237,6 +237,9 @@ lowerStdToLLVMDialect(mlir::MLIRContext &context, mlir::ModuleOp &module,
   addPotentiallyNestedPass(
       pm, mlir::concretelang::createFinalizingBufferizePass(), enablePass);
 
+  addPotentiallyNestedPass(pm, mlir::createBufferDeallocationPass(),
+                           enablePass);
+
   if (parallelizeLoops)
     addPotentiallyNestedPass(pm, mlir::createConvertSCFToOpenMPPass(),
                              enablePass);