test/Simplify/nocoalesce_readbetween___%for---%return.jscop

   1 {
   2    "arrays" : [
   3       {
   4          "name" : "MemRef_A",
   5          "sizes" : [ "*" ],
   6          "type" : "double"
   7       }
   8    ],
   9    "context" : "[n] -> {  : -2147483648 <= n <= 2147483647 }",
  10    "name" : "%for---%return",
  11    "statements" : [
  12       {
  13          "accesses" : [
  14             {
  15                "kind" : "write",
  16                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
  17             },
  18             {
  19                "kind" : "read",
  20                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
  21             },
  22             {
  23                "kind" : "write",
  24                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
  25             }
  26          ],
  27          "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
  28          "name" : "Stmt_body",
  29          "schedule" : "[n] -> { Stmt_body[i0] -> [i0] }"
  30       }
  31    ]
  32 }