[llvm] [AA] Take read-only provenance captures into account (PR #143097)

[Antonio Frighetto via llvm-commits]

antoniofrighetto wrote:

> Ideally we would also apply the same reasoning for escape sources, but the current API cannot actually convey the necessary information (we can only say NoAlias or MayAlias, not MayAlias but only via Ref).

Would it be conceivable to extend escape analysis API to leverage CaptureComponents, and if so, would that be particularly worthwhile?

Also, this might have been discussed in a related PR – sorry if it is a vexata quaestio –, why cannot we employ getCapturesBefore for AA usage within LICM as well (now that switched it to return CaptureComponents)? I’d expect that to be beneficial as being more specialized (if I understood this correctly)?

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