4 Commits

Author	SHA1	Message	Date
Erik Eckstein	e14c1d1f62	SIL, Optimizer: update and handle borrowed-from instructions ... Compute, update and handle borrowed-from instruction in various utilities and passes. Also, used borrowed-from to simplify `gatherBorrowIntroducers` and `gatherEnclosingValues`. Replace those utilities by `Value.getBorrowIntroducers` and `Value.getEnclosingValues`, which return a lazily computed Sequence of borrowed/enclosing values.	2024-04-10 13:38:10 +02:00
Meghana Gupta	1dc713e2f7	Add new flags "reborrow" and "escaping" to SILArgument. ... "reborrow" flag on the SILArgument avoids transitive walk over the phi operandsi to determine if it is a reborrow in multiple utilities. SIL transforms must keep the flag up-to-date by calling SILArgument::setReborrow. SILVerifier checks to ensure the flag is not invalidated. Currently "escaping" is not used anywhere.	2023-05-11 12:31:37 -07:00
Meghana Gupta	35d45deb95	Add verification to make sure guaranteed forwarding phi has guaranteed forwarding operands on all paths	2022-12-13 12:51:31 -08:00
Meghana Gupta	786eb94853	Support @guaranteed forwarding phis	2022-10-19 19:54:27 -07:00