[NFC] Drop the "scattering" tuple name
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 2 Feb 2015 13:45:54 +0000 (13:45 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 2 Feb 2015 13:45:54 +0000 (13:45 +0000)
llvm-svn: 227801

52 files changed:
polly/lib/Analysis/ScopInfo.cpp
polly/test/Dependences/reduction_simple_iv_debug_wrapped_dependences.ll
polly/test/Isl/Ast/rlr___%for.cond---%for.end10.jscop
polly/test/Isl/Ast/rmalrs2___%for.cond---%for.end10.jscop
polly/test/Isl/Ast/rmalrs___%for.cond---%for.end10.jscop
polly/test/Isl/Ast/rmd2___%for.cond---%for.end12.jscop
polly/test/Isl/Ast/rmd3___%for.cond---%for.end12.jscop
polly/test/Isl/Ast/rmd4___%for.cond---%for.end12.jscop
polly/test/Isl/Ast/rmd___%for.cond---%for.end12.jscop
polly/test/Isl/Ast/rms___%for.cond---%for.end10.jscop
polly/test/Isl/Ast/rmsmd2___%for.cond---%for.end6.jscop
polly/test/Isl/Ast/rmsmd3___%for.cond---%for.end6.jscop
polly/test/Isl/Ast/rmsmd4___%for.cond---%for.end6.jscop
polly/test/Isl/Ast/rmsmd5___%for.cond---%for.end6.jscop
polly/test/Isl/Ast/rmsmd___%for.cond---%for.end6.jscop
polly/test/Isl/CodeGen/MemAccess/bad_alignment___%for.cond---%for.end.jscop
polly/test/Isl/CodeGen/MemAccess/codegen_constant_offset___%for.cond---%for.end.jscop
polly/test/Isl/CodeGen/MemAccess/codegen_constant_offset___%for.cond---%for.end.jscop.transformed
polly/test/Isl/CodeGen/MemAccess/codegen_simple___%for.cond---%for.end.jscop
polly/test/Isl/CodeGen/MemAccess/codegen_simple___%for.cond---%for.end.jscop.transformed
polly/test/Isl/CodeGen/MemAccess/codegen_simple_md___%for.cond---%for.end6.jscop
polly/test/Isl/CodeGen/MemAccess/codegen_simple_md___%for.cond---%for.end6.jscop.transformed+withconst
polly/test/Isl/CodeGen/MemAccess/codegen_simple_md___%for.cond---%for.end6.jscop.transformed+withoutconst
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond---%for.end.jscop
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond---%for.end.jscop.transformed
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond---%for.end14.jscop
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond---%for.end14.jscop.transformed
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond4---%for.end14.jscop
polly/test/Isl/CodeGen/MemAccess/simple___%for.cond4---%for.end14.jscop.transformed
polly/test/Isl/CodeGen/MemAccess/simple_stride___%for.cond---%for.end.jscop
polly/test/Isl/CodeGen/OpenMP/single_parallel_loop___%for.i---%exit.jscop
polly/test/Isl/CodeGen/single_do_loop_int_max_iterations___%do.body---%do.end.jscop
polly/test/ScopInfo/loop_affine_bound_0.ll
polly/test/ScopInfo/loop_affine_bound_1.ll
polly/test/ScopInfo/loop_affine_bound_2.ll
polly/test/ScopInfo/loop_carry.ll
polly/test/ScopInfo/multidim_2d-diagonal-matrix.ll
polly/test/ScopInfo/multidim_2d_outer_parametric_offset.ll
polly/test/ScopInfo/multidim_2d_parametric_array_static_loop_bounds.ll
polly/test/ScopInfo/multidim_3d_parametric_array_static_loop_bounds.ll
polly/test/ScopInfo/multidim_ivs_and_integer_offsets_3d.ll
polly/test/ScopInfo/multidim_ivs_and_parameteric_offsets_3d.ll
polly/test/ScopInfo/multidim_nested_start_integer.ll
polly/test/ScopInfo/multidim_only_ivs_2d.ll
polly/test/ScopInfo/multidim_only_ivs_3d.ll
polly/test/ScopInfo/multidim_only_ivs_3d_cast.ll
polly/test/ScopInfo/multidim_only_ivs_3d_reverse.ll
polly/test/ScopInfo/non_affine_parametric_loop.ll
polly/test/ScopInfo/pointer-type-expressions.ll
polly/test/ScopInfo/scalar.ll
polly/test/ScopInfo/simple_loop_1.ll
polly/test/ScopInfo/unsigned-condition.ll

index 71529e5..d205e90 100644 (file)
@@ -696,7 +696,6 @@ void ScopStmt::buildScattering(SmallVectorImpl<unsigned> &Scatter) {
   unsigned NbScatteringDims = Parent.getMaxLoopDepth() * 2 + 1;
 
   isl_space *Space = isl_space_set_alloc(getIslCtx(), 0, NbScatteringDims);
-  Space = isl_space_set_tuple_name(Space, isl_dim_out, "scattering");
 
   Scattering = isl_map_from_domain_and_range(isl_set_universe(getDomainSpace()),
                                              isl_set_universe(Space));
@@ -1512,8 +1511,6 @@ void Scop::dropConstantScheduleDims() {
       isl_val_free(FixedVal);
     }
 
-  DropDimMap = isl_map_set_tuple_id(
-      DropDimMap, isl_dim_out, isl_map_get_tuple_id(DropDimMap, isl_dim_in));
   for (auto *S : *this) {
     isl_map *Schedule = S->getScattering();
     Schedule = isl_map_apply_range(Schedule, isl_map_copy(DropDimMap));
index eb255d6..1c6773a 100644 (file)
@@ -4,7 +4,7 @@
 ;
 ; CHECK: Read: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> MemRef_sum[0] : i0 >= 0 and i0 <= 100 }
 ; CHECK: Write: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> MemRef_sum[0] : i0 >= 0 and i0 <= 100 }
-; CHECK: Schedule: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> scattering[i0] : i0 <= 100 and i0 >= 0; Stmt_for_cond[i0] -> scattering[i0] }
+; CHECK: Schedule: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> [i0] : i0 <= 100 and i0 >= 0; Stmt_for_cond[i0] -> [i0] }
 ; CHECK: Wrapped Dependences:
 ; CHECK: RAW dependences:
 ; CHECK:   { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> [Stmt_for_cond[1 + i0] -> MemRef_sum[0]] : i0 >= 0 and i0 <= 99 }
