Load borrow end borrow

[gottesmm]

This PR implements the load_borrow and end_borrow instructions. It does not yet remove them using the ownership model eliminator or in IRGen. I skipped the IRGen part since it is not needed right now.

[gottesmm]

@swift-ci Please smoke test

[eeckstein]

Can you also update SIL.rst?

[eeckstein]

Some questions which come to my mind which I'd like to be answered by the doc in SIL.rst:
-) must load_borrow/end_borrow be properly paired in the CFG?
-) is the end_borrow src always an address type?
-) if yes, is it always the same as load_borrow address?
-) what is the semantics for values with references vs. primitive types?

I think some of the questions are addressed in your proposal, so you just can copy the text from there.

[gottesmm]

@swift-ci Please smoke test

[gottesmm]

@eeckstein I am going to do a pass through and update SIL.rst for all of the instructions I have been creating.

[gottesmm]

On Oct 20, 2016, at 8:13 AM, eeckstein [email protected] wrote:

Can you also update SIL.rst?

Sure.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub #5379 (comment), or mute the thread https://github.com/notifications/unsubscribe-auth/AAee3_EYWzto-1VVUPe0Xeknb3AkrnHhks5q14UmgaJpZM4Kbxig.

[gottesmm]

On Oct 20, 2016, at 8:28 AM, eeckstein [email protected] wrote:

Some questions which come to my mind which I'd like to be answered by the doc in SIL.rst:
-) must load_borrow/end_borrow be properly paired in the CFG?

Eventually, I have not added such functionality yet.
-) is the end_borrow src always an address type?

No. What if I wanted to do a "start_borrow" or something like that of a class. In that case, we would want to relate two object types.
-) if yes, is it always the same as load_borrow address?

In the case of a load_borrow, it will be the load_borrow address.
-) what is the semantics for values with references vs. primitive types?

By primitive types, do you mean trivial types?

I think some of the questions are addressed in your proposal, so you just can copy the text from there.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub #5379 (comment), or mute the thread https://github.com/notifications/unsubscribe-auth/AAee3-8OGg9ERqcO3Jc6XzjVMClYs26qks5q14iTgaJpZM4Kbxig.