abrown commented on Issue #1517:
I expect this to fail because there are no encodings for booleans in
load
andstore
.
abrown edited a comment on Issue #1517:
I expect this to fail because there are no encodings for booleans in
load
andstore
. @sunfishcode and others: should we add these encodings or shouldmake_trampoline
do something special for booleans?
github-actions[bot] commented on Issue #1517:
Subscribe to Label Action
cc @bnjbvr
<details>
This issue or pull request has been labeled: "cranelift"Thus the following users have been cc'd because of the following labels:
- bnjbvr: cranelift
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
abrown commented on Issue #1517:
@alexcrichton, here's the PR with the trampolines I was referring to.
abrown edited a comment on Issue #1517:
@alexcrichton, here's the PR with the trampolines I was referring to. (You might notice they look pretty similar to the ones you created :wink:).
alexcrichton commented on Issue #1517:
Nice! FWIW reading this over I think there's actually not a whole lot that we'd share between wasmtime and cranelift. Only a few small loops/etc would be shared, and otherwise it seems like we'd probably bend over backwards too much trying to cater to both use cases. In that sense I'd personally be ok if we just left this duplication in the two?
abrown commented on Issue #1517:
Ok, I think this is ready: since the x86 backend does not have encodings for loading and storing booleans, I took @sunfishcode's suggestion and convert boolean values from (
load + icmp_imm ne ..., 0
) and to (bint + store
).
Last updated: Dec 23 2024 at 12:05 UTC