corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0875d-c9bf-737d-9cf6-88e5db638769

The acyclic e-graph: Cranelift's mid-end optimizer

cfallin.org · published 9 April 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at cfallin.org Wayback capture
1blogs citing
First cited
4 Apr 2026
Most recent
13 Aug 2026
Rank this month
not ranked
Links from this post
42
Words captured
11,786

Cited by

Blog
In the post
Date
Max Bernstein
Another partial SSI trick with canonicalize Read at the source ↗
13 Aug 2026
Max Bernstein
Partial static single information form Read at the source ↗
12 May 2026
Max Bernstein
Value numbering Read at the source ↗
4 Apr 2026

Links from this post

Link
Host
https://github.com/bytecodealliance/rfcs/blob/main/accepted/cranelift-egraph.md
github.com
https://vimeo.com/843540328
vimeo.com
https://cfallin.org/pubs/egraphs2023_aegraphs_slides.pdf
cfallin.org
https://pldi23.sigplan.org/home/egraphs-2023
pldi23.sigplan.org
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26022
dagstuhl.de
https://github.com/bytecodealliance/wasmtime/commits/main/cranelift/codegen/src/opts
github.com
https://github.com/bytecodealliance/wasmtime/pull/4163
github.com
https://github.com/bytecodealliance/wasmtime/pull/4163/changes
github.com
https://en.wikipedia.org/wiki/Dominator_(graph_theory
en.wikipedia.org
https://en.wikipedia.org/wiki/Sea_of_nodes
en.wikipedia.org
Land ahoy: leaving the Sea of Nodes Read at the source ↗
v8.dev
https://en.wikipedia.org/wiki/Hash_consing
en.wikipedia.org
https://en.wikipedia.org/wiki/Value_numbering
en.wikipedia.org
https://github.com/bytecodealliance/wasmtime/blob/main/cranelift/codegen/src/scoped_hash_map.rs
github.com
https://github.com/bytecodealliance/wasmtime/blob/465913eb2c91998c99ae9222e47f8e9f9a88a546/cranelift/codegen/src/simple_gvn.rs
github.com
https://mastodon.world/@jamey@toot.cat/116386234595356078
mastodon.world
https://en.wikipedia.org/wiki/Out-of-order_execution
en.wikipedia.org
https://github.com/bytecodealliance/wasmtime/issues/6159
github.com
https://github.com/bytecodealliance/wasmtime/issues/6260
github.com
https://github.com/bytecodealliance/wasmtime/issues/8959
github.com
https://github.com/bytecodealliance/rfcs/pull/27
github.com
https://github.com/bytecodealliance/wasmtime/blob/main/cranelift/isle/docs/language-reference.md
github.com
https://dl.acm.org/doi/10.1145/3434304
dl.acm.org
https://github.com/bytecodealliance/wasmtime/blob/main/cranelift/codegen/src/opts/div_const.rs
github.com
https://dl.acm.org/doi/pdf/10.1145/3434304
dl.acm.org
https://crates.io/crates/egg
crates.io
https://en.wikipedia.org/wiki/Optimal_substructure
en.wikipedia.org
https://en.wikipedia.org/wiki/Dynamic_programming
en.wikipedia.org
https://github.com/bytecodealliance/wasmtime/blob/dd2dd8d9f0a0a06c34e364716d58acf67236ba6a/cranelift/codegen/src/egraph/elaborate.rs
github.com
https://github.com/bytecodealliance/wasmtime/pull/12230
github.com
https://github.com/bytecodealliance/wasmtime/issues/12156
github.com
https://en.wikipedia.org/wiki/Pareto_front
en.wikipedia.org
https://github.com/bytecodealliance/sightglass/
github.com
https://github.com/bytecodealliance/wasmtime/issues/5623
github.com
https://github.com/bytecodealliance/wasmtime/issues/6109
github.com
https://github.com/bytecodealliance/wasmtime/issues/6129
github.com
https://arxiv.org/abs/1912.05036
arxiv.org
https://github.com/jameysharp/optir
github.com
https://github.com/bytecodealliance/wasmtime/issues/8529
github.com
https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26022
dagstuhl.de
https://github.com/bytecodealliance/rfcs/pull/15
github.com
https://github.com/bytecodealliance/wasmtime/pull/5382
github.com