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