YDyazan dabainyazandaba.hashnode.dev·May 22 · 21 min readLLVM-Clang Static Analyzers And SMT Solvers Introduction Static analyzers generally speaking are abstract interpreters that analyze and emit diagnostics of program P, meaning that they analyze a program using abstract values rather than dynamic00
YDyazan dabainyazandaba.hashnode.dev·Apr 16 · 26 min readImplementing C# consteval compile time evaluation — A Deep Dive into Roslyn's Compiler PipelineIntroduction C++ got consteval in C++20 — a hard guarantee that a function is evaluated at compile time, not may-be like constexpr. so I decided spending my evenings adding it to C# 🙃. but with all s00
YDyazan dabainyazandaba.hashnode.dev·Feb 16 · 22 min readInside Clang C++ Compile Time Evaluators : AST Evaluator & Bytecode InterpreterIntroduction C++ has been around for over 41 years. Over the years, many features have been added, and one of the most powerful is compile-time computation. C++ actually had this capability before its standardization in 1998, particularly after templ...00
YDyazan dabainyazandaba.hashnode.dev·Jan 26 · 26 min readThe Chords The Colors The Registers The SSA OptimalityIntroduction In the compiler world, one of the hardest problems to solve is register allocation, and it's no coincidence! But what is register allocation? Register allocation is the problem of assigning ℕ variables, temporaries, etc... to a limited �...00
YDyazan dabainyazandaba.hashnode.dev·Dec 13, 2025 · 28 min readSSA to Stack: Retargeting LLVM to Stack Machines—A Deep Dive Through the WebAssembly BackendIntroduction: When retargeting compiler backends, especially in LLVM, we are usually discussing native chips like CPUs or GPUs. While the underlying architecture of each vendor differs—cores and memory models vary wildly—they share a high-level abstr...00
