> On Jan 2, 2018, at 7:00 PM, Joe Groff <jgr...@apple.com> wrote:
> 
> 
> 
>> On Dec 30, 2017, at 11:23 AM, Michael Gottesman via swift-dev 
>> <swift-dev@swift.org> wrote:
>> 
>> No. A parameter's convention is ABI. You don't want to change ABI related 
>> things like that via escape analysis since it means that as a function 
>> changes, due to the optimizer, the ABI can change =><=. *BUT* recently Adam 
>> Nemet has added support for LLVM's opt remark infrastructure to Swift. 
>> Something like that /could/ provide suggestions when it is run that this 
>> might be a profitable parameter to change from +0 to +1 or vis-a-versa. Then 
>> the user could make that change via annotation. Keep in mind that this would 
>> most likely be an ABI breaking change.
> 
> ABI only matters at public entry points for ABI-stable binaries. We can do 
> this sort of analysis freely within modules, or in a hypothetical 
> multi-module-optimization mode.

Sure. We were talking in the general case though which does include public 
entry points of ABI-stable binaries. So my statement was correct.

Michael

> 
> -Joe

_______________________________________________
swift-dev mailing list
swift-dev@swift.org
https://lists.swift.org/mailman/listinfo/swift-dev

Reply via email to