commit 33aa30a638387e1149521c87050e208a438deb41
author Michael Kruse <llvm-project@meinersbur.de> Thu Aug 12 06:11:58 2021 -0500
committer Copybara-Service <copybara-worker@google.com> Thu Aug 12 06:55:34 2021 -0700
tree d576b87fb483e4e3be71e83bb1547482bb7ecf4b
parent 23a99365fb0cba0d7f6530ff215e969052c1f33d

[Polly] Simplify domains before gist.

The compilation of the file
526.blender_r/src/blender/source/blender/editors/space_logic/logic_ops.c
from the SPEC CPU 2017 benchmarks took excessive time to compute

    InvalidDomain.gist_params(Ctx)

Simplifying beforehand, specifically using isl_set_detect_equalities,
reduces the computation time to a negible level again.

GitOrigin-RevId: 90690827859865b0e33919baa1ce9000defd3a6d

lib/Analysis/ScopInfo.cpp

diff --git a/lib/Analysis/ScopInfo.cpp b/lib/Analysis/ScopInfo.cpp
index ffb5b32..8d11b50 100644
--- a/lib/Analysis/ScopInfo.cpp
+++ b/lib/Analysis/ScopInfo.cpp
@@ -1188,6 +1188,9 @@
   for (MemoryAccess *MA : *this)
     MA->realignParams();
 
+  simplify(InvalidDomain);
+  simplify(Domain);
+
   isl::set Ctx = Parent.getContext();
   InvalidDomain = InvalidDomain.gist_params(Ctx);
   Domain = Domain.gist_params(Ctx);