Static Single Assignment Form - Part 3

This video discuss an algorithm to transform a program to SSA form. This algorithm consists in computing the iterated dominance frontier of basic blocks. It then inserts phi-functions for variable v at every basic block B that is in the iterated dominance frontier of a block X where v is defined.