Merge (from branch) r6755 (Handle MPI_DOUBLE_PRECISION).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6756

diff --git a/auxprogs/libmpiwrap.c b/auxprogs/libmpiwrap.c
index 27a9a272ff89f8980926575466397e298bd2af9b..5c8964b5fa5780d26a0861a3f08971688adecb79 100644 (file)
--- a/auxprogs/libmpiwrap.c
+++ b/auxprogs/libmpiwrap.c
@@ -267,6 +267,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:???");
 }
@@ -450,6 +453,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)