[PATCH] D18878: [Polly] Allow overflow of indices with constant dimensions size

[Michael Kruse via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, _jdoerfert.
Meinersbur added subscribers: pollydev, llvm-commits.
Meinersbur added a project: Polly.
Herald added a subscriber: sanjoy.

Allow overflow of indices into the next higher dimension if it has constant length. E.g.

    float A[32][2];
    ((float*)A)[5];

is effectively the same as 

    A[2][1];

This can happen since r265379 as a side effect if ScopDetection recognizes an access as affine, but ScopInfo rejects the GetElementPtr.

http://reviews.llvm.org/D18878

Files:
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/multidim_fixedsize_multi_offset.ll
  test/ScopInfo/process_added_dimensions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18878.52973.patch
Type: text/x-patch
Size: 7276 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160407/c856503b/attachment-0001.bin>