I ported introduceLoops and commonBlock to SSA and checked them in. BTW, is there a readon that we don't introduce loops for functions that have both tail and non-tail self-calls?