[Mlir-commits] [mlir] [MLIR] Add `mpi.comm` type to MPI dialect (PR #125361)

[Frank Schlimbach]

Sergio =?utf-8?q?Sánchez_Ramírez?=,
Sergio =?utf-8?q?Sánchez_Ramírez?=,
Sergio =?utf-8?q?Sánchez_Ramírez?=,
Sergio =?utf-8?q?Sánchez_Ramírez?=,
Sergio =?utf-8?q?Sánchez_Ramírez?Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/125361 at github.com>


fschlimb wrote:

Hi @mofeing,
I rebased a fork of your branch and then added the necessary fixes here: #133280.
A PR against your branch yields all the changes from the rebase.
We can either switch to the new PR or you patch your branch with my changes, as you like.

At least one issue remains: The `!mpi.comm` type needs to be converted to whatever the MPI implementation uses. I currently do not know how to make this possible, because we currently read the implementation from TLDI, which I don't think is available when the type conversion is added (https://github.com/fschlimb/llvm-project/blob/1fc03105810ab5cc23a54b5968a9a391dc8d1cf7/mlir/lib/Conversion/MPIToLLVM/MPIToLLVM.cpp#L520).

@rolfmorel Any idea?


https://github.com/llvm/llvm-project/pull/125361