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

[Sebastian Pop]

LGTM.

How do we compute the set of memory locations that are touched by a non-affine approximated loop?
That is this part of the commit message:
"all accesses that are variant in these loops

  have to be over approximated as non-affine accesses".

Do we just say that the full array is accessed, or is there a more precise description of the memory access that can be computed?


http://reviews.llvm.org/D8152

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/