From b40e34320e33683dbe36277e238964a541ce8ba4 Mon Sep 17 00:00:00 2001 From: spop Date: Tue, 25 Jan 2011 06:45:54 +0000 Subject: Use PIP to determine the integer feasibility of a constraint system. 2011-01-25 Sebastian Pop * graphite-dependences.c (new_poly_dr): Call ppl_powerset_is_empty. (build_lexicographical_constraint): Same. (dependence_polyhedron_1): Same. (graphite_legal_transform_dr): Same. (graphite_carried_dependence_level_k): Same. * graphite-ppl.c (ppl_powerset_is_empty): New. * graphite-ppl.h (ppl_powerset_is_empty): Declared. * tree-data-ref.c (dump_data_reference): Print the basic block index. * gcc.dg/graphite/block-0.c: Add documentation. * gcc.dg/graphite/block-4.c: Same. * gcc.dg/graphite/block-7.c: Same. * gcc.dg/graphite/block-8.c: New. * gcc.dg/graphite/interchange-1.c: Un-XFAILed. * gcc.dg/graphite/interchange-11.c: Un-XFAILed. * gcc.dg/graphite/interchange-12.c: Add documentation. * gcc.dg/graphite/interchange-13.c: New. * gcc.dg/graphite/interchange-14.c: New. * gcc.dg/graphite/interchange-15.c: New. * gcc.dg/graphite/interchange-8.c: Add documentation. * gcc.dg/graphite/interchange-mvt.c: Same. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169205 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/tree-data-ref.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'gcc/tree-data-ref.c') diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index 3de3234c22b..ccc00914343 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -193,7 +193,9 @@ dump_data_reference (FILE *outf, { unsigned int i; - fprintf (outf, "#(Data Ref: \n# stmt: "); + fprintf (outf, "#(Data Ref: \n"); + fprintf (outf, "# bb: %d \n", gimple_bb (DR_STMT (dr))->index); + fprintf (outf, "# stmt: "); print_gimple_stmt (outf, DR_STMT (dr), 0, 0); fprintf (outf, "# ref: "); print_generic_stmt (outf, DR_REF (dr), 0); -- cgit v1.2.1