While I don't know what his group shipped, some implementations of trace caches do store "improved" operation sequences.