test/Simplify/overwritten_implicit_and_explicit___%for---%return.jscop.transformed

   1 {
   2    "arrays" : [
   3       {
   4          "name" : "MemRef_A",
   5          "sizes" : [ "*" ],
   6          "type" : "double"
   7       },
   8       {
   9          "name" : "MemRef_C",
  10          "sizes" : [ "*" ],
  11          "type" : "double"
  12       }
  13    ],
  14    "context" : "[n] -> {  : -2147483648 <= n <= 2147483647 }",
  15    "name" : "%for---%return",
  16    "statements" : [
  17       {
  18          "accesses" : [
  19             {
  20                "kind" : "write",
  21                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
  22             },
  23             {
  24                "kind" : "write",
  25                "relation" : "[n] -> { Stmt_body[i0] ->  MemRef_A[0] }"
  26             }
  27          ],
  28          "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
  29          "name" : "Stmt_body",
  30          "schedule" : "[n] -> { Stmt_body[i0] -> [i0, 0] }"
  31       },
  32       {
  33          "accesses" : [
  34             {
  35                "kind" : "write",
  36                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_C[0] }"
  37             },
  38             {
  39                "kind" : "read",
  40                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_val[] }"
  41             }
  42          ],
  43          "domain" : "[n] -> { Stmt_user[i0] : 0 <= i0 < n }",
  44          "name" : "Stmt_user",
  45          "schedule" : "[n] -> { Stmt_user[i0] -> [i0, 1] }"
  46       }
  47    ]
  48 }