[PATCH] Allow loops in non-affine subregions -- SCoP Modeling

[Johannes Doerfert]

Hi grosser, sebpop, simbuerg, zinob,

  This will allow the ScopInfo to build the polyhedral representation for
  non-affine regions that contain loops. Such loops are basically not visible
  in the SCoP representation. Accesses that are variant in such loops are
  therefor represented as non-affine accesses.

http://reviews.llvm.org/D8153

Files:
  include/polly/TempScopInfo.h
  lib/Analysis/ScopInfo.cpp
  lib/Analysis/TempScopInfo.cpp
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_non_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_loop_condition.ll
  test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
  test/ScopInfo/NonAffine/non_affine_parametric_loop.ll
  test/ScopInfo/non_affine_parametric_loop.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8153.21458.patch
Type: text/x-patch
Size: 40132 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150308/9b828e42/attachment.bin>