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 ?
https://github.com/orbitalhigh/subrust
How does LowIRSSA compare to P1pp from boot2 ?
LowIRSSA looks way more like SSA-WASM than assembly