projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c4530c) | patch
[ScopInfo] Simplify domains early
authorTobias Grosser <tobias@grosser.es>
Tue, 23 May 2017 04:26:28 +0000 (04:26 +0000)
committerTobias Grosser <tobias@grosser.es>
Tue, 23 May 2017 04:26:28 +0000 (04:26 +0000)
commit6d459c5d3d22674a3b5d619366fd79ef9e0f22a7
treea25108587c24a29c0a5a725f7bebd62d694794cetree | snapshot
parent6c4530c6b5045a9acd101c1221ea03a8d268f53fcommit | diff
[ScopInfo] Simplify domains early

This speeds up scop modeling for scops with many redundent existentially
quantified constraints. For the attached test case, this change reduces
scop modeling time from minutes (hours?) to 0.15 seconds.

This change resolves a compilation timeout on the AOSP build.

Thanks Eli for reporting _and_ reducing the test case!

Reported-by: Eli Friedman <efriedma@codeaurora.org>
llvm-svn: 303600
polly/lib/Analysis/ScopInfo.cpp diff | blob | history
polly/test/ScopInfo/polly-timeout-parameter-bounds.ll [new file with mode: 0644] blob
Domain: System / Toolchain;