llvm/polly
Roman Gareev 113fa82c3c [Polly] Check the properties of accesses to operands of a matrix-matrix
multiplication

The following code modifies elements of the array D.

    for (i = 0; i < _PB_NI; i++)
      for (j = 0; j < _PB_NJ; j++)
      {
        for (k = 0; k < _PB_NK; k++)
        {
          double Mul = A[i][k] * B[k][j];
          D[i][j][k] += Mul;
          C[i][j] += Mul;
        }
      }

Nevertheless, the code is recognised as a matrix-matrix multiplication, since
the second and third dimensions of D are accessed with non-zero strides.

This fixes the typo, which was made during the translation to C++ bindings
(https://reviews.llvm.org/D35845).

Reviewed By: Michael Kruse <llvm@meinersbur.de>

Differential Revision: https://reviews.llvm.org/D110491
2021-09-28 22:58:57 +05:00
..
cmake
docs polly: remove the old reference to svn in the doc 2021-08-27 10:46:50 +02:00
include/polly [Polly] Reject regions entered by an indirectbr/callbr. 2021-09-27 18:49:11 -05:00
lib [Polly] Check the properties of accesses to operands of a matrix-matrix 2021-09-28 22:58:57 +05:00
test [Polly] Check the properties of accesses to operands of a matrix-matrix 2021-09-28 22:58:57 +05:00
tools
unittests [Polly] Don't redundantly link libPolly into unittests. 2021-08-24 03:07:30 -05:00
utils
www
.arclint
.gitattributes
.gitignore
CMakeLists.txt
CREDITS.txt
LICENSE.TXT
README

Polly - Polyhedral optimizations for LLVM
-----------------------------------------
http://polly.llvm.org/

Polly uses a mathematical representation, the polyhedral model, to represent and
transform loops and other control flow structures. Using an abstract
representation it is possible to reason about transformations in a more general
way and to use highly optimized linear programming libraries to figure out the
optimal loop structure. These transformations can be used to do constant
propagation through arrays, remove dead loop iterations, optimize loops for
cache locality, optimize arrays, apply advanced automatic parallelization, drive
vectorization, or they can be used to do software pipelining.