cfallin.org

Today, I'll be writing about the aegraph, or acyclic egraph, the data structure at the heart of Cranelift's mid-end optimizer.

Note: this post is also cross-posted to the Bytecode Alliance blog here.

This is the final post of a three-part series covering my work on "fast JS on Wasm"; the first post covered PBL, a portable interpreter that supports inline caches, the second post covered ahead-of-time compilation in general terms, and this post discusses

This is a continuation of my "fast JS on Wasm" series; the first post covered PBL, a portable interpreter that supports inline caches, this post adds ahead-of-time compilation, and the final post will discuss the details of that ahead-of-time compilation.

The Rust programming language is best-known for its memory-related type system features that encode ownership and borrowing: these ensure memory safety (no dangling pointers), and also enforce a kind of "mutual exclusion" discipline that allows for provab…

For the past year, I have been hard at work trying to improve the performance of the SpiderMonkey JavaScript engine when compiled as a WebAssembly module.

Today I'm going to be writing about ISLE, or the "instruction selection/lowering expressions" domain-specific language (DSL), which over the past year we have designed, improved, and fully adopted in the Cranelift compiler project.

This post is the fourth part of a three-part series1 describing work that I have been doing to improve the Cranelift compiler.

This post is the last in a three-part series about Cranelift.

This post is the second in a three-part series about Cranelift.

This post is the first in a three-part series about my recent work on Cranelift as part of my day job at Mozilla.

Hello, and welcome to blog.cfallin!