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

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. > >> https://gottesmm.github.io/pro

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

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 > Michae

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

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 side-effects of >> >destruc

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

> On Oct 10, 2016, at 8:05 PM, Chris Lattner wrote: > > >> On Oct 7, 2016, at 2:38 PM, Michael Gottesman via swift-dev >> mailto:swift-dev@swift.org>> wrote: >> >> Attached below is an updated version of the proposal. Again a rendered >> version is located at: >> >> https://gottesmm.github.

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

> 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 located at: > > https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html >

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

> On Oct 7, 2016, at 10:46 PM, Andrew Trick wrote: >> 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

> 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 >> > wrote: >>> On Oct 7, 2016, at 9:25 PM, Andrew Trick >>>

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

> 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 >> > wrote: >>> On Oct 7, 2016, at 9:25 PM, Andrew Tr

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

> 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 >> > wrote: >>> >>> On Oct 7, 2016, at 6:04 PM, Michael Gottesma

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

> 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 >>> mailto:swift-dev@swift.org>> wrote: >>> I wonder whether it might make

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

> On Oct 7, 2016, at 9:25 PM, Andrew Trick wrote: > > >> On Oct 7, 2016, at 6:04 PM, Michael Gottesman via swift-dev >> mailto:swift-dev@swift.org>> wrote: >> >>> I wonder whether it might make more sense for load [borrow] to be a >>> different instruction. >>> There's a couple reasons for t

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

> 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 >> a scope, which is

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

> 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: >>> >>> Attached below is an updated version of the proposal. Again a

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

> 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: >> >> https://gottesmm.github.io/proposals/hig

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

> 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: > > https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html >

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

Attached below is an updated version of the proposal. Again a rendered version is located at: https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html Michael # Summary This document proposes: 1. adding the following ownership qualifiers to `load`: `[take]`, `[copy]`,

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

> On Oct 5, 2016, at 4:48 PM, Michael Gottesman wrote: >> On Oct 5, 2016, at 4:40 PM, Michael Gottesman via swift-dev >> mailto:swift-dev@swift.org>> wrote: >> >>> >>> On Oct 4, 2016, at 1:04 PM, John McCall >> > wrote: >>> On Sep 30, 2016, at 11:54 PM, Mi

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

> On Oct 5, 2016, at 4:40 PM, Michael Gottesman via swift-dev > wrote: > >> >> On Oct 4, 2016, at 1:04 PM, John McCall > > wrote: >> >>> >>> On Sep 30, 2016, at 11:54 PM, Michael Gottesman via swift-dev >>> mailto:swift-dev@swift.org>> wrote: >>> >>> The document

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

> On Oct 4, 2016, at 1:04 PM, John McCall wrote: > >> >> On Sep 30, 2016, at 11:54 PM, Michael Gottesman via swift-dev >> mailto:swift-dev@swift.org>> wrote: >> >> The document attached below contains the first "Semantic ARC" mini proposal: >> the High Level ARC Memory Operations Proposal. >

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

> 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 at the > following UR

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

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 at the following URL: https://gottesmm.github.io/proposals/high-level-arc-memory-operations.html