In a sense, that's what a good optimizing compiler is. You were probably thinking of something more abstract, but I submit that the difference is more quantitat

In a sense, that's what a good optimizing compiler is. You were probably thinking of something more abstract, but I submit that the difference is more quantitative than qualitative. We already have the kind of thing you want; you just want a better one.