I'm working on the TXR Lisp compiler, improving a certain optimization that identifies and eliminates certain kinds of wasteful VM register moves. It works and has many good "hits" in the code base, but doesn't handle certain cases.