Re-commit r124462 with fixes. Tail recursion elim will now dup ret into unconditional...