Do allow negative offsets in the outermost array dimension
authorTobias Grosser <tobias@grosser.es>
Sun, 3 Aug 2014 21:07:30 +0000 (21:07 +0000)
committerTobias Grosser <tobias@grosser.es>
Sun, 3 Aug 2014 21:07:30 +0000 (21:07 +0000)
commitf57d63f906e080417437dc42681c9e5ac02501a0
treea503fab5a08400753c8556f29e5d15bcf018e0e7
parent4544c16eab32bb9da701c52d5fdb1b1cce9f9204
Do allow negative offsets in the outermost array dimension

There is no needed for neither 1-dimensional nor higher dimensional arrays to
require positive offsets in the outermost array dimension.

We originally introduced this assumption with the support for delinearizing
multi-dimensional arrays.

llvm-svn: 214665
polly/lib/Analysis/ScopInfo.cpp
polly/test/Isl/Ast/simple-run-time-condition.ll
polly/test/ScopInfo/multidim_2d_outer_parametric_offset.ll [moved from polly/test/ScopInfo/multidim_2d_outer_larger_than_zero.ll with 98% similarity]
polly/test/ScopInfo/multidim_ivs_and_parameteric_offsets_3d.ll