[clang-repl] [codegen] Reduce the state in TBAA. NFC for static compilation. (#98138)
[llvm-project.git] / polly / lib / External / isl / test_inputs / schedule / flat5.sc
blobfdee69a46d72b8c0e8b4bb40665bc58b4ae3b5bc
1 # Check that a fixed value of one dimension in terms of the others
2 # does not cause loop coalescing avoidance to break down.
3 domain: { S[a, b] : b >= 0 and a -10b >= 0 and -a + b + 9 >= 0 }