86 lines · plain
1// RUN: mlir-opt %s | mlir-opt | FileCheck %s2 3// CHECK-LABEL: func.func @mpi_test(4// CHECK-SAME: [[varg0:%.*]]: memref<100xf32>) {5func.func @mpi_test(%ref : memref<100xf32>) -> () {6 // Note: the !mpi.retval result is optional on all operations except mpi.error_class7 8 // CHECK-NEXT: [[v0:%.*]] = mpi.init : !mpi.retval9 %err = mpi.init : !mpi.retval10 11 // CHECK-NEXT: [[v1:%.*]] = mpi.comm_world : !mpi.comm12 %comm = mpi.comm_world : !mpi.comm13 14 // CHECK-NEXT: [[vrank:%.*]] = mpi.comm_rank([[v1]]) : i3215 %rank = mpi.comm_rank(%comm) : i3216 17 // CHECK-NEXT: [[vretval:%.*]], [[vrank_0:%.*]] = mpi.comm_rank([[v1]]) : !mpi.retval, i3218 %retval, %rank_1 = mpi.comm_rank(%comm) : !mpi.retval, i3219 20 // CHECK-NEXT: [[vsize:%.*]] = mpi.comm_size([[v1]]) : i3221 %size = mpi.comm_size(%comm) : i3222 23 // CHECK-NEXT: [[vretval_1:%.*]], [[vsize_2:%.*]] = mpi.comm_size([[v1]]) : !mpi.retval, i3224 %retval_0, %size_1 = mpi.comm_size(%comm) : !mpi.retval, i3225 26 // CHECK-NEXT: [[vnewcomm:%.*]] = mpi.comm_split([[v1]], [[vrank]], [[vrank]]) : !mpi.comm27 %new_comm = mpi.comm_split(%comm, %rank, %rank) : !mpi.comm28 29 // CHECK-NEXT: [[vretval_3:%.*]], [[vnewcomm_4:%.*]] = mpi.comm_split([[v1]], [[vrank]], [[vrank]]) : !mpi.retval, !mpi.comm30 %retval_1, %new_comm_1 = mpi.comm_split(%comm, %rank, %rank) : !mpi.retval, !mpi.comm31 32 // CHECK-NEXT: mpi.send([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i3233 mpi.send(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i3234 35 // CHECK-NEXT: [[v2:%.*]] = mpi.send([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.retval36 %retval_2 = mpi.send(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.retval37 38 // CHECK-NEXT: mpi.recv([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i3239 mpi.recv(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i3240 41 // CHECK-NEXT: [[v3:%.*]] = mpi.recv([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.retval42 %retval_3 = mpi.recv(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.retval43 44 // CHECK-NEXT: [[vretval_5:%.*]], [[vreq:%.*]] = mpi.isend([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.retval, !mpi.request45 %err4, %req2 = mpi.isend(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.retval, !mpi.request46 47 // CHECK-NEXT: [[vreq_6:%.*]] = mpi.isend([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.request48 %req1 = mpi.isend(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.request49 50 // CHECK-NEXT: [[vreq_7:%.*]] = mpi.irecv([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.request51 %req3 = mpi.irecv(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.request52 53 // CHECK-NEXT: [[vretval_8:%.*]], [[vreq_9:%.*]] = mpi.irecv([[varg0]], [[vrank]], [[vrank]], [[v1]]) : memref<100xf32>, i32, i32 -> !mpi.retval, !mpi.request54 %err5, %req4 = mpi.irecv(%ref, %rank, %rank, %comm) : memref<100xf32>, i32, i32 -> !mpi.retval, !mpi.request55 56 // CHECK-NEXT: mpi.wait([[vreq_9]]) : !mpi.request57 mpi.wait(%req4) : !mpi.request58 59 // CHECK-NEXT: [[v4:%.*]] = mpi.wait([[vreq]]) : !mpi.request -> !mpi.retval60 %err6 = mpi.wait(%req2) : !mpi.request -> !mpi.retval61 62 // CHECK-NEXT: mpi.barrier([[v1]])63 mpi.barrier(%comm)64 65 // CHECK-NEXT: [[v5:%.*]] = mpi.barrier([[v1]]) -> !mpi.retval66 %err7 = mpi.barrier(%comm) -> !mpi.retval67 68 // CHECK-NEXT: [[v6:%.*]] = mpi.allreduce([[varg0]], [[varg0]], MPI_SUM, [[v1]]) : memref<100xf32>, memref<100xf32> -> !mpi.retval69 %err8 = mpi.allreduce(%ref, %ref, MPI_SUM, %comm) : memref<100xf32>, memref<100xf32> -> !mpi.retval70 71 // CHECK-NEXT: mpi.allreduce([[varg0]], [[varg0]], MPI_SUM, [[v1]]) : memref<100xf32>, memref<100xf32>72 mpi.allreduce(%ref, %ref, MPI_SUM, %comm) : memref<100xf32>, memref<100xf32>73 74 // CHECK-NEXT: [[v7:%.*]] = mpi.finalize : !mpi.retval75 %rval = mpi.finalize : !mpi.retval76 77 // CHECK-NEXT: [[v8:%.*]] = mpi.retval_check [[vretval:%.*]] = <MPI_SUCCESS> : i178 %res = mpi.retval_check %retval = <MPI_SUCCESS> : i179 80 // CHECK-NEXT: [[v9:%.*]] = mpi.error_class [[v0]] : !mpi.retval81 %errclass = mpi.error_class %err : !mpi.retval82 83 // CHECK-NEXT: return84 func.return85}86