1{ 2 "context" : "{ : }", 3 "name" : "for.i => exit", 4 "statements" : [ 5 { 6 "accesses" : [ 7 { 8 "kind" : "write", 9 "relation" : "{ Stmt_S[i0] -> MemRef_A[i0] }" 10 } 11 ], 12 "domain" : "{ Stmt_S[i0] : i0 >= 0 and i0 <= 1023 }", 13 "name" : "Stmt_S", 14 "schedule" : "{ Stmt_S[i0] -> [floor(i0/4) * 4, i0] }" 15 } 16 ] 17} 18