This is great! Not sure which high level language you are targetting, but consider Subrust instead of C:
https://github.com/orbitalhigh/subrust
How does LowIRSSA compare to P1pp from boot2 ?