swift
0b835f00 - Fix ownership verification error due to multi block mem2reg with store_borrows

Commit
2 years ago
Fix ownership verification error due to multi block mem2reg with store_borrows @guaranteed stored values will never be added to a phi in mem2reg because any uses of store borrowed locations have to be accessed via the store borrow return address and since we ban address phis altogether we will never have input sil which necessitates this. But, the DJ-edges based algorithm for inserting phi blocks in mem2reg can insert unnecessary phis which are removed later. Ensure fixPhiPredBlock handles both owned and guaranteed stored values correctly for this reason.
Author
Committer
Parents
Loading