10. LLVM

Overview of the LLVM architecture:

Static Single-Assignment

SSA is a means of structuring the IR such that every variable is given a value only once and every variable is defined before its use. (this is how LLVM expects its input to be!)

SSA of $(1+a)+(3+(b\ast 5))$

LLVM Types

Example: we want to translate FUN to K-(Intermediate)Language

FUN:

K-(Intermediate)Language

KLet

CPS (Continuation Parsing Style ?)

We need to translate our FUN expressions into SSA compliant K-(Intermediate)Language.