SSA form

See SSA LLVM does not allow multiple assignments to registers

LLVM offers the phi function to choose between values.