cleaned up a lot of loose ends

Author: AntonLydike

flake.lock

@@ -9,14 +9,8 @@
 #define MLIR_DIALECT_MPI_IR_MPI_H_
 
 #include "mlir/IR/Dialect.h"
-#include "mlir/IR/FunctionInterfaces.h"
 #include "mlir/IR/OpDefinition.h"
 #include "mlir/IR/OpImplementation.h"
-#include "mlir/IR/RegionKindInterface.h"
-#include "mlir/IR/SymbolTable.h"
-#include "mlir/Interfaces/CallInterfaces.h"
-#include "mlir/Interfaces/ControlFlowInterfaces.h"
-#include "mlir/Interfaces/SideEffectInterfaces.h"
 
 //===----------------------------------------------------------------------===//
 // MPIDialect

flake.nix

@@ -21,7 +21,6 @@ def MPI_Dialect : Dialect {
     eventual goal, it is not guaranteed at this juncture. Given the early state,
     it is recommended to inquire further prior to using this dialect.
   }];
-  let dependentDialects = ["arith::ArithDialect"];
 
   let usePropertiesForAttributes = 1;
 }

mlir/include/mlir/Dialect/MPI/IR/MPI.h

@@ -10,12 +10,6 @@
 #define MPI_OPS
 
 include "mlir/Dialect/MPI/IR/MPIBase.td"
-include "mlir/Interfaces/CallInterfaces.td"
-include "mlir/Interfaces/ControlFlowInterfaces.td"
-include "mlir/Interfaces/SideEffectInterfaces.td"
-include "mlir/IR/FunctionInterfaces.td"
-include "mlir/IR/RegionKindInterface.td"
-include "mlir/IR/SymbolInterfaces.td"
 
 class MPI_Op<string mnemonic, list<Trait> traits = []> :
     Op<MPI_Dialect, mnemonic, traits>;

mlir/include/mlir/Dialect/MPI/IR/MPIBase.td

@@ -6,10 +6,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "mlir/Dialect/Arith/IR/Arith.h"
 #include "mlir/Dialect/MPI/IR/MPI.h"
 #include "mlir/IR/DialectImplementation.h"
-#include "llvm/ADT/TypeSwitch.h"
 
 using namespace mlir;
 using namespace mlir::mpi;

mlir/include/mlir/Dialect/MPI/IR/MPIOps.td

@@ -7,8 +7,6 @@
 //===----------------------------------------------------------------------===//
 
 #include "mlir/Dialect/MPI/IR/MPI.h"
-#include "mlir/IR/Builders.h"
-#include "mlir/IR/FunctionImplementation.h"
 
 using namespace mlir;
 using namespace mlir::mpi;

mlir/lib/Dialect/MPI/IR/MPIDialect.cpp

@@ -5,7 +5,7 @@ func.func @mpi_test(%ref : memref<100xf32>) -> () {
     // CHECK: mpi.init
     mpi.init
 
-    // CHECK: mpi.comm_rank
+    // CHECK: mpi.comm_rank : i32
     %rank = mpi.comm_rank : i32
 
     // CHECK: mpi.send %arg0 : memref<100xf32>, %0 : i32, %0 : i32