Would it make sense for compilers to have a gas model for optimisations? It would enable speculative execution of transforms that are sometimes expensive.