[swift-dev] Proposal: Opaque SIL values

[Chris Lattner]

> On Jan 24, 2017, at 11:10 AM, Andrew Trick via swift-dev <swift-dev at swift.org> wrote:
> 
> I’m sending out a proposal for fundamentally changing SIL. This work feeds into generic code optimization, resilience, semantic ARC, and SIL ownership. This was discussed at length back in October—some info went out on swift-dev—but I realized there hasn’t been a formal proposal. So here it is. I want to make sure enough people have seen this before pushing my PR that puts the infrastructure in place: https://github.com/apple/swift/pull/6922 <https://github.com/apple/swift/pull/6922>.
> 
> Rendered Proposal: https://gist.github.com/atrick/38063a90bf4a6ebae05fe83ea9ebc0b7' <https://gist.github.com/atrick/38063a90bf4a6ebae05fe83ea9ebc0b7'>
This is great Andy, thanks for pushing it forward.  One question: are you concerned at all that the SSA representation of address only values will make it “too easy” for the optimizer to reorder instruction such that a lot more temporary values will been needed in lowering?

-Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170124/96822062/attachment.html>