projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 642594a) | patch
Do not allow to complex branch conditions
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 4 Apr 2016 07:59:41 +0000 (07:59 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 4 Apr 2016 07:59:41 +0000 (07:59 +0000)
commit1519491eafe4db832d92e292821ce3498f70ad14
treeb12a1459126c15c0048a027e2c55a61a191dad93tree | snapshot
parent642594ae87aca5181827cf9daff02e851b24ca09commit | diff
Do not allow to complex branch conditions

  Even before we build the domain the branch condition can become very
  complex, especially if we have to build the complement of a lot of
  equality constraints. With this patch we bail if the branch condition
  has a lot of basic sets and parameters.

  After this patch we now successfully compile
    External/SPEC/CINT2000/186_crafty/186_crafty
  with "-polly-process-unprofitable -polly-position=before-vectorizer".

llvm-svn: 265286
polly/lib/Analysis/ScopInfo.cpp diff | blob | history
polly/test/ScopInfo/complex-condition.ll [new file with mode: 0644] blob
polly/test/ScopInfo/complex-successor-structure-2.ll diff | blob | history
polly/test/ScopInfo/user_provided_assumptions.ll diff | blob | history
Domain: System / Toolchain;