[llvm] [BasicAA] Treat returns_twice functions as clobbering unescaped objects (PR #117902)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Sat Oct 18 14:46:15 PDT 2025


nikic wrote:

MemCpyOpt already uses BatchAA with EarliestEscapeAnalysis. I tried dropping callCapturesBefore() in https://github.com/llvm/llvm-project/pull/110484, but there were enough regressions on llvm-opt-benchmarks that I decided to keep it for now.

(We could remove callCapturesBefore while keeping its additional precision by adding a CaptureAnalysis using CapturesBefore, possibly in conjunction with support for "chained" capture analysis where we try EarliestEscapeAnalysis before falling back to CatpuresBeforeAnalysis.)

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


More information about the llvm-commits mailing list