[CalChris]

Souper does something like that with IR optimization.

https://github.com/google/souper