xref: /llvm-project/polly/test/Simplify/overwritten_3phi___%for---%return.jscop (revision fa7be88378ef84e41b559323cbb9571678240056) 
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}
56