1{ 2 "context" : "{ : }", 3 "name" : "for.cond => for.end", 4 "statements" : [ 5 { 6 "accesses" : [ 7 { 8 "kind" : "read", 9 "relation" : "{ Stmt_for_body[i0] -> MemRef_A[i0] }" 10 }, 11 { 12 "kind" : "read", 13 "relation" : "{ Stmt_for_body[i0] -> MemRef_A[-1 + i0] }" 14 }, 15 { 16 "kind" : "write", 17 "relation" : "{ Stmt_for_body[i0] -> MemRef_A[13] }" 18 } 19 ], 20 "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }", 21 "name" : "Stmt_for_body", 22 "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }" 23 } 24 ] 25} 26