Is this what you're (roughly) referring to?:

  https://andrewkelley.me/post/jamulator.html

Although the programmer's target is an entire system, the conclusion may still apply:

  > There is a constant struggle between correctness and optimized code. Nearly all
  > optimizations must be tossed out the window in the interest of correctness