#cranelift — Public Fediverse posts

"This article will highlight the ways we are ensuring correctness in the #Wasmtime #WebAssembly runtime and in its compiler, #cranelift "

#wasm

https://bytecodealliance.org/articles/security-and-correctness-in-wasmtime

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

https://cfallin.org/blog/2026/04/09/aegraph/

#HackerNews #acyclicgraph #Cranelift #optimizer #programming #Rustlang #technews

#RomanSpaceTelescope #cleanroom #cranelift #filterwall #green #inspection #longexposure #romanspacetelescope

⏩ 3 new pictures from NASA (Image Library) https://commons.wikimedia.org/wiki/Special:ListFiles?limit=3&user=OptimusPrimeBot&ilshowall=1&offset=20251212010804

📅 In an absolutely riveting journey through the Go compiler's underbelly, one brave soul dares to wade through the treacherous swamps of *source code* to reveal that—surprise—documentation is apparently optional in 2024 🧐. Meanwhile, #LLVM and #Cranelift sip tea as they bask in their luxurious piles of clear, accessible #documentation 📜💁‍♂️.
https://vnmakarov.github.io/2024/09/24/register-allocation-in-the-go-compiler.html #GoCompiler #SourceCode #HackerNews #ngated

this I think is the final missing piece to have an entire toolchain written in Rust, others being compiler (rustc and cranelift) and platform access things (rustix and eyra/mustang)

https://fosstodon.org/@rustnl/114675938236690023

#cranelift #rustc #rustlang

Managed to have local variables using cranelift but I hit a limitation of debuggers and DWARF and formal parameters found in registers.

I may try consider pessimising the code when enabling debug support if I don't manage to identify the call sites.

#pasko #cranelift #debugging #compilers

Woah!

(I need to improve the locations, it jumps like crazy all around the place 😅 . The garbled terminal is caused by gdb's tui not liking input / output)

#pasko #debugging #debugger #gdb #cranelift

#Tilde is an alternative (like #QBE & #Cranelift) to #LLVM for #Compilers:

“Tilde, My LLVM Alternative”, Yasser Arguelles Snape (https://yasserarg.com/tb).

Via Lobsters: https://lobste.rs/s/jvruyj/tilde_my_llvm_alternative

On HN: https://news.ycombinator.com/item?id=42782872

At Handmade Seattle 2023: https://handmadecities.com/media/seattle-2023/tb/

More hacking with cranelift.

Making better use of `Variable`s for better code generation and also extending the dump code so I can see what value maps to each source variable.

#cranelift #pascal #pasko

I learned yesterday how to annotate the IR dumps so less guessing is required when looking at them now.

#cranelift #rustlang #pascal #pasko

@jamey who uses cranelift, other than wasmtime and rustc

#cranelift #wasmtime #rustlang