index fc50d5c..70e0203 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S0",
-         "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, n - i0, 0] }"
+         "schedule" : "[n] -> { Stmt_S0[i0] -> [0, n - i0, 0] }"
       },
       {
          "accesses" : [
@@ -26,7 +26,7 @@
          ],
          "domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S1",
-         "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, n - i0, 0] }"
+         "schedule" : "[n] -> { Stmt_S1[i0] -> [1, n - i0, 0] }"
       }
    ]
 }
index c84f0a0..4cdd690 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S0",
-         "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, -i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, i0, 0]: i0 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_S0[i0] -> [0, -i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, i0, 0]: i0 % 2 = 1 }"
       },
       {
          "accesses" : [
@@ -26,7 +26,7 @@
          ],
          "domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S1",
-         "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+         "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
       }
    ]
 }
index 9740b57..74d4252 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S0",
-         "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, 2 * n - i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, 2  * n - i0, 0]: i0 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_S0[i0] -> [0, 2 * n - i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, 2  * n - i0, 0]: i0 % 2 = 1 }"
       },
       {
          "accesses" : [
@@ -26,7 +26,7 @@
          ],
          "domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S1",
-         "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+         "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
       }
    ]
 }
index bca9793..f1a2856 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
          "name" : "Stmt_for_body6",
-         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i1, 0, i0, 0, i2, 0] }"
+         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i1, 0, i0, 0, i2, 0] }"
       }
    ]
 }
index 7cd7570..c2a7899 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
          "name" : "Stmt_for_body6",
-         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i2, 0, i1, 0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i2, 0, i1, 0, i0, 0] }"
       }
    ]
 }
index b29c322..456c4c5 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
          "name" : "Stmt_for_body6",
-         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i2, 0, i0, 0, i1, 0] }"
+         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i2, 0, i0, 0, i1, 0] }"
       }
    ]
 }
index be7cdc2..dfb0e2e 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
          "name" : "Stmt_for_body6",
-         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i0, 0, i1, 0, i2, 0] }"
+         "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i0, 0, i1, 0, i2, 0] }"
       }
    ]
 }
index 15a6930..6388163 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S0",
-         "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, i0, 0]: i0 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_S0[i0] -> [0, i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, i0, 0]: i0 % 2 = 1 }"
       },
       {
          "accesses" : [
@@ -26,7 +26,7 @@
          ],
          "domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
          "name" : "Stmt_S1",
-         "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+         "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
       }
    ]
 }
