[PATCH] D70361: [Polly][ScopInfo]Fix wrong map in updating AccessRelation of multi-element access

[bin via Phabricator via llvm-commits]

bin.narwal created this revision.
bin.narwal added a reviewer: Meinersbur.
bin.narwal added projects: Polly, LLVM.
Herald added a reviewer: bollu.

Hi,
This patch fixes bug at https://bugs.llvm.org/show_bug.cgi?id=35108.  Root cause is:
when building memory access, the subscripts for MultiDim Access are built in units of
element type in functions buildAccessMultiDim*, while for SingleDim Access are built in
units of bytes in function buildAccessSingleDim.  Later in function updateDimensionality,
we need to update AccessRelation for multi-element access, ideally, the difference in
subscripts aforementioned needs to be considered.  However, it's not and we always
handle it as in units of bytes.

This patch fixes the issue as well as adds a test case.  Any comment?

Thanks,


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D70361

Files:
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/multiple-types-in-multiple-dimensions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D70361.229714.patch
Type: text/x-patch
Size: 6562 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191117/a254a65d/attachment.bin>