llvm-project/polly/lib/Analysis
Johannes Doerfert f85ad0411f [FIX] Carefully simplify assumptions in the presence of error blocks
If a SCoP contains error blocks we cannot use the domain constraints
  to simplify the assumptions as the domain is already influenced by the
  assumptions we took. Before this patch we did that and some assumptions
  became self-fulfilling as they were implied by the domain constraints.

llvm-svn: 252424
2015-11-08 20:16:39 +00:00
..
DependenceInfo.cpp Do not use the assumed context in the dependence analysis any more 2015-09-17 17:28:19 +00:00
ScopDetection.cpp Remove old and redundant options 2015-11-02 10:13:32 +00:00
ScopDetectionDiagnostic.cpp ScopDetect: Bail out for non-simple memory accesses 2015-10-25 13:48:40 +00:00
ScopGraphPrinter.cpp Add option -polly-view-only 2015-08-03 16:39:56 +00:00
ScopInfo.cpp [FIX] Carefully simplify assumptions in the presence of error blocks 2015-11-08 20:16:39 +00:00
ScopPass.cpp [Refactor] Add a Scop & as argument to printScop 2015-03-01 18:40:25 +00:00