[polly] r336425 - Update isl to isl-0.19-224-gce84a511

[Sven Verdoolaege via llvm-commits]

On Wed, Jul 11, 2018 at 12:09:19PM +0200, Tobias Grosser wrote:
> Maybe Sven can give some input.

It really is best to discuss isl issues on the isl mailing list.

> On Jul 11, 2018, 03:34, at 03:34, "Friedman, Eli" <efriedma at codeaurora.org> wrote:
> >limits which didn't hit them before (and take nearly twice as long in
> >real time to execute if I bump up the limit).  Looks like it's caused
> >by
> >the change to  map_intersect_internal in isl_map.c (the new call to
> >isl_map_plain_is_equal).  Do you know what that change is supposed to
> >do?

Do you mean commit 9f663ab9e19a4a91779f1c6f75fece9d58fce2ab?
As explained in the commit message, it's meant to speed up
the case of intersecting a set with itself.

skimo