Add today's Cranelift meeting notes (#3522)
* Add today's Cranelift meeting notes * Update cranelift-11-15.md
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user