------- Comment #24 from howarth at nitro dot med dot uc dot edu 2009-08-15
00:02 -------
With 1677_max applied to r150727 and with the patch...
--- ../../gcc-4.5-20090813/gcc/graphite-ppl.c.org 2009-08-14
19:37:03.000000000 -0400
+++ ../../gcc-4.5-20090813/gcc/graphite-ppl.c 2009-08-14 19:58:56.000000000
-0400
@@ -623,7 +623,13 @@
ppl_Coefficient_t num, denom;
Value dv, nv;
int maximum;
-
+
+ if (ppl_Linear_Expression_OK(le)) {
+ if (ppl_Pointset_Powerset_C_Polyhedron_OK(ps)) {
+ ppl_Linear_Expression_ascii_dump(le,stdout);
+ ppl_Pointset_Powerset_C_Polyhedron_ascii_dump(ps,stdout);
+ }
+ }
value_init (nv);
value_init (dv);
ppl_new_Coefficient (&num);
applied, I get the following for the aermod.f90 benchmark...
./gfortran -O2 -fgraphite-identity -floop-strip-mine
/Users/howarth/Downloads/pb05/lin/source/aermod.f90 -o
/Users/howarth/Downloads/pb05/lin/source/aermod
size 12 0 1 0 0 0 0 0 0 0 0 0 0 f -RPI_V -RPI -NNC_V -NNC
size 1
space_dim 11
space_dim 11
-ZE -EM +CM +GM +CS +GS -CP -GP -SC +SG
con_sys (up-to-date)
topology NECESSARILY_CLOSED
3 x 12 (sorted)
index_first_pending 3
-1 -1 1 0 0 0 0 0 0 0 0 0 >=
1 0 0 0 0 0 0 0 0 0 0 0 >=
0 1 0 0 0 0 0 0 0 0 0 0 >=
gen_sys (up-to-date)
topology NECESSARILY_CLOSED
12 x 12 (not_sorted)
index_first_pending 12
0 0 0 0 0 0 0 0 0 0 0 1 L
0 0 0 0 0 0 0 0 0 0 1 0 L
0 0 0 0 0 0 0 0 0 1 0 0 L
0 0 0 1 0 0 0 0 0 0 0 0 L
0 0 0 0 1 0 0 0 0 0 0 0 L
0 0 0 0 0 1 0 0 0 0 0 0 L
0 0 0 0 0 0 1 0 0 0 0 0 L
0 0 0 0 0 0 0 1 0 0 0 0 L
0 0 0 0 0 0 0 0 1 0 0 0 L
0 1 1 0 0 0 0 0 0 0 0 0 R
1 0 1 0 0 0 0 0 0 0 0 0 P
0 0 1 0 0 0 0 0 0 0 0 0 R
sat_c
0 x 0
sat_g
3 x 12
0 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 0 1 0 0
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40981
