Three Contributions to the Theory and Practice of Optimizing Compilers