Skip to content

Comments

check CPSAsync and CPSAwait properly#2551

Merged
crusso merged 4 commits intomasterfrom
claudio/check-ir-cps
Jun 2, 2021
Merged

check CPSAsync and CPSAwait properly#2551
crusso merged 4 commits intomasterfrom
claudio/check-ir-cps

Conversation

@crusso
Copy link
Contributor

@crusso crusso commented Jun 2, 2021

Salvage an IR check I implemented for the async optimization.

@crusso crusso requested a review from nomeata June 2, 2021 12:29
@dfinity-ci
Copy link

This PR does not affect the produced WebAssembly code.

@crusso
Copy link
Contributor Author

crusso commented Jun 2, 2021

Did not quite work with divergent await argumens, so porting more of original solution over that required annotating CPSAwait with the current continuation type.

@nomeata PTAL if you like

@crusso crusso merged commit e2691fd into master Jun 2, 2021
@crusso crusso deleted the claudio/check-ir-cps branch June 2, 2021 21:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants