llvm / llvm-project / 0c1b18f0f3e526da7dcbbd5a9e363dca85a90c95 / . / polly / test / JSONExporter / ImportSchedule / is4___%for.cond---%for.end10.jscop

{ | |

"context" : "[n] -> { : n >= -2147483648 and n <= 2147483647 }", | |

"name" : "for.cond => for.end10", | |

"statements" : [ | |

{ | |

"accesses" : [ | |

{ | |

"kind" : "read", | |

"relation" : "[n] -> { Stmt_S0[i0] -> MemRef_A[0] }" | |

}, | |

{ | |

"kind" : "write", | |

"relation" : "[n] -> { Stmt_S0[i0] -> MemRef_A[0] }" | |

} | |

], | |

"domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }", | |

"name" : "Stmt_S0", | |

"schedule" : "[n] -> { Stmt_S0[i0] -> [0, n - i0, 0] }" | |

}, | |

{ | |

"accesses" : [ | |

{ | |

"kind" : "write", | |

"relation" : "[n] -> { Stmt_S1[i0] -> MemRef_A[1 + i0] }" | |

} | |

], | |

"domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }", | |

"name" : "Stmt_S1", | |

"schedule" : "[] -> { Stmt_S1[i0] -> [1, n - i0, 0] }" | |

} | |

] | |

} |