Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
793 contributions in the last year
Contribution activity
October 2020
Created a pull request in bytecodealliance/wasmtime that received 2 comments
Rewrite interpreter generically
This change re-implements the Cranelift interpreter to use generic values; this makes it possible to do abstract interpretation of Cranelift instru…
- Convert packed floating point to signed integer
- wasm->CLIF translation: consistently bitcast V128 values that are blo…
- Adds support for signed packed integer conversion to float
- Introduce the Cranelift IR instruction `LoadSplat`
- Peepmatic: Do not use paths in linear IR
- refactor: retrieve immediates in new backend
- Adds packed floating point min max
Created an issue in bytecodealliance/wasmtime that received 2 comments
Register source locations for instructions that may load in x64 backend
Many instruction formats in the new x64 backend accept a RegMem parameter, implying that they may load from memory. This may cause a trap if the me…

