-
Notifications
You must be signed in to change notification settings - Fork 10.5k
Lifetime dependence utilities #71055
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
8 commits
Select commit
Hold shift + click to select a range
a80686b
[SIL] bridge MoveValue and BeginBorrow .isFromVarDecl
atrick e7a3ceb
SwiftCompilerSources: add VarDecl.sourceLoc
atrick d9a8a0e
Added SourceDestAddrInstruction
atrick 3bf7e71
Add AddressUtils.swift
atrick 3f8a35e
ForwardingUtils comments and cleanup.
atrick d663924
Rewrite OwnershipUtils
atrick 37171e6
Handle mark_dependence [nonescaping] like a borrowing instruction.
atrick 2ef870a
Add LifetimeDependence utilities
atrick File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
178 changes: 178 additions & 0 deletions
178
SwiftCompilerSources/Sources/Optimizer/Utilities/AddressUtils.swift
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,178 @@ | ||
//===--- AddressUtils.swift - Utilities for handling SIL addresses -------===// | ||
// | ||
// This source file is part of the Swift.org open source project | ||
// | ||
// Copyright (c) 2014 - 2023 Apple Inc. and the Swift project authors | ||
// Licensed under Apache License v2.0 with Runtime Library Exception | ||
// | ||
// See https://swift.org/LICENSE.txt for license information | ||
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors | ||
// | ||
//===----------------------------------------------------------------------===// | ||
|
||
import SIL | ||
|
||
/// Classify address uses. This can be used by def-use walkers to | ||
/// ensure complete handling of all legal SIL patterns. | ||
/// | ||
/// TODO: Integrate this with SIL verification to ensure completeness. | ||
/// | ||
/// TODO: Convert AddressDefUseWalker to conform to AddressUtils after | ||
/// checking that the additional instructions are handled correctly by | ||
/// escape analysis. | ||
/// | ||
/// TODO: Verify that pointerEscape is only called for live ranges in which | ||
/// `findPointerEscape()` returns true. | ||
protocol AddressUseVisitor { | ||
var context: Context { get } | ||
|
||
/// An address projection produces a single address result and does not | ||
/// escape its address operand in any other way. | ||
mutating func projectedAddressUse(of operand: Operand, into value: Value) | ||
-> WalkResult | ||
|
||
/// An access scope: begin_access, begin_apply, load_borrow. | ||
mutating func scopedAddressUse(of operand: Operand) -> WalkResult | ||
|
||
/// A address leaf use cannot propagate the address bits beyond the | ||
/// instruction. | ||
/// | ||
/// An apply or builtin propagates an address into the callee, but | ||
/// it is considered a leaf use as long as the argument does not escape. | ||
mutating func leafAddressUse(of operand: Operand) -> WalkResult | ||
|
||
/// A loaded address use propagates the value at the address. | ||
mutating func loadedAddressUse(of operand: Operand, into value: Value) | ||
-> WalkResult | ||
|
||
/// A loaded address use propagates the value at the address to the | ||
/// destination address operand. | ||
mutating func loadedAddressUse(of operand: Operand, into address: Operand) | ||
-> WalkResult | ||
|
||
/// A non-address owned `value` whose ownership depends on the in-memory | ||
/// value at `address`, such as `mark_dependence %value on %address`. | ||
mutating func dependentAddressUse(of operand: Operand, into value: Value) | ||
-> WalkResult | ||
|
||
/// A pointer escape may propagate the address beyond the current instruction. | ||
mutating func escapingAddressUse(of operand: Operand) -> WalkResult | ||
|
||
/// A unknown address use. This should never be called in valid SIL. | ||
mutating func unknownAddressUse(of operand: Operand) -> WalkResult | ||
} | ||
|
||
extension AddressUseVisitor { | ||
/// Classify an address-type operand, dispatching to one of the | ||
/// protocol methods above. | ||
mutating func classifyAddress(operand: Operand) -> WalkResult { | ||
switch operand.instruction { | ||
case is BeginAccessInst, is BeginApplyInst, is LoadBorrowInst, | ||
is StoreBorrowInst: | ||
return scopedAddressUse(of: operand) | ||
|
||
case let markDep as MarkDependenceInst: | ||
if markDep.valueOperand == operand { | ||
return projectedAddressUse(of: operand, into: markDep) | ||
} | ||
assert(markDep.baseOperand == operand) | ||
// If another address depends on the current address, | ||
// handle it like a projection. | ||
if markDep.type.isAddress { | ||
return projectedAddressUse(of: operand, into: markDep) | ||
} | ||
if LifetimeDependence(markDependence: markDep, context) != nil { | ||
// This is unreachable from InteriorUseVisitor because the | ||
// base address of a `mark_dependence [nonescaping]` must be a | ||
// `begin_access`, and interior liveness does not check uses of | ||
// the accessed address. | ||
return dependentAddressUse(of: operand, into: markDep) | ||
} | ||
// A potentially escaping value depends on this address. | ||
return escapingAddressUse(of: operand) | ||
|
||
case let pai as PartialApplyInst where pai.isOnStack: | ||
return dependentAddressUse(of: operand, into: pai) | ||
|
||
case let pai as PartialApplyInst where !pai.isOnStack: | ||
return escapingAddressUse(of: operand) | ||
|
||
case is AddressToPointerInst: | ||
return escapingAddressUse(of: operand) | ||
|
||
case is StructElementAddrInst, is TupleElementAddrInst, | ||
is IndexAddrInst, is TailAddrInst, is TuplePackElementAddrInst, | ||
is InitEnumDataAddrInst, is UncheckedTakeEnumDataAddrInst, | ||
is InitExistentialAddrInst, is OpenExistentialAddrInst, | ||
is ProjectBlockStorageInst, is UncheckedAddrCastInst, | ||
is UnconditionalCheckedCastAddrInst, | ||
is MarkUninitializedInst, is DropDeinitInst, | ||
is CopyableToMoveOnlyWrapperAddrInst, | ||
is MoveOnlyWrapperToCopyableAddrInst, | ||
is MarkUnresolvedNonCopyableValueInst: | ||
let svi = operand.instruction as! SingleValueInstruction | ||
return projectedAddressUse(of: operand, into: svi) | ||
|
||
case is ReturnInst, is ThrowInst, is YieldInst, is TryApplyInst, | ||
is SwitchEnumAddrInst, is CheckedCastAddrBranchInst, | ||
is SelectEnumAddrInst, is InjectEnumAddrInst, | ||
is StoreInst, is StoreUnownedInst, is StoreWeakInst, | ||
is AssignInst, is AssignByWrapperInst, is AssignOrInitInst, | ||
is TupleAddrConstructorInst, is InitBlockStorageHeaderInst, | ||
is RetainValueAddrInst, is ReleaseValueAddrInst, | ||
is DestroyAddrInst, is DeallocStackInst, | ||
is DeinitExistentialAddrInst, | ||
is EndApplyInst, is IsUniqueInst, is MarkFunctionEscapeInst, | ||
is PackElementSetInst: | ||
return leafAddressUse(of: operand) | ||
|
||
case is LoadInst, is LoadUnownedInst, is LoadWeakInst, | ||
is ValueMetatypeInst, is ExistentialMetatypeInst, | ||
is PackElementGetInst: | ||
let svi = operand.instruction as! SingleValueInstruction | ||
return loadedAddressUse(of: operand, into: svi) | ||
|
||
case let sdai as SourceDestAddrInstruction | ||
where sdai.sourceOperand == operand: | ||
return loadedAddressUse(of: operand, into: sdai.destinationOperand) | ||
|
||
case let sdai as SourceDestAddrInstruction | ||
where sdai.destinationOperand == operand: | ||
return leafAddressUse(of: operand) | ||
|
||
case let builtin as BuiltinInst: | ||
switch builtin.id { | ||
case .Copy where builtin.operands[1] == operand: // source | ||
return loadedAddressUse(of: operand, into: builtin.operands[0]) | ||
|
||
case .Copy where builtin.operands[0] == operand: // dest | ||
return leafAddressUse(of: operand) | ||
|
||
// Builtins that cannot load a nontrivial value. | ||
case .TSanInoutAccess, .ResumeThrowingContinuationReturning, | ||
.ResumeNonThrowingContinuationReturning, .GenericAdd, | ||
.GenericFAdd, .GenericAnd, .GenericAShr, .GenericLShr, .GenericOr, | ||
.GenericFDiv, .GenericMul, .GenericFMul, .GenericSDiv, | ||
.GenericExactSDiv, .GenericShl, .GenericSRem, .GenericSub, | ||
.GenericFSub, .GenericUDiv, .GenericExactUDiv, .GenericURem, | ||
.GenericFRem, .GenericXor, .TaskRunInline, .ZeroInitializer, | ||
.GetEnumTag, .InjectEnumTag: | ||
return leafAddressUse(of: operand) | ||
default: | ||
// TODO: SIL verification should check that this exhaustively | ||
// recognizes all builtin address uses. | ||
return .abortWalk | ||
} | ||
|
||
case is BranchInst, is CondBranchInst: | ||
fatalError("address phi is not allowed") | ||
|
||
default: | ||
if operand.instruction.isIncidentalUse { | ||
return leafAddressUse(of: operand) | ||
} | ||
// Unkown instruction. | ||
return unknownAddressUse(of: operand) | ||
} | ||
} | ||
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
How would that work? The problem is that AddressDefUseWalker is passing a Path down the walk functions.