Commits
Erik Eckstein committed 529b3867018
SILCombine: allow promotion of init_existentials over control flow + a small bug fix This allows devirtualization of witness method calls if the initialization of the existential is not in the same basic block. This change also fixes a bug where promotion is done even if the stack is overwritten after initialization. Although I'm not sure if this kind of code is ever generated.