Handle MPI_DOUBLE_PRECISION.

git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_2_BRANCH@6755

diff --git a/auxprogs/libmpiwrap.c b/auxprogs/libmpiwrap.c
index efa8ad6bd9c663c2bcf9469b2ae6447155e70996..0c6a6f3a2be4c4d1ee3a96779ab5c4c2f17a29bf 100644 (file)
--- a/auxprogs/libmpiwrap.c
+++ b/auxprogs/libmpiwrap.c
@@ -253,6 +253,9 @@ static void showTy ( FILE* f, MPI_Datatype ty )
 #  endif
 #  if defined(MPI_INTEGER4)
    else if (ty == MPI_INTEGER4)       fprintf(f, "INTEGER4");
+#  endif
+#  if defined(MPI_DOUBLE_PRECISION)
+   else if (ty == MPI_DOUBLE_PRECISION) fprintf(f, "DOUBLE_PRECISION");
 #  endif
    else fprintf(f,"showTy:???");
 }
@@ -436,6 +439,9 @@ static long sizeofOneNamedTy ( MPI_Datatype ty )
 #  if defined(MPI_INTEGER4)
    if (ty == MPI_INTEGER4)       return sizeof(signed int);
 #  endif
+#  if defined(MPI_DOUBLE_PRECISION)
+   if (ty == MPI_DOUBLE_PRECISION) return sizeof(double);
+#  endif
 
    /* new in MPI2: */
 #  if defined(MPI_WCHAR)