From c173790079bab27b0037d0d8014c27fd5d498843 Mon Sep 17 00:00:00 2001
From: "nicolas.marie" <nicolas.marie@ensiie.eu>
Date: Fri, 13 Oct 2023 20:54:10 +0200
Subject: [PATCH] fixe mpi_collective detection

---
 src/pass_mpi_collective.cpp | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/pass_mpi_collective.cpp b/src/pass_mpi_collective.cpp
index 8684874..46e0383 100644
--- a/src/pass_mpi_collective.cpp
+++ b/src/pass_mpi_collective.cpp
@@ -98,9 +98,9 @@ void pass_mpi_collective::print_tree(function *fun)
 				{
 					printf("\t\t\tStatement is a MPI function call (%s)\n",
 					       fndecl_name(gimple_call_fndecl(stmt)));
-					if (__is_mpi_collec(stmt))
+					if (__is_mpi_collec(stmt) != LAST_AND_UNUSED_MPI_COLLECTIVE_CODE)
 					{
-						printf("\t\t\t\tStatement is a MPI statement (%s)\n",
+						printf("\t\t\t\tStatement is a MPI collective (%s)\n",
 						       fndecl_name(gimple_call_fndecl(stmt)));
 					}
 				}
@@ -213,7 +213,10 @@ void pass_mpi_collective::label_collec(function *fun)
 		{
 			stmt = gsi_stmt(gsi);
 			mpi_code = is_mpi_collec(stmt);
-			((bb_data *) bb->aux)->mpi_code = mpi_code;
+			if (mpi_code != LAST_AND_UNUSED_MPI_COLLECTIVE_CODE)
+			{
+				((bb_data *) bb->aux)->mpi_code = mpi_code;
+			}
 		}
 	}
 }
-- 
GitLab