This is not an answer to your question as asked, but the direction it goes may prove interesting: https://lab.whitequark.org/notes/2020-04-06/synthesizing-optim

This is not an answer to your question as asked, but the direction it goes may prove interesting: https://lab.whitequark.org/notes/2020-04-06/synthesizing-optimal-8051-code/ https://lab.whitequark.org/notes/2020-04-06/synthesizing-opt... (Found this a while back, mild impostor syndrome moment much)