API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Mar 6th, 2020
151
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 119.54 KB | None | 0 0
raw download clone embed print report
  1. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(83,39): remark: SCoP begins here. [-Rpass-analysis=polly-scops]
  2. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(105,5): remark: Use user assumption: { : } [-Rpass-analysis=polly-scops]
  3. assert((w == 4 || w == 8) && (h == 4 || h == 8));
  4. ^
  5. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(105,5): remark: Use user assumption: { : } [-Rpass-analysis=polly-scops]
  6. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - p_0 - 32p_6 - p_7 - 16p_10 - 2p_12 } [-Rpass-analysis=polly-scops]
  7. cdef_filter_block_c(pixel *dst, const ptrdiff_t dst_stride,
  8. ^
  9. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - p_0 - 32p_6 - p_7 - 16p_10 - 2p_12 } [-Rpass-analysis=polly-scops]
  10. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 - 16p_10 - 2p_12 } [-Rpass-analysis=polly-scops]
  11. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 - 16p_10 - 2p_12 } [-Rpass-analysis=polly-scops]
  12. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 - 16p_10 } [-Rpass-analysis=polly-scops]
  13. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 - 16p_10 } [-Rpass-analysis=polly-scops]
  14. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 } [-Rpass-analysis=polly-scops]
  15. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 12p_15 >= 4611686018427387878 - 32p_6 - p_7 } [-Rpass-analysis=polly-scops]
  16. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_6 >= 144115188075855872 } [-Rpass-analysis=polly-scops]
  17. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_10 >= 288230376151711744 } [-Rpass-analysis=polly-scops]
  18. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_12 >= 2305843009213693952 } [-Rpass-analysis=polly-scops]
  19. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 4611686018427387904 } [-Rpass-analysis=polly-scops]
  20. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  21. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_0 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_0 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_0 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  22. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  23. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 - p_3 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 + p_3 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + p_3 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  24. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  25. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and p_13 <= 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 <= -9223372036854775809 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 <= p_13 <= 23 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_14 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) >= -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 24 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12 < p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= 9223372036854775809 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) >= -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and -23 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 <= 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775785 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) < -192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((-1 + 8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775832 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) >= 9223372036854775809 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -24 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13 and 24*floor((8p_6 + p_7 - p_8 - 8p_10 + 2p_12 + p_13)/24) <= -9223372036854775808 + 8p_6 + p_7 - 8p_10 + 2p_12 + p_14)) } [-Rpass-analysis=polly-scops]
  26. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 2p_12 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 2p_12 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12)) } [-Rpass-analysis=polly-scops]
  27. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 2p_12 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and 2p_12 >= 9223372036854775808 + 192p_4 - 32p_6 - p_7 - 16p_10) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775808 - 192p_4 + 32p_6 + p_7 + 16p_10 + 2p_12)) } [-Rpass-analysis=polly-scops]
  28. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 >= 384 - 32p_6 - p_7 + p_8 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + 32p_6 + p_7 + 16p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and 16p_10 >= 9223372036854775808 - 32p_6 - p_7)) } [-Rpass-analysis=polly-scops]
  29. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 >= 384 - 32p_6 - p_7 + p_8 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + 32p_6 + p_7 + 16p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and 16p_10 >= 9223372036854775808 - 32p_6 - p_7)) } [-Rpass-analysis=polly-scops]
  30. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_7 >= 9223372036854775808 - 32p_6 } [-Rpass-analysis=polly-scops]
  31. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_7 >= 9223372036854775808 - 32p_6 } [-Rpass-analysis=polly-scops]
  32. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_9 >= 9223372036854776064 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  33. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 9223372036854775872 - 32p_6 - p_7 + p_8 - 16p_10) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775872 + 32p_6 + p_7 - p_8 + 16p_10 + p_11)) } [-Rpass-analysis=polly-scops]
  34. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 9223372036854775824 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and -32p_6 - p_7 + p_8 - 16p_10 <= p_11 <= 191 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= 9223372036854775824 + 192p_4 - 32p_6 - p_7 + p_8 - 16p_10 - 2p_12) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 < -32p_6 - p_7 + p_8 - 16p_10 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775824 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775801 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_13 < -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775801 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_11 >= -32p_6 - p_7 + p_8 - 16p_10 and -191 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 <= 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775824 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_11 >= 192 - 32p_6 - p_7 + p_8 - 16p_10 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775824 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13) or (p_9 >= 384 - 32p_6 - p_7 + p_8 and p_13 >= -8p_6 - p_7 + p_8 + 8p_10 - 2p_12 and 384*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -192 + 32p_6 + p_7 - p_8 + 16p_10 + p_11 and 192*floor((32p_6 + p_7 - p_8 + 16p_10 + p_11)/192) <= -9223372036854775824 - 192p_4 + 32p_6 + p_7 - p_8 + 16p_10 + 2p_12 + p_13)) } [-Rpass-analysis=polly-scops]
  35. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (p_13 <= -9223372036854775809 - 8p_6 - p_7 + p_8 + 8p_10 - 2p_12 or p_13 >= 9223372036854775808 - 8p_6 - p_7 + p_8 + 8p_10 - 2p_12) } [-Rpass-analysis=polly-scops]
  36. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (p_13 <= -9223372036854775809 - 8p_6 - p_7 + p_8 + 8p_10 - 2p_12 or p_13 >= 9223372036854775808 - 8p_6 - p_7 + p_8 + 8p_10 - 2p_12) } [-Rpass-analysis=polly-scops]
  37. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (2p_12 <= -9223372036854775809 - 8p_6 - p_7 + p_8 + 8p_10 or 2p_12 >= 9223372036854775808 - 8p_6 - p_7 + p_8 + 8p_10) } [-Rpass-analysis=polly-scops]
  38. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (2p_12 <= -9223372036854775809 - 8p_6 - p_7 + p_8 + 8p_10 or 2p_12 >= 9223372036854775808 - 8p_6 - p_7 + p_8 + 8p_10) } [-Rpass-analysis=polly-scops]
  39. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (8p_10 >= 9223372036854775809 + 8p_6 + p_7 - p_8 or 8p_10 <= -9223372036854775808 + 8p_6 + p_7 - p_8) } [-Rpass-analysis=polly-scops]
  40. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and (8p_10 >= 9223372036854775809 + 8p_6 + p_7 - p_8 or 8p_10 <= -9223372036854775808 + 8p_6 + p_7 - p_8) } [-Rpass-analysis=polly-scops]
  41. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_8 <= -9223372036854775808 + 8p_6 + p_7 } [-Rpass-analysis=polly-scops]
  42. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_8 <= -9223372036854775808 + 8p_6 + p_7 } [-Rpass-analysis=polly-scops]
  43. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_6 >= 1152921504606846976 } [-Rpass-analysis=polly-scops]
  44. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_10 >= 1152921504606846977 } [-Rpass-analysis=polly-scops]
  45. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_12 >= 4611686018427387904 } [-Rpass-analysis=polly-scops]
  46. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 >= 384 - 32p_6 - p_7 + p_8 and 16*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_6 + p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_10 >= 9223372036854775808 - p_6)) } [-Rpass-analysis=polly-scops]
  47. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and ((p_9 >= 384 - 32p_6 - p_7 + p_8 and 16*floor((32p_6 + p_7 - p_8 + p_9)/384) <= -9223372036854775808 + p_6 + p_10) or (p_9 <= 383 - 32p_6 - p_7 + p_8 and p_10 >= 9223372036854775808 - p_6)) } [-Rpass-analysis=polly-scops]
  48. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_9 >= 221360928884514619776 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  49. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_11 >= 9223372036854775808 - 32p_6 - p_7 + p_8 - 16p_10 } [-Rpass-analysis=polly-scops]
  50. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_11 >= 9223372036854775808 - 32p_6 - p_7 + p_8 - 16p_10 } [-Rpass-analysis=polly-scops]
  51. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 16p_10 >= 9223372036854775808 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  52. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and 16p_10 >= 9223372036854775808 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  53. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_10 >= 576460752303423488 } [-Rpass-analysis=polly-scops]
  54. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_9 >= 9223372036854775808 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  55. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_9 >= 9223372036854775808 - 32p_6 - p_7 + p_8 } [-Rpass-analysis=polly-scops]
  56. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_8 <= -9223372036854775808 + 32p_6 + p_7 } [-Rpass-analysis=polly-scops]
  57. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_8 <= -9223372036854775808 + 32p_6 + p_7 } [-Rpass-analysis=polly-scops]
  58. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 >= 0 and p_6 >= 288230376151711744 } [-Rpass-analysis=polly-scops]
  59. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: Finite loop restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 < 0 } [-Rpass-analysis=polly-scops]
  60. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 = 9223372036854775807 } [-Rpass-analysis=polly-scops]
  61. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 = 9223372036854775807 } [-Rpass-analysis=polly-scops]
  62. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 = 9223372036854775807 } [-Rpass-analysis=polly-scops]
  63. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(98,1): remark: No-overflows restriction: [p_0, p_1, p_2, p_3, p_4, p_5, p_6, p_7, p_8, p_9, p_10, p_11, p_12, p_13, p_14, p_15] -> { : p_0 = 9223372036854775807 } [-Rpass-analysis=polly-scops]
  64. ../../third_party/dav1d/libdav1d/src/cdef_tmpl.c(83,39): remark: SCoP ends here. [-Rpass-analysis=polly-scops]
  65. tmp[x + y * tmp_stride] = top[x];
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!