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

[Johannes Doerfert]

Hi grosser, sebpop, simbuerg, zinob,

  This allows us to model non-affine regions in the SCoP representation.
  SCoP statements can now describe either basic blocks or non-affine
  regions. In the latter case all accesses in the region are accumulated
  for the statement and write accesses, except in the entry, have to be
  marked as may-write.

  Depends on D7829

http://reviews.llvm.org/D7846

Files:
  include/polly/ScopInfo.h
  include/polly/TempScopInfo.h
  lib/Analysis/ScopInfo.cpp
  lib/Analysis/TempScopInfo.cpp
  test/ScopInfo/NonAffine/non_affine_conditional_nested.ll
  test/ScopInfo/NonAffine/non_affine_float_compare.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7846.20561.patch
Type: text/x-patch
Size: 30407 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150224/ca0f09d3/attachment.bin>