procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add more dumps on data dependence graph

Browse source 
Co-Authored-By: Sebastian Pop <s.pop@samsung.com>

From-SVN: r231703
This commit is contained in:
Aditya Kumar 2015-12-16 17:24:25 +00:00 • committed by Sebastian Pop
parent d06f8b75bd
commit 040b0c97c4
4 changed files with 67 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
gcc/ChangeLog
View file

@ -1,3 +1,13 @@
2015-12-16 Aditya Kumar <aditya.k7@samsung.com>
Sebastian Pop <s.pop@samsung.com>
* graphite-dependences.c (scop_get_reads): Add more dumps.
(scop_get_must_writes): Same.
(scop_get_may_writes): Same.
* graphite-poly.c (new_poly_dr): Same.
* graphite-scop-detection.c (build_cross_bb_scalars_def): Same.
(gather_bbs::before_dom_children): Same.
2015-12-16 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* config/aarch64/aarch64.c (aarch64_extend_bitfield_pattern_p):

31
gcc/graphite-dependences.c
View file

@ -89,8 +89,16 @@ scop_get_reads (scop_p scop, vec<poly_bb_p> pbbs)
if (pdr_read_p (pdr))
{
if (dump_file)
print_pdr (dump_file, pdr);
{
fprintf (dump_file, "Adding read to depedence graph: ");
print_pdr (dump_file, pdr);
}
res = isl_union_map_add_map (res, add_pdr_constraints (pdr, pbb));
if (dump_file)
{
fprintf (dump_file, "Reads depedence graph: ");
print_isl_union_map (dump_file, res);
}
}
}
@ -114,8 +122,16 @@ scop_get_must_writes (scop_p scop, vec<poly_bb_p> pbbs)
if (pdr_write_p (pdr))
{
if (dump_file)
print_pdr (dump_file, pdr);
{
fprintf (dump_file, "Adding must write to depedence graph: ");
print_pdr (dump_file, pdr);
}
res = isl_union_map_add_map (res, add_pdr_constraints (pdr, pbb));
if (dump_file)
{
fprintf (dump_file, "Must writes depedence graph: ");
print_isl_union_map (dump_file, res);
}
}
}
@ -139,9 +155,16 @@ scop_get_may_writes (scop_p scop, vec<poly_bb_p> pbbs)
if (pdr_may_write_p (pdr))
{
if (dump_file)
print_pdr (dump_file, pdr);
{
fprintf (dump_file, "Adding may write to depedence graph: ");
print_pdr (dump_file, pdr);
}
res = isl_union_map_add_map (res, add_pdr_constraints (pdr, pbb));
if (dump_file)
{
fprintf (dump_file, "May writes depedence graph: ");
print_isl_union_map (dump_file, res);
}
}
}

15
gcc/graphite-poly.c
View file

@ -31,13 +31,15 @@ along with GCC; see the file COPYING3. If not see
#include "tree.h"
#include "gimple.h"
#include "cfghooks.h"
#include "gimple-pretty-print.h"
#include "diagnostic-core.h"
#include "fold-const.h"
#include "gimple-iterator.h"
#include "tree-ssa-loop.h"
#include "cfgloop.h"
#include "tree-data-ref.h"
#include "pretty-print.h"
#include "gimple-pretty-print.h"
#include "tree-dump.h"
#include <isl/constraint.h>
#include <isl/set.h>
@ -147,6 +149,17 @@ new_poly_dr (poly_bb_p pbb, gimple *stmt, enum poly_dr_type type,
pdr->subscript_sizes = subscript_sizes;
PDR_TYPE (pdr) = type;
PBB_DRS (pbb).safe_push (pdr);
if (dump_file)
{
fprintf (dump_file, "Converting dr: ");
print_pdr (dump_file, pdr);
fprintf (dump_file, "To polyhedral representation:\n");
fprintf (dump_file, " - access functions: ");
print_isl_map (dump_file, acc);
fprintf (dump_file, " - subscripts: ");
print_isl_set (dump_file, subscript_sizes);
}
}
/* Free polyhedral data reference PDR. */

21
gcc/graphite-scop-detection.c
View file

@ -1684,9 +1684,9 @@ build_cross_bb_scalars_def (scop_p scop, tree def, basic_block def_bb,
if (def_bb != gimple_bb (use_stmt) && !is_gimple_debug (use_stmt))
{
writes->safe_push (def);
DEBUG_PRINT (dp << "Adding scalar write:\n";
DEBUG_PRINT (dp << "Adding scalar write: ";
print_generic_expr (dump_file, def, 0);
dp << "From stmt:\n";
dp << "\nFrom stmt: ";
print_gimple_stmt (dump_file,
SSA_NAME_DEF_STMT (def), 0, 0));
/* This is required by the FOR_EACH_IMM_USE_STMT when we want to break
@ -1713,9 +1713,9 @@ build_cross_bb_scalars_use (scop_p scop, tree use, gimple *use_stmt,
gimple *def_stmt = SSA_NAME_DEF_STMT (use);
if (gimple_bb (def_stmt) != gimple_bb (use_stmt))
{
DEBUG_PRINT (dp << "Adding scalar read:";
DEBUG_PRINT (dp << "Adding scalar read: ";
print_generic_expr (dump_file, use, 0);
dp << "\nFrom stmt:";
dp << "\nFrom stmt: ";
print_gimple_stmt (dump_file, use_stmt, 0, 0));
reads->safe_push (std::make_pair (use_stmt, use));
}
@ -1879,7 +1879,18 @@ gather_bbs::before_dom_children (basic_block bb)
int i;
data_reference_p dr;
FOR_EACH_VEC_ELT (gbb->data_refs, i, dr)
scop->drs.safe_push (dr_info (dr, pbb));
{
DEBUG_PRINT (dp << "Adding memory ";
if (dr->is_read)
dp << "read: ";
else
dp << "write: ";
print_generic_expr (dump_file, dr->ref, 0);
dp << "\nFrom stmt: ";
print_gimple_stmt (dump_file, dr->stmt, 0, 0));
scop->drs.safe_push (dr_info (dr, pbb));
}
return NULL;
}