[llvm] [llvm] Use LazyValueInfo to improve llvm.objectsize computation (PR #114673)

[Harald van Dijk via llvm-commits]

hvdijk wrote:

> I'll update the patch to not use assumptions, that's already a strict improvement.

That is a good idea, we can always add assumptions in a later follow-up PR if we do want them. This approach looks good, thanks, just left a small comment about handling overflow but that should not change the main idea of your PR.

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