diff --git a/meetings/cranelift/2021/cranelift-11-15.md b/meetings/cranelift/2021/cranelift-11-15.md index 811d169406..79e9311d45 100644 --- a/meetings/cranelift/2021/cranelift-11-15.md +++ b/meetings/cranelift/2021/cranelift-11-15.md @@ -12,9 +12,68 @@ 1. _Sumbit a PR to add your announcement here_ 1. Other agenda items 1. _Sumbit a PR to add your item here_ - -## Notes - + ### Attendees +* Alexa VanHattum +* abrown +* akirilov +* alexcrichton +* bbouvier +* bjorn3 +* cfallin +* fitzgen +* jlbirch +* uweigand + ### Notes + +* cfallin: merged ISLE RFC, ended FCP this morning. Need to review compiler & + integration, shouldn't take too long hopefully. How to prioritize moving over + afterwards? I think we should enable moving everything over reasonably + quickly. Will unlock improvements to backend design such as RA2. How do others + feel about helping migration? +* uweigand: Agreed ASAP. Busy working on .NET recently, but release is over! + Look to do more Wasmtime work soon. +* jlbirch: Also agreed ASAP, and should have time to help. +* cfallin: I'll spend time writing docs for the DSL itself. +* fitzgen: Wrote an overview awhile back and need to write more, yes. +* akirilov: should have more time next quarter +* uweigand: can migrate one-by-one, right? +* cfallin: indeed! +* abrown: how much of x64 is left to do? +* fitzgen: unsure on lines of code, but integer arithmetic is all ported. Alex + has more SSE stuff as well. Maybe halfway? +* cfallin: ballpark estimate nick? +* fitzgen: few weeks? +* uweigand: only simple things? +* fitzgen: complicated things too like i128 and SSE things. For example `shl` + for i128 is quite large. Currently porting on-by-one as I go through the big + `match`. + +#### Status + +* cfallin: internal project mostly, got info from Mozilla it's ok to relicense + regalloc2 and then "all" we need to do is to review the compatibility shim to + regalloc.rs API. Alternatively if timing goes the other way if we transition + to ISLE happens we can port directly to the pure SSA API, but ISLE does + everything that would otherwise be done by hand. Still some benefits with a + compat shim to compile time but more benefits with SSA API. Will write docs on + ISLE soon. +* fitzgen: Lots of ISLE. Also work on `wasm-mutate` is progressing. Also ran + benchmarks for ISLE and good results. + +... discussion of `wasm-mutate`, wasmtime fuzzing, veriwasm, ... + +* acrichto: random ISLE x64 lowerings +* bbouvier: no updates +* akirilov: mostly internal thing. Things about CFI as well. Will need to change + proposal a bit for a rustc backend. + +... discussion about CFI ... + +* uweigand: no updates, next step is to implement atomics. Will wait for ISLE + before adding SIMD. +* abrown: no updates +* bjorn3: no updates +* jlbirch: simd fuzz bug fix