Avatar
omochimetaru 11/16/2021 12:45 PM
https://github.com/apple/swift/blob/main/lib/SILOptimizer/Transforms/CopyPropagation.cpp#L157-L159
swift/CopyPropagation.cpp at main · apple/swift
The Swift Programming Language. Contribute to apple/swift development by creating an account on GitHub.
Thumbnail
12:45 PM
/// Converts: /// %extract = struct_extract %src : $TypeWithSingleOwnershipValue /// %copy = copy_value %extract : $OwnershipValue /// To: /// %copy = copy_value %src : $TypeWithSingleOwnershipValue /// (%extracted,...) = destructure %copy : $OwnershipValue (edited)
12:45 PM
https://github.com/apple/swift/blob/main/lib/SILOptimizer/Transforms/CopyPropagation.cpp#L207
swift/CopyPropagation.cpp at main · apple/swift
The Swift Programming Language. Contribute to apple/swift development by creating an account on GitHub.
Thumbnail
12:45 PM
/// For types with a single reference member, converts /// src -> struct_extract -> copy /// into /// src -> copy -> destructure
12:46 PM
https://github.com/apple/swift/blob/main/lib/SILOptimizer/Transforms/CopyPropagation.cpp#L452
swift/CopyPropagation.cpp at main · apple/swift
The Swift Programming Language. Contribute to apple/swift development by creating an account on GitHub.
Thumbnail
12:46 PM
// Delete a dead forwarded value before sinking to avoid this pattern: // %outerVal = destructure_struct %def // destroy %outerVal <= delete this destroy now // destroy %def <= so we don't delete this one later