Jessica Paquette

@barrelshifter
1.9K Followers
207 Following
653 Posts
compiler schmuck
:birdsite:https://twitter.com/barrelshifter
cohosthttps://cohost.org/barrelshifter
pronounsshe/her
[RFC] Proposal to establish a Safety Group in LLVM

Abstract This RFC proposes the creation of a Safety Group within the LLVM project, similar to the existing Security Group. The group would serve as a community-driven forum to address the challenges of using LLVM in safety-critical systems development, such as those governed by ISO 26262 (automotive), DO-178C (aerospace), or EN 50128 (railways). It would focus on enabling qualified use of LLVM components through shared infrastructure, quality best practices, documentation, collaboration, and lon...

LLVM Discussion Forums
LLVM Weekly - #597, June 9th 2025. LLVM Developers' Meeting call for proposals opens, MLIR dialect for WebAssembly, MLIR project lighthouse, what patterns can/should be upstreamed to MLIR, 64-bit source locations, reducing the size of the MC decoder table, and more https://llvmweekly.org/issue/597
LLVM Weekly - #597, June 9th 2025

[RFC] MLIR Dialect for WebAssembly

This is a proposal to support WebAssembly module representation in MLIR. We have a work-in-progress implementation available here. TL;DR: We have been working on an MLIR representation for WebAssembly programs, and tools to import such programs in MLIR and convert them up to the LLVM IR dialect, in order to be able to compile Wasm binaries to native code ahead-of-time. The longer term goal is to provide support for Wasm usage on embedded systems. The dialect covers a good percentage of the W...

LLVM Discussion Forums
today is yukata
m’fence
they’re here!
you wanted to see how the C++ sausage was made? in this very factory, we produce the official sausage of WG21, long longaniza
like ideally i think you want to represent Computer Things in a way that will be representable on many computers idk

i guess that with things like mlir we have this weird problem where irs have expanded breadthwise considerably, but there are still dialects that like, represent “generic” things

eg arith exists to represent generic arithmetic operations, so it makes sense to eg not have rotates cause those are Computer Things

but like, we need to lower to stuff on a real computer at some point