InCodeXbyNitesh Rauniyar·Sep 20Why Compiler Optimisation Is Harder Than It LooksUnderstanding overflow, signed vs unsigned integers, and how LLVM decides whether an optimisation is actually safe.
TimWood·Jun 9OmniScope v0.2.0 — From Pattern Matching to Semantic UnderstandingHow a static analysis tool rewired itself to understand language boundaries, resource ownership, and cross-language FFI safety.
Pravs-254·May 17Understanding LLVM Passes: How Code Obfuscation Works Under the HoodHi devs, in this blog I’m going to explain what LLVM is, how LLVM passes work, and why LLVM passes are important in a project.
Raphael Arseneault·Apr 2Prysma: Anatomy of an LLVM Compiler Built from Scratch in 8 WeeksPrysma: https://github.com/prysma-llvm/prysma
Raymond Tay·Oct 11, 2025Loop-Closed SSA (LCSSA)You’ll use LCSSA to make loop exits “well-formed” so any value defined inside a loop and used outside flows through a PHI in an exit block…
Raymond Tay·Sep 27, 2025From Threads to LLVM Coroutines: A Guided TourOne of the most fascinating parts of modern compiler design is how high-level constructs are lowered into raw intermediate representations…
Raymond Tay·Sep 21, 2025Taming ValueTracking in LLVM20: a beginner’s notesAs someone building LLVM passes, I wanted to get hands-on with ValueTracking — the analysis utilities LLVM uses to deduce properties like…A response icon1A response icon1
InDeep EngineeringbyDivya Anne Selvaraj·Jul 17, 2025Deep Engineering #9: Unpacking MLIR and Mojo with Ivo BalbaertHow MLIR is reshaping compilers for heterogeneous hardware despite adoption challenges — and how Mojo builds on it to unify Pythonic ease…
