See also: Wattch[1], a similar framework based on a similar idea. Wattch relies on simulation of the target rather than static analysis, however, but the application of instruction-level cost models seems the same.

[1] : http://www.eecs.harvard.edu/~dbrooks/isca2000.pdf