polly/test/CodeGen/exprModDiv___%for.cond---%for.end.jscop

   1 {
   2    "context" : "[N, p] -> {  : N >= -9223372036854775808 and N <= 9223372036854775807 and p >= -9223372036854775808 and p <= 9223372036854775807 and (p % 127) = 0}",
   3    "name" : "for.cond => for.end",
   4    "statements" : [
   5       {
   6          "accesses" : [
   7             {
   8                "kind" : "read",
   9                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[i0 % 127] }"
  10             },
  11             {
  12                "kind" : "read",
  13                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[floor(i0 / 127)] }"
  14             },
  15             {
  16                "kind" : "read",
  17                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[p % 127] }"
  18             },
  19             {
  20                "kind" : "read",
  21                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[floor(p / 127)] }"
  22             },
  23             {
  24                "kind" : "read",
  25                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }"
  26             },
  27             {
  28                "kind" : "write",
  29                "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }"
  30             }
  31          ],
  32          "domain" : "[N, p] -> { Stmt_for_body[i0] : i0 >= 0 and N >= 1 and i0 <= -1 + N }",
  33          "name" : "Stmt_for_body",
  34          "schedule" : "[N, p] -> { Stmt_for_body[i0] -> [i0] }"
  35       }
  36    ]
  37 }