Do not detect scops that are delinearized to arrays with "undef" size
authorTobias Grosser <tobias@grosser.es>
Wed, 29 Jul 2015 13:52:05 +0000 (13:52 +0000)
committerTobias Grosser <tobias@grosser.es>
Wed, 29 Jul 2015 13:52:05 +0000 (13:52 +0000)
commit80e237bd535b058fdda3b04281bd61ed185f70af
treeefd2e08691aedc7aefad8ddf335d0353996aa2fe
parent1998eb207762eb720c569caa17443dc44ed3803a
Do not detect scops that are delinearized to arrays with "undef" size

Such codes are not interesting to optimize and most likely never appear in the
normal compilation flow. However, they show up during test case reduction with
bugpoint and trigger -- without this change -- an assert in
polly::MemoryAccess::foldAccess(). It is better to detect them in
ScopDetection itself and just bail out.

Contributed-by: Utpal Bora <cs14mtech11017@iith.ac.in>
Reviewers: grosser

Subscribers: pollydev, llvm-commits

Differential Revision: http://reviews.llvm.org/D11425

llvm-svn: 243515
polly/lib/Analysis/ScopDetection.cpp
polly/test/ScopDetect/restrict-undef-size-scopdetect.ll [new file with mode: 0644]