Data flow analysis
LLVM IR
Memory management
Loop optimizations
Register allocation
Frontend
CFG
Type system