diff options
Diffstat (limited to 'gcc/graphite-ppl.c')
| -rw-r--r-- | gcc/graphite-ppl.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/graphite-ppl.c b/gcc/graphite-ppl.c index ca65c85..3e84dcf 100644 --- a/gcc/graphite-ppl.c +++ b/gcc/graphite-ppl.c @@ -614,11 +614,12 @@ ppl_read_polyhedron_matrix (ppl_Polyhedron_t *ph, FILE *file) cloog_matrix_free (mat); } -/* Return in RES the maximum of the linear expression LE on polyhedron PS. */ +/* Return in RES the maximum of the linear expression LE on the + pointset powerset of polyhedra PS. */ void -ppl_max_for_le (ppl_Pointset_Powerset_C_Polyhedron_t ps, - ppl_Linear_Expression_t le, Value res) +ppl_max_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t ps, + ppl_Linear_Expression_t le, Value res) { ppl_Coefficient_t num, denom; Value dv, nv; |