Patchwork [07/28] Add debug_gmp_value.

login
register
mail settings
Submitter Sebastian Pop
Date Jan. 21, 2011, 7:27 p.m.
Message ID <1295638067-13460-8-git-send-email-sebpop@gmail.com>
Download mbox | patch
Permalink /patch/79891/
State New
Headers show

Comments

Sebastian Pop - Jan. 21, 2011, 7:27 p.m.
From: spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>

2011-01-15  Sebastian Pop  <sebastian.pop@amd.com>

	* graphite-ppl.c (debug_gmp_value): New.
	* graphite-ppl.h (debug_gmp_value): Declared.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@168833 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/ChangeLog          |    7 ++++++-
 gcc/ChangeLog.graphite |    5 +++++
 gcc/graphite-ppl.c     |   13 +++++++++++++
 gcc/graphite-ppl.h     |    1 +
 4 files changed, 25 insertions(+), 1 deletions(-)

Patch

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9f111e7..a1a7e81 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,4 +1,9 @@ 
-2011-01-13  Tobias Grosser  <grosser@fim.uni-passau.de>
+2011-01-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+	* graphite-ppl.c (debug_gmp_value): New.
+	* graphite-ppl.h (debug_gmp_value): Declared.
+
+2011-01-21  Tobias Grosser  <grosser@fim.uni-passau.de>
 
 	* doc/install.texi: Document availability of cloog-0.16.
 
diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 5839242..72f4fa1 100644
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,8 @@ 
+2011-01-15  Sebastian Pop  <sebastian.pop@amd.com>
+
+	* graphite-ppl.c (debug_gmp_value): New.
+	* graphite-ppl.h (debug_gmp_value): Declared.
+
 2011-01-13  Tobias Grosser  <grosser@fim.uni-passau.de>
 
 	* doc/install.texi: Document availability of cloog-0.16
diff --git a/gcc/graphite-ppl.c b/gcc/graphite-ppl.c
index fffa3ee..3013b33 100644
--- a/gcc/graphite-ppl.c
+++ b/gcc/graphite-ppl.c
@@ -502,4 +502,17 @@  ppl_build_relation (int dim, int pos1, int pos2, int c,
   return cstr;
 }
 
+/* Print to STDERR the GMP value VAL.  */
+
+DEBUG_FUNCTION void
+debug_gmp_value (mpz_t val)
+{
+  char *str = mpz_get_str (0, 10, val);
+  void (*gmp_free) (void *, size_t);
+
+  fprintf (stderr, "%s", str);
+  mp_get_memory_functions (NULL, NULL, &gmp_free);
+  (*gmp_free) (str, strlen (str) + 1);
+}
+
 #endif
diff --git a/gcc/graphite-ppl.h b/gcc/graphite-ppl.h
index ec5d3c5..f6c279b 100644
--- a/gcc/graphite-ppl.h
+++ b/gcc/graphite-ppl.h
@@ -46,6 +46,7 @@  void ppl_min_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t,
 			      ppl_Linear_Expression_t, mpz_t);
 ppl_Constraint_t ppl_build_relation (int, int, int, int,
 				     enum ppl_enum_Constraint_Type);
+void debug_gmp_value (mpz_t);
 
 /* Assigns to RES the value of the INTEGER_CST T.  */