Fix the computation of the re-borrow flags for guaranteed phi arguments#77527

Merged

eeckstein merged 10 commits intoswiftlang:mainfrom

eeckstein:fix-reborrow-flag

Nov 13, 2024

Commits on Nov 12, 2024

SIL: rename updateBorrowedFrom to updateBorrowArguments
eeckstein
committed
SIL: add the `Argument.set(reborrow:)` and `Argument.hasBorrowEndingUse` APIs
eeckstein
committed
BorrowUtils: support guaranteed forwarding phis without forwarding instructions when computing enclosing values
eeckstein
committed
SIL: automatically set the reborrow flags for phi-arguments when creating an end_borrow or setting the operand of an end_borrow
eeckstein
committed
Optimizer: re-compute the re-borrow flags of phi arguments in `updateAllBorrowArguments` and `updateBorrowArguments`
eeckstein
committed
SIL: remove `computeIsReborrow`
eeckstein
committed
LoopRotate: don't verify the optimized function within the pass
eeckstein
committed
SIL Verifier: verify the re-borrow flags for guaranteed phi arguments
eeckstein
committed
Optimizer: rename BorrowArgumentsUpdater -> GuaranteedPhiUpdater
eeckstein
committed
Optimizer: prevent duplicating blocks with dead-end begin-borrow instructions.
eeckstein
committed