Skip to content

Commit 7d19418

Browse files
committed
OwnershipUtils review feedback: code formatting.
1 parent e6f3e8f commit 7d19418

File tree

3 files changed

+30
-16
lines changed

3 files changed

+30
-16
lines changed

SwiftCompilerSources/Sources/Optimizer/Utilities/BorrowUtils.swift

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -289,8 +289,12 @@ enum BeginBorrowValue {
289289
let inst = operand.instruction as! SingleValueInstruction
290290
self = BeginBorrowValue(inst)!
291291
case is BranchInst:
292-
guard let phi = Phi(using: operand) else { return nil }
293-
guard phi.isReborrow else { return nil }
292+
guard let phi = Phi(using: operand) else {
293+
return nil
294+
}
295+
guard phi.isReborrow else {
296+
return nil
297+
}
294298
self = .reborrow(phi)
295299
default:
296300
return nil
@@ -723,8 +727,9 @@ private struct EnclosingValues {
723727
in enclosingValues: inout Stack<Value>,
724728
_ cache: inout BorrowIntroducers.Cache) {
725729

726-
guard visitedReborrows.insert(reborrow.value) else { return }
727-
730+
guard visitedReborrows.insert(reborrow.value) else {
731+
return
732+
}
728733
// avoid duplicates in the enclosingValues set.
729734
var pushedEnclosingValues = ValueSet(context)
730735
defer { pushedEnclosingValues.deinitialize() }

SwiftCompilerSources/Sources/Optimizer/Utilities/ForwardingUtils.swift

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -145,14 +145,15 @@ func gatherLifetimeIntroducers(for value: Value, _ context: Context) -> [Value]
145145
introducers.append($0)
146146
return .continueWalk
147147
}
148-
defer { walker.visitedValues.deinitialize() }
148+
defer { walker.deinitialize() }
149149
_ = walker.walkUp(value: value)
150150
return introducers
151151
}
152152

153153
// TODO: visitor can be nonescaping when we have borrowed properties.
154154
func visitLifetimeIntroducers(for value: Value, _ context: Context,
155-
visitor: @escaping (Value) -> WalkResult) -> WalkResult {
155+
visitor: @escaping (Value) -> WalkResult)
156+
-> WalkResult {
156157
var walker = VisitLifetimeIntroducers(context, visitor: visitor)
157158
defer { walker.visitedValues.deinitialize() }
158159
return walker.walkUp(value: value)
@@ -167,6 +168,8 @@ private struct VisitLifetimeIntroducers : ForwardingUseDefWalker {
167168
self.visitedValues = ValueSet(context)
168169
}
169170

171+
mutating func deinitialize() { visitedValues.deinitialize() }
172+
170173
mutating func needWalk(for value: Value) -> Bool {
171174
visitedValues.insert(value)
172175
}

SwiftCompilerSources/Sources/Optimizer/Utilities/OwnershipLiveness.swift

Lines changed: 16 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ func computeInteriorLiveness(for definingValue: Value,
9595

9696
var range = InstructionRange(for: definingValue, context)
9797

98-
var visitor = InteriorUseVisitor(definingValue: definingValue, context) {
98+
var visitor = InteriorUseWalker(definingValue: definingValue, context) {
9999
range.insert($0.instruction)
100100
return .continueWalk
101101
}
@@ -159,7 +159,7 @@ func computeInteriorLiveness(for definingValue: Value,
159159
///
160160
/// TODO: Change the operandOwnership of MarkDependenceInst base operand.
161161
/// It should be a borrowing operand, not a pointer escape.
162-
struct InteriorUseVisitor: OwnershipUseVisitor, AddressUseVisitor {
162+
struct InteriorUseWalker: OwnershipUseVisitor, AddressUseVisitor {
163163
let context: FunctionPassContext
164164
var _context: Context { context }
165165

@@ -312,18 +312,22 @@ struct InteriorUseVisitor: OwnershipUseVisitor, AddressUseVisitor {
312312
}
313313

314314
func handleInner(borrow: BeginBorrowValue) -> WalkResult {
315-
guard let innerScopeHandler else { return .continueWalk }
315+
guard let innerScopeHandler else {
316+
return .continueWalk
317+
}
316318
return innerScopeHandler(borrow.value)
317319
}
318320

319321
func handleAccess(address: BeginAccessInst) -> WalkResult {
320-
guard let innerScopeHandler else { return .continueWalk }
322+
guard let innerScopeHandler else {
323+
return .continueWalk
324+
}
321325
return innerScopeHandler(address)
322326
}
323327
}
324328

325329
// Helpers to walk down forwarding operations.
326-
extension InteriorUseVisitor {
330+
extension InteriorUseWalker {
327331
// Walk down forwarding operands
328332
private mutating func walkDown(operand: Operand) -> WalkResult {
329333
// Record all uses
@@ -345,10 +349,12 @@ extension InteriorUseVisitor {
345349
}
346350

347351
private mutating func walkDownUses(of value: Value) -> WalkResult {
348-
guard value.ownership.hasLifetime else { return .continueWalk }
349-
350-
guard visited.insert(value) else { return .continueWalk }
351-
352+
guard value.ownership.hasLifetime else {
353+
return .continueWalk
354+
}
355+
guard visited.insert(value) else {
356+
return .continueWalk
357+
}
352358
switch value.ownership {
353359
case .owned:
354360
return visitUsesOfInner(value: value)
@@ -985,7 +991,7 @@ let interiorLivenessTest = FunctionTest("interior_liveness_swift") {
985991
var range = InstructionRange(for: value, context)
986992
defer { range.deinitialize() }
987993

988-
var visitor = InteriorUseVisitor(definingValue: value, context) {
994+
var visitor = InteriorUseWalker(definingValue: value, context) {
989995
range.insert($0.instruction)
990996
return .continueWalk
991997
}

0 commit comments

Comments
 (0)