c5447f4c3b
In TempScopInfo::buildCondition we extract the conditions to guard the BB *in addition of* loop bounds. This means we should only consider the conditions in the paths (in CFG) that do not contain cycles (loops). At the same time, we set the invert flag if the FalseBB of the current branch dominates our target BB to indicate that we reach the target BB with an inverted condition from the current branch. In this case, the path from the FalseBB contains a cycle if the FalseBB is the target of a backedge. The conditions implied by such a path should not be consider. We can identify such a case by checking if the TrueBB also dominates our target BB, which means we can also reach our target BB from the TrueBB, without going through the backedge. llvm-svn: 222907 |
||
|---|---|---|
| .. | ||
| Cloog | ||
| CodePreparation | ||
| DeadCodeElimination | ||
| Dependences | ||
| IndependentBlocks | ||
| Isl | ||
| ScheduleOptimizer | ||
| ScopDetect | ||
| ScopDetectionDiagnostics | ||
| ScopInfo | ||
| TempScop | ||
| CMakeLists.txt | ||
| Makefile | ||
| README | ||
| create_ll.sh | ||
| lit.cfg | ||
| lit.site.cfg.in | ||
| polly.ll | ||
README
place tests here