llvm-project/polly/lib
Michael Kruse e330071b43 [ScopInfo] Remove bail out condition in buildMinMaxAccess().
The condition was introduced in r267142 to mitigate a long compile-time
case. In r306087, a max-computation limit was introduced that should
handle the same case while leaving the max disjuncts heuristic it
should have replaced intact.

Today, the max disjuncts bail-out causes problems in that it prematurely
stops SCoPs from being detected, e.g. in SPEC's lbm. This would hit less
like if isl_set_coalesce would be called after isl_set_remove_divs
(which makes more basic_set likely to be coalescable) instead of before.

This patch tries to remove the premature max-disjuncts bail-out
condition by using simple_hull() to reduce the computational overhead,
instead of directly invalidating that SCoP.

Differential Revision: https://reviews.llvm.org/D45066

Contributed-by: Sahil Girish Yerawar <cs15btech11044@iith.ac.in>
llvm-svn: 331891
2018-05-09 16:23:56 +00:00
..
Analysis [ScopInfo] Remove bail out condition in buildMinMaxAccess(). 2018-05-09 16:23:56 +00:00
CodeGen Remove another set or release() calls 2018-04-29 00:57:38 +00:00
Exchange [CodeGen] Allow undefined loads in statement instances outside context. 2018-04-10 01:20:51 +00:00
External Remove keep/take/give from isl C++ bindings 2018-04-29 00:57:43 +00:00
Support Remove another set or release() calls 2018-04-29 00:57:38 +00:00
Transform Remove the last uses of isl::give and isl::take 2018-04-29 00:28:26 +00:00
CMakeLists.txt [CMake] Use only keyword-version of target_link_library. NFC. 2018-01-12 16:09:18 +00:00
Polly.cpp Drop '@brief' from doxygen comments 2016-09-02 06:33:33 +00:00