Add a new optimization pass: Stack Coloring, that merges disjoint static allocations...