index 38cb44b..e875ef6 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 1, i1, 0]: i0 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 1, i1, 0]: i0 % 2 = 1 }"
       }
    ]
 }
index 44d71a3..5f89385 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 1]: i1 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 1]: i1 % 2 = 1 }"
       }
    ]
 }
index 9bfd4aa..49310ba 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, -i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 1]: i1 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, -i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 1]: i1 % 2 = 1 }"
       }
    ]
 }
index ee1c3dd..e77750a 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i1, 0, i0, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i1, 1, -i0, 0]: i1 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i1, 0, i0, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i1, 1, -i0, 0]: i1 % 2 = 1 }"
       }
    ]
 }
index 8a8678a..57baa66 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[1, i0, 0, i1, 0]: i0 % 2 = 1 }"
+         "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> [1, i0, 0, i1, 0]: i0 % 2 = 1 }"
       }
    ]
 }
index 7f4fb66..d29a49d 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 511 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 034183d..78903fb 100644 (file)
@@ -19,7 +19,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 424137c..38cd08d 100644 (file)
@@ -19,7 +19,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 034183d..78903fb 100644 (file)
@@ -19,7 +19,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 320c3cb..7ca7b67 100644 (file)
@@ -19,7 +19,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 180c44f..c34536b 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+         "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
       }
    ]
 }
index 0894776..1e36572 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+         "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
       }
    ]
 }
index e1fa4ed..1620b50 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
          "name" : "Stmt_for_body3",
-         "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+         "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
       }
    ]
 }
index 4742285..3014bb1 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 0a33fe8..e6c89ce 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 88fafec..1e59614 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       },
       {
          "accesses" : [
@@ -22,7 +22,7 @@
          ],
          "domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body7",
-         "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
       }
    ]
 }
index b1808f1..7aa970c 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       },
       {
          "accesses" : [
@@ -22,7 +22,7 @@
          ],
          "domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body7",
-         "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 56289bf..5c3293b 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body7",
-         "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 6152943..fcaa561 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
          "name" : "Stmt_for_body7",
-         "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 0fe6461..d78df95 100644 (file)
@@ -15,7 +15,7 @@
          ],
          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 15 }",
          "name" : "Stmt_for_body",
-         "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+         "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
       }
    ]
 }
index 971f196..7c0742e 100644 (file)
@@ -11,7 +11,7 @@
          ],
          "domain" : "{ Stmt_S[i0] : i0 >= 0 and i0 <= 1023 }",
          "name" : "Stmt_S",
-         "schedule" : "{ Stmt_S[i0] -> scattering[floor(i0/4) * 4, i0] }"
+         "schedule" : "{ Stmt_S[i0] -> [floor(i0/4) * 4, i0] }"
       }
    ]
 }
index fcd78fc..c3ba880 100644 (file)
@@ -4,7 +4,7 @@
        "statements": [{
                "name": "Stmt_do_body",
                "domain": "{ Stmt_do_body[i0] : i0 >= 0 and i0 <= 2147483646 }",
-               "schedule": "{ Stmt_do_body[i0] -> scattering[0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
+               "schedule": "{ Stmt_do_body[i0] -> [0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
                "accesses": [{
                        "kind": "write",
                        "relation": "{ Stmt_do_body[i0] -> MemRef_A[0] }"
index 6f5778b..55eb366 100644 (file)
@@ -58,7 +58,7 @@ return:                                           ; preds = %bb.nph8, %bb3, %ent
 ; CHECK:          Domain :=
 ; CHECK:              [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N and N >= 0 };
 ; CHECK:          Scattering :=
-; CHECK:              [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK:              [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
 ; CHECK:          MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:              [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[i0 + 128i1] };
 ; CHECK:  }
index 3c2fe35..1977c07 100644 (file)
@@ -57,7 +57,7 @@ return:                                           ; preds = %bb3, %entry
 ; CHECK:         Domain :=
 ; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N - i0 and i0 <= 1 + 5N };
 ; CHECK:         Scattering :=
-; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
 ; CHECK:         MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[129i0 + 128i1] };
 ; CHECK: }
index f686c78..1a0e25d 100644 (file)
@@ -68,7 +68,7 @@ return:                                           ; preds = %bb3, %entry
 ; CHECK:         Domain :=
 ; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 10 + 5N - 6M - 4i0 and 4i0 <= 10 + 5N - 6M };
 ; CHECK:         Scattering :=
-; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
 ; CHECK:         MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:             [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[-1152 + 768M + 897i0 + 128i1] };
 ; CHECK: }
