Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

P1774 Portable assumptions #529

Open
wg21bot opened this issue Jun 23, 2019 · 10 comments
Open

P1774 Portable assumptions #529

wg21bot opened this issue Jun 23, 2019 · 10 comments

Comments

@wg21bot
Copy link
Collaborator

@wg21bot wg21bot commented Jun 23, 2019

P1774R0 Portable optimisation hints (Timur Doumler)

@wg21bot wg21bot added this to the 2019-07 milestone Jun 23, 2019
@wg21bot wg21bot added the EWG label Jun 23, 2019
@jensmaurer jensmaurer removed this from the 2019-07 milestone Aug 23, 2019
@jensmaurer jensmaurer added this to the 2019-11 milestone Aug 23, 2019
@wg21bot
Copy link
Collaborator Author

@wg21bot wg21bot commented Oct 15, 2019

P1774R1 Portable optimisation hints (Timur Doumler)

@jfbastien jfbastien added EWGI and removed EWG labels Oct 15, 2019
@jfbastien
Copy link
Collaborator

@jfbastien jfbastien commented Oct 15, 2019

Let's do EWGI first.

@theres-waldo
Copy link
Collaborator

@theres-waldo theres-waldo commented Nov 7, 2019

EWG-I in Belfast

P1774 with [[assume(expr)]] syntax:

SF F N A SA num. attendees
15 5 1 0 0 22

P1774 with std::assume(expr) syntax:

SF F N A SA num. attendees
1 3 4 10 4 22

@wg21bot
Copy link
Collaborator Author

@wg21bot wg21bot commented Dec 11, 2019

P1774R2 Portable assumptions (Timur Doumler)

@wg21bot wg21bot removed this from the 2019-11 milestone Dec 11, 2019
@wg21bot wg21bot added this to the 2020-02 milestone Dec 11, 2019
@wg21bot
Copy link
Collaborator Author

@wg21bot wg21bot commented Jan 18, 2020

P1774R3 Portable assumptions (Timur Doumler)

@jfbastien jfbastien added this to Unscheduled in EWG Prague Jan 22, 2020
@jfbastien jfbastien moved this from Unscheduled to Tuesday in EWG Prague Jan 23, 2020
@jfbastien jfbastien moved this from Tuesday to Thursday in EWG Prague Jan 23, 2020
@jfbastien jfbastien moved this from Thursday to Overflow in EWG Prague Feb 11, 2020
@jfbastien jfbastien moved this from Overflow to Thursday in EWG Prague Feb 12, 2020
@jfbastien
Copy link
Collaborator

@jfbastien jfbastien commented Feb 13, 2020

EWG Prague Thursday morning:

We want assumptions now, and independent of future contract facilities.

SF F N A SA
18 5 1 3 3

We like the proposed semantics for assumptions.

SF F N A SA
18 5 4 2 0

We want exploration on a mode which can check assumptions, including side-effects

SF F N A SA
1 0 9 9 5

We like the proposed attribute syntax [[assume(expr)]]

SF F N A SA
9 8 5 5 1

We’d like more exploration on macro assume, like assert

SF F N A SA
0 0 1 10 16

We’d like more exploration on keyword such as one of unsafe_assume / assume / __assume / _Assume / …

SF F N A SA
5 7 9 5 2

We’d like more exploration on magic library function such as std::assume(expr)

SF F N A SA
0 0 0 9 14

@jfbastien jfbastien changed the title P1774 Portable optimisation hints P1774 Portable assumptions Feb 13, 2020
@jensmaurer jensmaurer removed this from the 2020-02 milestone Feb 18, 2020
@wg21bot
Copy link
Collaborator Author

@wg21bot wg21bot commented Nov 26, 2021

P1774R4 Portable assumptions (Timur Doumler)

@wg21bot wg21bot added this to the 2021-telecon milestone Nov 26, 2021
@erichkeane
Copy link
Collaborator

@erichkeane erichkeane commented Dec 3, 2021

EWG reviewed D1774R5 at the December 2nd, 2021 EWG meeting. The following polls were taken:

In D1774R5, we should spell the ‘assume’ as assume: expr.

SF F N A SA
0 0 1 12 5

Result: Consensus Against

In D1774R5, we prefer assume’s parameter to be just an “attribute-grammar-conforming token soup”, not an expression.

SF F N A SA
0 0 2 8 6

Result: Consensus Against

Send D1774R5 to electronic polling for forwarding to CWG for inclusion in C++23, in Bucket 2.

SF F N A SA
6 8 5 0 0

Result: Consensus

@wg21bot
Copy link
Collaborator Author

@wg21bot wg21bot commented Dec 18, 2021

P1774R5 Portable assumptions (Timur Doumler)

@jensmaurer jensmaurer removed this from the 2021-telecon milestone Jan 1, 2022
@jensmaurer jensmaurer added this to the 2022-telecon milestone Jan 1, 2022
@AaronBallman
Copy link
Collaborator

@AaronBallman AaronBallman commented Jan 2, 2022

Adding to the SG22 queue on request of EWG chair as this has design overlap with C.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
No open projects
EWG Prague
Thursday
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
6 participants