[polly] r277263 - Extend the jscop interface to allow the user to declare new arrays and to reference these arrays from access expressions

[Michael Kruse via llvm-commits]

2016-07-30 11:25 GMT+02:00 Roman Gareev via llvm-commits
<llvm-commits at lists.llvm.org>:

> --- polly/trunk/test/Isl/CodeGen/MemAccess/create_arrays.ll (added)
> +; CHECK:    Arrays {
> +; CHECK:        double E[*][270336][200000]; // Element size 8

> --- polly/trunk/test/Isl/CodeGen/MemAccess/create_arrays___%bb9---%bb26.jscop (added)
> +      {
> +         "name" : "E",
> +         "sizes" : [ "270336", "200000" ],
> +         "type" : "double"
> +      },

> +   "statements" : [
> +      {
> +         "accesses" : [
> +            {
> +               "kind" : "read",
> +               "relation" : "{ Stmt_bb12[i0, i1, i2] -> E[i2, i0] }"
> +            },
> +            {

Hi just noticed some problem here. The array "E" is generated with
three dimensions (with the first one unsized), but the array access is
changed to only a two-dimensional one.

The array's isl_id is named "E" (not "MemRef_E"). We will get a name
clash when introducing an array named "MemRef_A", clashing with the
already existing array A.

Michael