[polly] 9069082 - [Polly] Simplify domains before gist.

[Michael Kruse via llvm-commits]

Author: Michael Kruse
Date: 2021-08-12T08:48:14-05:00
New Revision: 90690827859865b0e33919baa1ce9000defd3a6d

URL: https://github.com/llvm/llvm-project/commit/90690827859865b0e33919baa1ce9000defd3a6d
DIFF: https://github.com/llvm/llvm-project/commit/90690827859865b0e33919baa1ce9000defd3a6d.diff

LOG: [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.

Added: 
    

Modified: 
    polly/lib/Analysis/ScopInfo.cpp

Removed: 
    


################################################################################
diff  --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index ffb5b32c83721..8d11b503018f4 100644
--- a/polly/lib/Analysis/ScopInfo.cpp
+++ b/polly/lib/Analysis/ScopInfo.cpp
@@ -1188,6 +1188,9 @@ void ScopStmt::realignParams() {
   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);