20:02:26karloszyeah. deleting those branches preSSA would still be useful
20:02:47karloszmaybe it can be done somewhere in inlining, since thats how they are introduced, i think
20:19:40Bikea lot of transforms could introducethem, hypothetically.
20:23:46karloszthats true. it seems like an easy invariant to enforce, and it probably doesnt warrant an entire separate pass like delete-superfluous-branches or something
20:24:04karloszso maybe transforms should just enforce it instead