[PATCH] Allow non-affine control flow -- SCoP Detection

[Johannes Doerfert]

Hi grosser, sebpop, simbuerg, zinob,

  With this patch we allow the SCoP detection to detect regions as SCoPs
  which have non-affine control flow inside. All non-affine branches are
  tracked and later accessible to the ScopInfo.

  As there is no real difference, non-affine branches as well as floating
  point branches are covered (and both called non-affine control flow).
  Furthermore, conditionals as wells as loops with non-affine control
  flow can be overapproximated as long as all loops have a computable
  iteration count.

http://reviews.llvm.org/D7829

Files:
  include/polly/ScopDetection.h
  lib/Analysis/ScopDetection.cpp
  test/ScopDetect/no-affine-loop.ll
  test/ScopDetect/non-affine-conditional.ll
  test/ScopDetect/non-affine-loop-condition-dependent-access.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7829.20510.patch
Type: text/x-patch
Size: 11784 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150223/25665220/attachment.bin>