Machine-Independent Optimizations