1*35f70200SMichael Kruse{ 2*35f70200SMichael Kruse "context" : "[N, p] -> { : N >= -9223372036854775808 and N <= 9223372036854775807 and p >= -9223372036854775808 and p <= 9223372036854775807 and (p % 127) = 0}", 3*35f70200SMichael Kruse "name" : "for.cond => for.end", 4*35f70200SMichael Kruse "statements" : [ 5*35f70200SMichael Kruse { 6*35f70200SMichael Kruse "accesses" : [ 7*35f70200SMichael Kruse { 8*35f70200SMichael Kruse "kind" : "read", 9*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[i0 % 127] }" 10*35f70200SMichael Kruse }, 11*35f70200SMichael Kruse { 12*35f70200SMichael Kruse "kind" : "read", 13*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[floor(i0 / 127)] }" 14*35f70200SMichael Kruse }, 15*35f70200SMichael Kruse { 16*35f70200SMichael Kruse "kind" : "read", 17*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[p % 127] }" 18*35f70200SMichael Kruse }, 19*35f70200SMichael Kruse { 20*35f70200SMichael Kruse "kind" : "read", 21*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[floor(p / 127)] }" 22*35f70200SMichael Kruse }, 23*35f70200SMichael Kruse { 24*35f70200SMichael Kruse "kind" : "read", 25*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }" 26*35f70200SMichael Kruse }, 27*35f70200SMichael Kruse { 28*35f70200SMichael Kruse "kind" : "write", 29*35f70200SMichael Kruse "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }" 30*35f70200SMichael Kruse } 31*35f70200SMichael Kruse ], 32*35f70200SMichael Kruse "domain" : "[N, p] -> { Stmt_for_body[i0] : i0 >= 0 and N >= 1 and i0 <= -1 + N }", 33*35f70200SMichael Kruse "name" : "Stmt_for_body", 34*35f70200SMichael Kruse "schedule" : "[N, p] -> { Stmt_for_body[i0] -> [i0] }" 35*35f70200SMichael Kruse } 36*35f70200SMichael Kruse ] 37*35f70200SMichael Kruse} 38