Andrew Brown
Andrew Brown
cc: @pchickey?
This was originally a part of #4949 but I could use this separately for experimenting with `wasi-threads`.
> Overall I haven't really thought much about how to solve this problem. We've known about this for quite some time now but it's been a moot issue due to...
I think a side effect of going doing the path above would be that `raw_bitcast` is no longer necessary. `bitcast` says: "A bitcast is equivalent to storing one type and...
I would mention that the all-ones/all-zeroes representation for SIMD is not just because using the output of a comparison as a mask is convenient, it's also that the Wasm SIMD...
I agree. IIRC, there may be an optimization or two that rely on the boolean type but given the move towards e-graphs those optimizations will need to be re-worked anyway.
@alexcrichton, I think there are several points you should reconsider: > In the component model the hack you've implemented here with getting the shared memory to work will not work...
Thanks @sunfishcode and @lukewagner for pointing out that the shared memory import/export will be expressible with WIT core modules. I still have questions on this (When and how can the...
(Also, please prefix every sentence above with "IIUC" since I am not too familiar with the details of the component model and I'm reading into some of @alexcrichton's comments).
Thanks @alexcrichton for the detailed write-up; I think it's a pretty accurate reflection of what we discussed and a decent high-level vision for how to move forward. I agree that...