index d72316c..08e2ca7 100644 (file)
@@ -53,7 +53,7 @@ bb2:                                              ; preds = %bb, %entry
 ; CHECK:             Domain :=
 ; CHECK:                 [n] -> { Stmt_bb_nph[] : n >= 2 };
 ; CHECK:             Scattering :=
-; CHECK:                 [n] -> { Stmt_bb_nph[] -> scattering[0, 0] };
+; CHECK:                 [n] -> { Stmt_bb_nph[] -> [0, 0] };
 ; CHECK:             ReadAccess :=
 ; CHECK:                 [n] -> { Stmt_bb_nph[] -> MemRef_a[0] };
 ; CHECK:             MustWriteAccess :=
@@ -64,7 +64,7 @@ bb2:                                              ; preds = %bb, %entry
 ; CHECK:             Domain :=
 ; CHECK:                 [n] -> { Stmt_bb[i0] : i0 >= 0 and i0 <= -2 + n and n >= 2 };
 ; CHECK:             Scattering :=
-; CHECK:                 [n] -> { Stmt_bb[i0] -> scattering[1, i0] };
+; CHECK:                 [n] -> { Stmt_bb[i0] -> [1, i0] };
 ; CHECK:             ReadAccess :=
 ; CHECK:                 [n] -> { Stmt_bb[i0] -> MemRef__reg2mem[0] };
 ; CHECK:             ReadAccess :=
index 964724a..32ddc89 100644 (file)
@@ -19,7 +19,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain :=
 ; CHECK:   [n] -> { Stmt_for_i[i0] : i0 >= 0 and i0 <= -1 + n };
 ; CHECK: Scattering :=
-; CHECK:   [n] -> { Stmt_for_i[i0] -> scattering[i0] };
+; CHECK:   [n] -> { Stmt_for_i[i0] -> [i0] };
 ; CHECK: MustWriteAccess :=
 ; CHECK:   [n] -> { Stmt_for_i[i0] -> MemRef_A[i0, i0] };
 
index 176cbfe..340b408 100644 (file)
@@ -19,7 +19,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK:          Domain :=
 ; CHECK:              [m, p] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= -1 + m };
 ; CHECK:          Scattering :=
-; CHECK:              [m, p] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK:              [m, p] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
 ; CHECK:          MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:              [m, p] -> { Stmt_for_j[i0, i1] -> MemRef_A[p + i0, i1] };
 ; CHECK:  }
index f19d649..548d4c1 100644 (file)
@@ -17,7 +17,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK:         Domain :=
 ; CHECK:             [m] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= 149 };
 ; CHECK:         Scattering :=
-; CHECK:             [m] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK:             [m] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
 ; CHECK:         MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:             [m] -> { Stmt_for_j[i0, i1] -> MemRef_A[i0, i1] };
 
index 08a17d7..1cd3fca 100644 (file)
@@ -19,7 +19,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK:           Domain :=
 ; CHECK:               [m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= 149 and i2 >= 0 and i2 <= 199 };
 ; CHECK:           Scattering :=
-; CHECK:               [m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:               [m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK:           MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:               [m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
 
index d275457..92e1c07 100644 (file)
@@ -21,7 +21,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -4 + n and i1 >= 0 and i1 <= -5 + m and i2 >= 0 and i2 <= -8 + o };
 ; CHECK: Scattering
-; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: MustWriteAccess
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] };
 
index 8b17ab0..d1d66f1 100644 (file)
@@ -28,7 +28,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:   [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
 ; CHECK: Scattering
-; CHECK:   [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: MustWriteAccess
 ; CHECK:   [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[p + i0, q + i1, r + i2] };
 
index bd78a76..30e0660 100644 (file)
@@ -18,7 +18,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -4 + n and i1 >= 0 and i1 <= -5 + m and i2 >= 0 and i2 <= -8 + o };
 ; CHECK: Scattering
-; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: MustWriteAccess
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] };
 
index 1c8b363..1556e22 100644 (file)
@@ -19,7 +19,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:   [n, m] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m };
 ; CHECK: Scattering
-; CHECK:   [n, m] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK:   [n, m] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
 ; CHECK: MustWriteAccess
 ; CHECK:   [n, m] -> { Stmt_for_j[i0, i1] -> MemRef_A[i0, i1] };
 
index 6d682a7..8641e86 100644 (file)
@@ -20,7 +20,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
 ; CHECK: Scattering
-; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: WriteAccess
 ; CHECK:   [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
 
index 2dd2f1b..e7fd154 100644 (file)
@@ -24,7 +24,7 @@
 ; CHECK: Domain
 ; CHECK:   [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
 ; CHECK: Scattering
-; CHECK:   [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: WriteAccess
 ; CHECK:   [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
 
index babe759..199a2e2 100644 (file)
@@ -25,7 +25,7 @@ target triple = "x86_64-unknown-linux-gnu"
 ; CHECK: Domain
 ; CHECK:  [n, o, m] -> { Stmt_for_j[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + o and i2 >= 0 and i2 <= -1 + m };
 ; CHECK: Scattering
-; CHECK:   [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK:   [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> [i0, i1, i2] };
 ; CHECK: WriteAccess
 ; CHECK:   [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> MemRef_A[i0, i2, i1] };
 
index d78f18c..e51ba0f 100644 (file)
@@ -30,7 +30,7 @@ for.end:
 ; CHECK: Domain
 ; CHECK:   [n] -> { Stmt_for_body[i0] : i0 >= 0 and i0 <= -1 + n };
 ; CHECK: Scattering
-; CHECK:   [n] -> { Stmt_for_body[i0] -> scattering[i0] };
+; CHECK:   [n] -> { Stmt_for_body[i0] -> [i0] };
 ; CHECK: ReadAccess
 ; CHECK:   [n] -> { Stmt_for_body[i0] -> MemRef_INDEX[i0] };
 ; CHECK: WriteAccess
index 5392b94..440046a 100644 (file)
@@ -44,6 +44,6 @@ return:
 ; CHECK:              (P >= 1 and i0 >= 0 and i0 <= -1 + N)
 ; CHECK:                   };
 ; CHECK:        Scattering :=
-; CHECK:            [N, P] -> { Stmt_store[i0] -> scattering[i0] };
+; CHECK:            [N, P] -> { Stmt_store[i0] -> [i0] };
 ; CHECK:        MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:            [N, P] -> { Stmt_store[i0] -> MemRef_a[i0] };
index 5541b4c..9a18d67 100644 (file)
@@ -34,7 +34,7 @@ return:
 ; CHECK:       Domain :=
 ; CHECK:           [N] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + N };
 ; CHECK:       Scattering :=
-; CHECK:           [N] -> { Stmt_S1[i0] -> scattering[i0, 0] };
+; CHECK:           [N] -> { Stmt_S1[i0] -> [i0, 0] };
 ; CHECK:       ReadAccess :=
 ; CHECK:           [N] -> { Stmt_S1[i0] -> MemRef_a[i0] };
 ; CHECK:       MustWriteAccess :=
@@ -43,7 +43,7 @@ return:
 ; CHECK:       Domain :=
 ; CHECK:           [N] -> { Stmt_S2[i0] : i0 >= 0 and i0 <= -1 + N };
 ; CHECK:       Scattering :=
-; CHECK:           [N] -> { Stmt_S2[i0] -> scattering[i0, 1] };
+; CHECK:           [N] -> { Stmt_S2[i0] -> [i0, 1] };
 ; CHECK:       ReadAccess :=
 ; CHECK:           [N] -> { Stmt_S2[i0] -> MemRef_val[] };
 ; CHECK:       MustWriteAccess :=
index 10d248b..90de89d 100644 (file)
@@ -32,6 +32,6 @@ return:                                           ; preds = %bb, %entry
 ; CHECK:        Domain :=
 ; CHECK:            [N] -> { Stmt_bb[i0] : i0 >= 0 and i0 <= -1 + N };
 ; CHECK:        Scattering :=
-; CHECK:            [N] -> { Stmt_bb[i0] -> scattering[i0] };
+; CHECK:            [N] -> { Stmt_bb[i0] -> [i0] };
 ; CHECK:        MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:            [N] -> { Stmt_bb[i0] -> MemRef_a[i0] };
index 407ede9..9cfd458 100644 (file)
@@ -42,6 +42,6 @@ return:
 ; CHECK:              i0 >= 0 and i0 <= -1 + N and P >= 42
 ; CHECK:                   };
 ; CHECK:        Scattering :=
-; CHECK:            [N, P] -> { Stmt_store[i0] -> scattering[i0] };
+; CHECK:            [N, P] -> { Stmt_store[i0] -> [i0] };
 ; CHECK:        MustWriteAccess := [Reduction Type: NONE]
 ; CHECK:            [N, P] -> { Stmt_store[i0] -> MemRef_a[i0] };