[ScopInfo] Allow uniform branch conditions
authorTobias Grosser <tobias@grosser.es>
Mon, 25 Sep 2017 16:37:15 +0000 (16:37 +0000)
committerTobias Grosser <tobias@grosser.es>
Mon, 25 Sep 2017 16:37:15 +0000 (16:37 +0000)
commit0a62b2d88767bd2836bcf3182e6d58c89cc84cdf
tree84658ca6158b0279b9ac63cf9e7769f4b7d09885
parentb30286d81c1ba60b6aa8f60c874e4adc77b6cac7
[ScopInfo] Allow uniform branch conditions

If all but one branch come from an error condition and the incoming value from
this branch is a constant, we can model this branch.

llvm-svn: 314116
polly/include/polly/Support/SCEVValidator.h
polly/lib/Analysis/ScopDetection.cpp
polly/lib/Analysis/ScopInfo.cpp
polly/lib/Support/SCEVValidator.cpp
polly/test/ScopInfo/condtion-after-error-block.ll [new file with mode: 0644]