WebAssembly / relaxed-simd

Relax the strict determinism requirements of SIMD operations.

Other

43 stars 9 forks source link

Phase 4 tracking issue #134

Open dtig opened 1 year ago

dtig commented 1 year ago

As the last vote for Phase 4 was provisional, and the outstanding PRs have been merged, is there anything else that's needed before this can be considered a full vote for Phase 4?

rossberg commented 1 year ago

Yeah, I'm afraid there still is a bit of work left to do for the spec, since the additions to the numerics section are still missing much of their prose semantics.

dtig commented 1 year ago

Thanks @rossberg, I'll leave this issue open till we can codify the provisional vote into a full Phase 4 vote.

ngzhian commented 1 year ago

135 is merged.

I think all the spec work is done (modulo intended bugs). FYI that there are 2 "merged" streams of work in this repo:

either from threads proposal in the spec interpreter
profiles from the profiles proposal.

alexcrichton commented 1 year ago

I'm a bit belated taking a look at this again, but I think it might be good to handle https://github.com/WebAssembly/relaxed-simd/issues/125 before phase 4. The proposed lowering on x64 of pblendvb does not match the semantics as specified in the spec currently.