brintos / llvm-project-archived public Read only

1sink: "{ S[] -> a[] }"2must_source: "{ T[] -> a[] }"3schedule:4  domain: "{ S[]; T[] }"5  child:6    sequence:7    - filter: "{ T[] }"8    - filter: "{ S[] }"9