elliottt opened PR #8643 from elliottt:trevor/remove-nominal-sp
to bytecodealliance:main
:
As we now keep SP at the same place throughout the function body, or only modify
it within the emission for individual pseudo-ops like call, we no longer need
the notion of the nominal-SP. This PR removes all mentions of the nominal SP,
and reworks the docs to more accurately describe the frame layout the backends
currently assume.<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
elliottt edited PR #8643:
As we now keep SP at the same place throughout the function body, or only modify it within the emission for individual pseudo-ops like call, we no longer need the notion of the nominal-SP. This PR removes all mentions of the nominal SP, and reworks the docs to more accurately describe the frame layout the backends currently assume.
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
elliottt edited PR #8643:
As we now keep SP at the same place throughout the function body, or only modify it within the emission for individual pseudo-ops like call, we no longer need the notion of the nominal-SP. This PR removes all mentions of the nominal SP, and reworks the docs to more accurately describe the frame layout the backends currently assume.
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
elliottt edited PR #8643:
As we now keep SP at the same place throughout the function body, or only modify it within the emission for individual pseudo-ops like call, we no longer need the notion of the nominal-SP. This PR removes all mentions of the nominal SP, and reworks the docs to more accurately describe the frame layout the backends currently assume.
I'm not 100% sold on the change of representation for slot offsets in the riscv64 backend, and am happy to take suggestions for a better representation than
(slot)
.<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
elliottt has marked PR #8643 as ready for review.
elliottt requested abrown for a review on PR #8643.
elliottt requested wasmtime-compiler-reviewers for a review on PR #8643.
elliottt requested jameysharp for a review on PR #8643.
github-actions[bot] commented on PR #8643:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "cranelift:area:machinst", "cranelift:area:x64", "isle"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
abrown submitted PR review:
Looks good to me. I didn't page in all the context try to completely grok the doc changes for correctness but they seemed reasonable otherwise.
abrown merged PR #8643.
Last updated: Dec 23 2024 at 12:05 UTC