alexcrichton opened PR #9644 from alexcrichton:fix-pulley-push-pop
to bytecodealliance:main
:
- Add stack-overflow checking to
push
and other decrements ofsp
.- Fix the up/down direction of push/pop (
push
goes down,pop
goes up).- Fix the order of operation sin
push
, first decrement then write.- Move methods to
Interpreter
to useControlFlow
more heavily.
alexcrichton requested cfallin for a review on PR #9644.
alexcrichton requested wasmtime-default-reviewers for a review on PR #9644.
alexcrichton commented on PR #9644:
Review-wise this is stacked on https://github.com/bytecodealliance/wasmtime/pull/9629
github-actions[bot] commented on PR #9644:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "pulley"Thus the following users have been cc'd because of the following labels:
- fitzgen: pulley
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
alexcrichton updated PR #9644.
alexcrichton commented on PR #9644:
rebased!
abrown submitted PR review.
abrown created PR review comment:
I guess
MachineState::with_stack
already does that but Pulley was just incorrectly pushing and popping?
abrown created PR review comment:
If we're switching the direction of growth, is there something that needs to be done to flip where
sp
starts at when we create the interpreter state?
alexcrichton submitted PR review.
alexcrichton created PR review comment:
Ah yeah I don't believe it was ever the intentional to reverse the order of the stack with respect to native stacks, so I believe this was just a copy/paste error. (you can tell we don't run the interpreter much right now)
alexcrichton merged PR #9644.
Last updated: Dec 23 2024 at 13:07 UTC