[PATCH] D12758: Allow general loops with one latch

[Johannes Doerfert via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: grosser, Meinersbur.
jdoerfert added a subscriber: Polly.

  As we do not rely on ScalarEvolution any more we do not need to get
  the backedge taken count. Additionally, our domain generation handles
  everything that is affine and has one latch and our ScopDetection will
  over-approximate everything else.

  This change will therefor allow loops with:
    - one latch
    - exiting conditions that are affine

  Additionally, it will not check for structured control flow anymore.
  Hence, loops and conditionals are not necessarily single entry single
  exit regions any more.

http://reviews.llvm.org/D12758

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopInfo.cpp
  lib/Support/ScopHelper.cpp
  test/ScopInfo/phi_condition_modeling_2.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12758.34436.patch
Type: text/x-patch
Size: 23180 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150910/30bd7f00/attachment.bin>