| { |
| "arrays" : [ |
| { |
| "name" : "MemRef_A", |
| "sizes" : [ "*", "1024" ], |
| "type" : "double" |
| }, |
| { |
| "name" : "MemRef_B", |
| "sizes" : [ "*", "1056" ], |
| "type" : "double" |
| }, |
| { |
| "name" : "D", |
| "sizes" : [ "270336" ], |
| "type" : "double", |
| "allocation" : "heap" |
| }, |
| { |
| "name" : "E", |
| "sizes" : [ "270336", "200000" ], |
| "type" : "double", |
| "allocation" : "heap" |
| }, |
| { |
| "name" : "F", |
| "sizes" : [ "270336" ], |
| "type" : "i64", |
| "allocation" : "heap" |
| } |
| ], |
| "context" : "{ : }", |
| "location" : "pure_c_main.c:11-16", |
| "name" : "%for.cond1.preheader---%for.end18", |
| "statements" : [ |
| { |
| "accesses" : [ |
| { |
| "kind" : "read", |
| "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 4i2] }" |
| }, |
| { |
| "kind" : "read", |
| "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_beta[] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }" |
| }, |
| { |
| "kind" : "read", |
| "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 1 + 4i2] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }" |
| }, |
| { |
| "kind" : "read", |
| "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 2 + 4i2] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }" |
| }, |
| { |
| "kind" : "read", |
| "relation" : "{ Stmt2[i0, i1, i2] -> E[i0, 3 + 4i2] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "{ Stmt2[i0, i1, i2] -> MemRef_B[i0, i1] }" |
| } |
| ], |
| "domain" : "{ Stmt2[i0, i1, i2] : 0 <= i0 <= 1055 and 0 <= i1 <= 1055 and 0 <= i2 <= 255 }", |
| "name" : "Stmt2", |
| "schedule" : "{ Stmt2[i0, i1, i2] -> [i0, i1, i2] }" |
| } |
| ] |
| } |