forked from OSchip/llvm-project
68 lines
1.8 KiB
ReStructuredText
68 lines
1.8 KiB
ReStructuredText
============================
|
|
Release Notes 5.0 (upcoming)
|
|
============================
|
|
|
|
In Polly 5 the following important changes have been incorporated.
|
|
|
|
.. warning::
|
|
|
|
These releaes notes are for the next release of Polly and describe
|
|
the new features that have recently been committed to our development
|
|
branch.
|
|
|
|
- Change ...
|
|
|
|
---------------------------------------------------------
|
|
C++ bindings for isl math library improve maintainability
|
|
---------------------------------------------------------
|
|
|
|
In the context of `Polly Labs <pollylabs.org>`_, a new set of C++ bindings was
|
|
developed for the isl math library. Thanks to the new isl C++ interface there
|
|
is no need for manual memory management any more and programming with integer
|
|
sets became easier in general.
|
|
|
|
Today::
|
|
|
|
void isDiffEmptyOrUnionTheUniverse(isl::set S1, isl::set S2) {
|
|
isl::set Difference = S1.subtract(S2);
|
|
isl::set Union = S1.unite(S2);
|
|
|
|
if (Difference.is_empty())
|
|
return true;
|
|
|
|
if (Union.is_universe())
|
|
return true;
|
|
|
|
return false;
|
|
}
|
|
|
|
Before::
|
|
|
|
void isDiffEmptyOrUnionTheUniverse(__isl_take isl_set S1,
|
|
__isl_take isl_set S2) {
|
|
isl_set *Difference = isl_set_subtract(isl_set_copy(S1),
|
|
isl_set_copy(S2));
|
|
|
|
isl_set *Union = isl_set_union(S1, S2);
|
|
|
|
isl_bool IsEmpty = isl_set_is_empty(Difference);
|
|
isl_set_free(Difference);
|
|
|
|
if (IsEmpty == isl_bool_error)
|
|
llvm_unreachable();
|
|
|
|
if (IsEmpty)
|
|
return true;
|
|
|
|
isl_bool IsUniverse = isl_set_is_Universe(Union);
|
|
isl_set_free(Union);
|
|
|
|
if (IsUniverse == isl_bool_error)
|
|
llvm_unreachable();
|
|
|
|
if (IsUniverse)
|
|
return true;
|
|
|
|
return false;
|
|
}
|