| { |
| "arrays" : [ |
| { |
| "name" : "MemRef_C", |
| "sizes" : [ "*" ], |
| "type" : "double" |
| } |
| ], |
| "context" : "[cols, rows] -> { : -2147483648 <= cols <= 2147483647 and -2147483648 <= rows <= 2147483647 }", |
| "name" : "%for.end103---%for.inc116", |
| "statements" : [ |
| { |
| "accesses" : [ |
| { |
| "kind" : "read", |
| "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_a_dot_b_domain_0_lcssa__phi[] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_C[0] }" |
| }, |
| { |
| "kind" : "write", |
| "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_a_dot_b_domain_0_lcssa[] }" |
| } |
| ], |
| "domain" : "[cols, rows] -> { Stmt_for_end103[] }", |
| "name" : "Stmt_for_end103", |
| "schedule" : "[cols, rows] -> { Stmt_for_end103[] -> [0] }" |
| }, |
| { |
| "accesses" : [ |
| { |
| "kind" : "write", |
| "relation" : "[cols, rows] -> { Stmt_if_then110[] -> MemRef_C[0] }" |
| }, |
| { |
| "kind" : "read", |
| "relation" : "[cols, rows] -> { Stmt_if_then110[] -> MemRef_C[0] }" |
| } |
| ], |
| "domain" : "[cols, rows] -> { Stmt_if_then110[] : cols > 0 and rows > 0 }", |
| "name" : "Stmt_if_then110", |
| "schedule" : "[cols, rows] -> { Stmt_if_then110[] -> [1] }" |
| } |
| ] |
| } |