:birdsite: | https://twitter.com/barrelshifter |
cohost | https://cohost.org/barrelshifter |
pronouns | she/her |
:birdsite: | https://twitter.com/barrelshifter |
cohost | https://cohost.org/barrelshifter |
pronouns | she/her |
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...
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...
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