Re: [swift-dev] Proposal: SILValue SSA Instructions

Are there any more concerns here? The thread has seemed to die down and I would like to begin upstreaming this code if possible. Michael > On Dec 6, 2016, at 2:23 PM, John McCall wrote: > >> On Dec 6, 2016, at 11:35 AM, Joe Groff >

Re: [swift-dev] Proposal: SILValue SSA Instructions

> On Dec 7, 2016, at 2:52 PM, Andrew Trick via swift-dev > wrote: > > >> On Dec 6, 2016, at 2:23 PM, John McCall via swift-dev > > wrote: >> >>> On Dec 6, 2016, at 11:35 AM, Joe Groff >>

Re: [swift-dev] Proposal: SILValue SSA Instructions

> On Dec 6, 2016, at 2:23 PM, John McCall via swift-dev > wrote: > >> On Dec 6, 2016, at 11:35 AM, Joe Groff > > wrote: >>> On Dec 6, 2016, at 11:29 AM, John McCall >> > wrote:

Re: [swift-dev] Proposal: SILValue SSA Instructions

> On Dec 6, 2016, at 11:29 AM, John McCall wrote: > >> On Dec 6, 2016, at 10:17 AM, Joe Groff via swift-dev >> wrote: >>> On Dec 5, 2016, at 4:24 PM, Michael Gottesman via swift-dev >>> wrote: >>> >>> Hello everyone! >>> >>>

Re: [swift-dev] Proposal: SILValue SSA Instructions

> On Dec 6, 2016, at 11:29 AM, John McCall wrote: > >> On Dec 6, 2016, at 10:17 AM, Joe Groff via swift-dev >> wrote: >>> On Dec 5, 2016, at 4:24 PM, Michael Gottesman via swift-dev >>> wrote: >>> >>> Hello everyone! >>> >>>

Re: [swift-dev] Proposal: SILValue SSA Instructions

> On Dec 6, 2016, at 10:17 AM, Joe Groff via swift-dev > wrote: >> On Dec 5, 2016, at 4:24 PM, Michael Gottesman via swift-dev >> wrote: >> >> Hello everyone! >> >> This is a proposal for 2 instructions needed to express borrowing via SSA at >> the

[swift-dev] Proposal: SILValue SSA Instructions

Hello everyone! This is a proposal for 2 instructions needed to express borrowing via SSA at the SIL level. The need for these were discovered while I was prototyping a SIL ownership verifier. A html version of the proposal: