forked from OSchip/llvm-project
96425c2574
In order to compute domain conditions for conditionals we will now traverse the region in the ScopInfo once and build the domains for each block in the region. The SCoP statements can then use these constraints when they build their domain. The reason behind this change is twofold: 1) This removes a big chunk of preprocessing logic from the TempScopInfo, namely the Conditionals we used to build there. Additionally to moving this logic it is also simplified. Instead of walking the dominance tree up for each basic block in the region (as we did before), we now traverse the region only once in order to collect the domain conditions. 2) This is the first step towards the isl based domain creation. The second step will traverse the region similar to this step, however it will propagate back edge conditions. Once both are in place this conditional handling will allow multiple exit loops additional logic. Reviewers: grosser Differential Revision: http://reviews.llvm.org/D12428 llvm-svn: 246398 |
||
---|---|---|
.. | ||
inter_bb_scalar_dep.ll | ||
intra_and_inter_bb_scalar_dep.ll | ||
intra_bb_scalar_dep.ll | ||
nested-loops.ll | ||
not-a-reduction.ll | ||
scalar_to_array.ll | ||
tempscop-printing.ll |