[all-commits] [llvm/llvm-project] ceee3c: [Polly] Restate array sizes and subscripts when th...

[Timur Baidusenov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ceee3c39e1be9692557a22aedc7b87ae88ef5811
      https://github.com/llvm/llvm-project/commit/ceee3c39e1be9692557a22aedc7b87ae88ef5811
  Author: Timur Baidusenov <timurbaidusenov at gmail.com>
  Date:   2026-09-24 (Thu, 24 Sep 2026)

  Changed paths:
    M polly/lib/Analysis/ScopInfo.cpp
    A polly/test/ScopInfo/multidim-shrunk-element-type.ll

  Log Message:
  -----------
  [Polly] Restate array sizes and subscripts when the element type shrinks (#221496)

Polly uses the smallest type to an array with element type of its
ScopArrayInfo. So a byte-wise access, such as a memset, can make the
element type smaller after the sizes of the array dimensions have
already been stored. Those sizes were not updated when the element type
changed: a row of a two-dimensional array of double kept the size. Every
access to the array then looks like it goes past the end of its row, the
inbounds assumption becomes impossible to satisfy, and the SCoP is
dropped without any message. Finally, this patch multiplies the size of
the innermost dimension.

Assisted-by: Claude (Anthropic)



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications