[llvm] [EarlyIfConversion] Determine if branch is predictable using new APIs. (PR #95877)

[Mikhail Gudim via llvm-commits]

mgudim wrote:

> I think the direction in general looks good for adjusting the TTI interface. But I think checking for `isLoopInvariant` is too strict, as in the motivating cases the load is not loop invariant as it may alias the stores, so I'd expect tests to fail with #95632?

@fhahn I worked on https://github.com/llvm/llvm-project/pull/95632 and it turns out not so easy. Can we merge this change and then I can work on incorporating https://github.com/llvm/llvm-project/pull/95632 into this later?

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