SSA - The Backbone of Modern Compilers Part II | Online

Note : It is mandatory to RSVP on this page to receive the meeting link.

Abstract :
Static Single Assignment (SSA) is a key concept in nearly every modern compiler, yet it is often introduced simply as: each variable is assigned exactly once. While this explains what SSA looks like, it does not clearly show why SSA became so important for compiler design.

This session provides a practical deep dive into LLVM's SSA construction pipeline, covering aggregate splitting with SROA, promotion with mem2reg, phi insertion using Iterated Dominance Frontiers, and value renaming. The discussion is grounded in real LLVM implementation details from PromoteMemoryToRegister.cpp and SROA.cpp.

This talk is Part II of a series. You can view Part I here : https://youtu.be/-1HoeiuU9Lk?si=9z-blJaTEI99yZeT