1{ 2 "context" : "[n] -> { : n >= -2147483648 and n <= 2147483647 }", 3 "name" : "for.cond => for.end10", 4 "statements" : [ 5 { 6 "accesses" : [ 7 { 8 "kind" : "read", 9 "relation" : "[n] -> { Stmt_S0[i0] -> MemRef_A[0] }" 10 }, 11 { 12 "kind" : "write", 13 "relation" : "[n] -> { Stmt_S0[i0] -> MemRef_A[0] }" 14 } 15 ], 16 "domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }", 17 "name" : "Stmt_S0", 18 "schedule" : "[n] -> { Stmt_S0[i0] -> [0, i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, i0, 0]: i0 % 2 = 1 }" 19 }, 20 { 21 "accesses" : [ 22 { 23 "kind" : "write", 24 "relation" : "[n] -> { Stmt_S1[i0] -> MemRef_A[1 + i0] }" 25 } 26 ], 27 "domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }", 28 "name" : "Stmt_S1", 29 "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }" 30 } 31 ] 32} 33