nikic wrote: > Also, any insight on how to make the equivalent change to the attributor? Does it need any changes? I'd expect that Attributor uses CaptureTracking, which already handles this. https://github.com/llvm/llvm-project/pull/68453