[polly] [Polly] Remove PolyhedralInfo (PR #124437)

[Sebastian Pop via llvm-commits]

sebpop wrote:

> Its power is limited due to not being able to make assumptions for which regular Polly would emit a runtime condition/code versioning during optimization.
> 
> When eventually porting such an API to the new pass manager, we will have to invent a new API.

What about adopting the same interface as DA uses for runtime assumptions: SCEVPredicate can be used to pass down to the user all runtime assumptions, and the user can decide whether to version or not based on how complex the assumptions are.

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