[llvm] [DA] runtime predicates for delinearization bounds checks (PR #170713)

[Ryotaro Kasuga via llvm-commits]

https://github.com/kasuga-fj commented:

High level thought: I think the runtime prediction feature should be removed for now, and re-introduced after the functionality like `BatchDA` is implemented. Current implementation looks a bit ugly to me, since each time the `depends` is invoked, same predicates will keep getting added. Probably a better design would be to use a single set of assumptions throughout the analysis.

https://github.com/llvm/llvm-project/pull/170713