projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa0dd5a) | patch
Don't expand to invalid Scops with -polly-detect-keep-going
authorAndreas Simbuerger <simbuerg@fim.uni-passau.de>
Fri, 27 Jun 2014 06:21:14 +0000 (06:21 +0000)
committerAndreas Simbuerger <simbuerg@fim.uni-passau.de>
Fri, 27 Jun 2014 06:21:14 +0000 (06:21 +0000)
commitb379edbb3e25760dc6bca6cfee721c9927dfaac8
treefcb85c060a59a904db77a0352fd8dba8b4a492b5tree | snapshot
parentaa0dd5a4097e817531454b78ed7d349289d1a82ccommit | diff
Don't expand to invalid Scops with -polly-detect-keep-going

Enabling -keep-going in ScopDetection causes expansion to an invalid
Scop candidate.

Region A     <- Valid candidate
   |
Region B     <- Invalid candidate

If -keep-going is enabled, ScopDetection would expand A to A+B because
the RejectLog is never checked for errors during expansion.

With this patch only A becomes a valid Scop.

llvm-svn: 211875
polly/include/polly/ScopDetectionDiagnostic.h diff | blob | history
polly/lib/Analysis/ScopDetection.cpp diff | blob | history
polly/test/ScopDetect/keep_going_expansion.ll [new file with mode: 0644] blob
Domain: System / Toolchain;