test/Simplify/identical_3phi___%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_phi1__phi[] }"
  17             },
  18             {
  19                "kind" : "write",
  20                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_phi2__phi[] }"
  21             },
  22             {
  23                "kind" : "write",
  24                "relation" : "[n] -> { Stmt_body[i0] -> MemRef_phi3__phi[] }"
  25             }
  26          ],
  27          "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
  28          "name" : "Stmt_body",
  29          "schedule" : "[n] -> { Stmt_body[i0] -> [i0, 0] }"
  30       },
  31       {
  32          "accesses" : [
  33             {
  34                "kind" : "read",
  35                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_phi1__phi[] }"
  36             },
  37             {
  38                "kind" : "read",
  39                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_phi2__phi[] }"
  40             },
  41             {
  42                "kind" : "read",
  43                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_phi3__phi[] }"
  44             },
  45             {
  46                "kind" : "write",
  47                "relation" : "[n] -> { Stmt_user[i0] -> MemRef_A[0] }"
  48             }
  49          ],
  50          "domain" : "[n] -> { Stmt_user[i0] : 0 <= i0 < n }",
  51          "name" : "Stmt_user",
  52          "schedule" : "[n] -> { Stmt_user[i0] -> [i0, 1] }"
  53       }
  54    ]
  55 }