Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-14 Thread Andrew Trick via swift-dev
This seems fine to me… at a high level! -Andy > On Oct 14, 2016, at 2:44 PM, Michael Gottesman via swift-dev > wrote: > > Attached below is a final version of the proposal. I am going to commit it to > the repo if there are no further questions/changes/etc. > >>

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-14 Thread Michael Gottesman via swift-dev
Attached below is a final version of the proposal. I am going to commit it to the repo if there are no further questions/changes/etc. > https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html >

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-11 Thread Chris Lattner via swift-dev
On Oct 11, 2016, at 10:10 AM, Michael Gottesman wrote: >> >If ARC Code Motion wishes to move the ARC semantics of ownership qualified >> >load, store instructions, it must now consider read/write effects. On the >> >other hand, it will be able to now not consider the

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-11 Thread Michael Gottesman via swift-dev
> On Oct 10, 2016, at 8:05 PM, Chris Lattner wrote: > > >> On Oct 7, 2016, at 2:38 PM, Michael Gottesman via swift-dev >> > wrote: >> >> Attached below is an updated version of the proposal. Again a rendered >> version is

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread John McCall via swift-dev
> On Oct 7, 2016, at 10:36 PM, Michael Gottesman wrote: >> On Oct 7, 2016, at 10:26 PM, Andrew Trick > > wrote: >> >> >>> On Oct 7, 2016, at 10:08 PM, Michael Gottesman >> >

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread Andrew Trick via swift-dev
> On Oct 7, 2016, at 10:36 PM, Michael Gottesman wrote: > >> >> On Oct 7, 2016, at 10:26 PM, Andrew Trick > > wrote: >> >> >>> On Oct 7, 2016, at 10:08 PM, Michael Gottesman >>

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread Michael Gottesman via swift-dev
> On Oct 7, 2016, at 10:26 PM, Andrew Trick wrote: > > >> On Oct 7, 2016, at 10:08 PM, Michael Gottesman > > wrote: >> >>> >>> On Oct 7, 2016, at 9:25 PM, Andrew Trick >> >

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread Andrew Trick via swift-dev
> On Oct 7, 2016, at 10:08 PM, Michael Gottesman wrote: > >> >> On Oct 7, 2016, at 9:25 PM, Andrew Trick > > wrote: >> >> >>> On Oct 7, 2016, at 6:04 PM, Michael Gottesman via swift-dev >>>

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread Andrew Trick via swift-dev
> On Oct 7, 2016, at 6:04 PM, Michael Gottesman via swift-dev > wrote: > >> I wonder whether it might make more sense for load [borrow] to be a >> different instruction. >> There's a couple reasons for that first. The first is that it's the only >> load which introduces

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread John McCall via swift-dev
> On Oct 7, 2016, at 6:04 PM, Michael Gottesman wrote: >> On Oct 7, 2016, at 5:09 PM, John McCall > > wrote: >>> On Oct 7, 2016, at 2:38 PM, Michael Gottesman >> > wrote:

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-07 Thread Michael Gottesman via swift-dev
> On Oct 7, 2016, at 5:09 PM, John McCall wrote: > >> >> On Oct 7, 2016, at 2:38 PM, Michael Gottesman > > wrote: >> >> Attached below is an updated version of the proposal. Again a rendered >> version is located at: >>

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-06 Thread John McCall via swift-dev
> On Oct 5, 2016, at 4:48 PM, Michael Gottesman wrote: >> On Oct 5, 2016, at 4:40 PM, Michael Gottesman via swift-dev >> > wrote: >> >>> >>> On Oct 4, 2016, at 1:04 PM, John McCall >>

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-05 Thread Michael Gottesman via swift-dev
> On Oct 4, 2016, at 1:04 PM, John McCall wrote: > >> >> On Sep 30, 2016, at 11:54 PM, Michael Gottesman via swift-dev >> > wrote: >> >> The document attached below contains the first "Semantic ARC" mini proposal: >> the

Re: [swift-dev] [semantic-arc][proposal] High Level ARC Memory Operations

2016-10-04 Thread John McCall via swift-dev
> On Sep 30, 2016, at 11:54 PM, Michael Gottesman via swift-dev > wrote: > > The document attached below contains the first "Semantic ARC" mini proposal: > the High Level ARC Memory Operations Proposal. > > An html rendered version of this markdown document is available