Expect at least the version 0.11 of PPL.
2011-01-25 Sebastian Pop <sebastian.pop@amd.com> toplev/ * configure: Regenerated. * configure.ac: Check for version 0.11 (or later revision) of PPL. toplev/gcc/ * doc/install.texi: Update the expected version number of PPL to 0.11. * graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under #if PPL_VERSION_MINOR < 11. From-SVN: r169207
This commit is contained in:
parent
d7d3d6af69
commit
0deada9e5b
|
@ -1,3 +1,8 @@
|
||||||
|
2011-01-25 Sebastian Pop <sebastian.pop@amd.com>
|
||||||
|
|
||||||
|
* configure: Regenerated.
|
||||||
|
* configure.ac: Check for version 0.11 (or later revision) of PPL.
|
||||||
|
|
||||||
2011-01-25 Tobias Grosser <grosser@fim.uni-passau.de>
|
2011-01-25 Tobias Grosser <grosser@fim.uni-passau.de>
|
||||||
|
|
||||||
* configure: Regenerated.
|
* configure: Regenerated.
|
||||||
|
|
|
@ -5716,8 +5716,8 @@ fi
|
||||||
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
|
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
|
||||||
saved_CFLAGS="$CFLAGS"
|
saved_CFLAGS="$CFLAGS"
|
||||||
CFLAGS="$CFLAGS $pplinc $gmpinc"
|
CFLAGS="$CFLAGS $pplinc $gmpinc"
|
||||||
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.10 (or later revision) of PPL" >&5
|
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.11 (or later revision) of PPL" >&5
|
||||||
$as_echo_n "checking for version 0.10 (or later revision) of PPL... " >&6; }
|
$as_echo_n "checking for version 0.11 (or later revision) of PPL... " >&6; }
|
||||||
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
|
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
|
||||||
/* end confdefs.h. */
|
/* end confdefs.h. */
|
||||||
#include "ppl_c.h"
|
#include "ppl_c.h"
|
||||||
|
@ -5725,7 +5725,7 @@ int
|
||||||
main ()
|
main ()
|
||||||
{
|
{
|
||||||
|
|
||||||
#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
|
#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
|
||||||
choke me
|
choke me
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
|
|
@ -1668,9 +1668,9 @@ ENABLE_PPL_CHECK=yes)
|
||||||
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
|
if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then
|
||||||
saved_CFLAGS="$CFLAGS"
|
saved_CFLAGS="$CFLAGS"
|
||||||
CFLAGS="$CFLAGS $pplinc $gmpinc"
|
CFLAGS="$CFLAGS $pplinc $gmpinc"
|
||||||
AC_MSG_CHECKING([for version 0.10 (or later revision) of PPL])
|
AC_MSG_CHECKING([for version 0.11 (or later revision) of PPL])
|
||||||
AC_TRY_COMPILE([#include "ppl_c.h"],[
|
AC_TRY_COMPILE([#include "ppl_c.h"],[
|
||||||
#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
|
#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
|
||||||
choke me
|
choke me
|
||||||
#endif
|
#endif
|
||||||
], [AC_MSG_RESULT([yes])], [AC_MSG_RESULT([no]); ppllibs= ; pplinc= ; with_ppl=no ])
|
], [AC_MSG_RESULT([yes])], [AC_MSG_RESULT([no]); ppllibs= ; pplinc= ; with_ppl=no ])
|
||||||
|
|
|
@ -1,3 +1,9 @@
|
||||||
|
2011-01-25 Sebastian Pop <sebastian.pop@amd.com>
|
||||||
|
|
||||||
|
* doc/install.texi: Update the expected version number of PPL to 0.11.
|
||||||
|
* graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under
|
||||||
|
#if PPL_VERSION_MINOR < 11.
|
||||||
|
|
||||||
2011-01-25 Sebastian Pop <sebastian.pop@amd.com>
|
2011-01-25 Sebastian Pop <sebastian.pop@amd.com>
|
||||||
|
|
||||||
* graphite-dependences.c: Include graphite-cloog-util.h.
|
* graphite-dependences.c: Include graphite-cloog-util.h.
|
||||||
|
|
|
@ -1,3 +1,9 @@
|
||||||
|
2011-01-15 Sebastian Pop <sebastian.pop@amd.com>
|
||||||
|
|
||||||
|
* doc/install.texi: Update the expected version number of PPL to 0.11.
|
||||||
|
* graphite-ppl.c (ppl_powerset_is_empty): Remove now dead code under
|
||||||
|
#if PPL_VERSION_MINOR < 11.
|
||||||
|
|
||||||
2011-01-15 Sebastian Pop <sebastian.pop@amd.com>
|
2011-01-15 Sebastian Pop <sebastian.pop@amd.com>
|
||||||
|
|
||||||
* graphite-dependences.c (new_poly_ddr): Inlined into
|
* graphite-dependences.c (new_poly_ddr): Inlined into
|
||||||
|
|
|
@ -332,7 +332,7 @@ and @option{--with-mpc-include}. Alternatively, if an MPC source
|
||||||
distribution is found in a subdirectory of your GCC sources named
|
distribution is found in a subdirectory of your GCC sources named
|
||||||
@file{mpc}, it will be built together with GCC@.
|
@file{mpc}, it will be built together with GCC@.
|
||||||
|
|
||||||
@item Parma Polyhedra Library (PPL) version 0.10
|
@item Parma Polyhedra Library (PPL) version 0.11
|
||||||
|
|
||||||
Necessary to build GCC with the Graphite loop optimizations.
|
Necessary to build GCC with the Graphite loop optimizations.
|
||||||
It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
|
It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
|
||||||
|
|
|
@ -525,15 +525,6 @@ bool
|
||||||
ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps,
|
ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps,
|
||||||
int nb_params ATTRIBUTE_UNUSED)
|
int nb_params ATTRIBUTE_UNUSED)
|
||||||
{
|
{
|
||||||
#if PPL_VERSION_MAJOR == 0 && PPL_VERSION_MINOR < 11
|
|
||||||
/* On PPL 0.10,
|
|
||||||
ppl_Pointset_Powerset_C_Polyhedron_contains_integer_point (ps)
|
|
||||||
takes too long on some cases and so we call _is_empty instead. */
|
|
||||||
return ppl_Pointset_Powerset_C_Polyhedron_is_empty (ps);
|
|
||||||
|
|
||||||
#else
|
|
||||||
/* On PPL 0.11 or later, we can check for integer feasibility using
|
|
||||||
the PIP solver. */
|
|
||||||
ppl_PIP_Problem_t pip;
|
ppl_PIP_Problem_t pip;
|
||||||
ppl_dimension_type d;
|
ppl_dimension_type d;
|
||||||
ppl_const_Constraint_System_t pcs;
|
ppl_const_Constraint_System_t pcs;
|
||||||
|
@ -585,7 +576,6 @@ ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps,
|
||||||
free (ds);
|
free (ds);
|
||||||
|
|
||||||
return !has_integer_solutions;
|
return !has_integer_solutions;
|
||||||
#endif
|
|
||||||
}
|
}
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
|
Loading…
Reference in New Issue