swift234

Verifier: Cannonical SIL should have split critical edges for non cond_br
terminators

This is an assumption that the SSAUpdater makes. Verify that we preserve this
property.

Swift SVN r22775