Sign in
cobalt
/
cobalt
/
3cd5432aaed8f14f27f66ade1b51aa71df939492
/
.
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
disjuncts2.st
blob: d0170a68525986d80d539afff5da648c7024d5de [
file
] [
log
] [
blame
]
# Check that the loop is generated only once with an outer disjunctive condition
domain
:
"[N, Q, P] -> { S[i0] : 0 <= i0 < N and (P > Q or P < Q) }"
child
:
schedule
:
"[N, Q, P] -> [{ S[i0] -> [(i0)] }]"