averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update access base for borrow/mutate accessors in SwiftCompilerSources

Browse Source
This commit is contained in:
Meghana Gupta
2025-10-28 11:49:02 -07:00
parent a0eb58fa07
commit 32cd86f719
2 changed files with 33 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
SwiftCompilerSources/Sources/SIL/Utilities/WalkUtils.swift
View File

@@ -838,6 +838,9 @@ extension AddressUseDefWalker {
} else { } else {
return walkUp(address: ia.base, path: path.push(.anyIndexedElement, index: 0)) return walkUp(address: ia.base, path: path.push(.anyIndexedElement, index: 0))
} }
case let apply as ApplyInst:
let selfArgument = apply.arguments.last!
return walkUp(address: selfArgument, path: path.push(.anyValueFields, index: 0))
case is BeginAccessInst, case is BeginAccessInst,
is MarkDependenceInst, is MarkDependenceInst,
is MarkUninitializedInst, is MarkUninitializedInst,

30
test/SILOptimizer/accessbase_unit.sil
View File

@@ -86,3 +86,33 @@ bb0(%0 : @owned $C):
%9999 = tuple() %9999 = tuple()
return %9999 : $() return %9999 : $()
} }
public struct GenWrapper<T> {
@_hasStorage var _prop: T { get set }
public var prop: T
}
sil @borrow_addressonly_prop : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
// CHECK: begin running test 1 of 2 on test_borrow_base: get_access_base with: %2
// CHECK: sil [ossa] @test_borrow_base : $@convention(thin) <T> (@in_guaranteed GenWrapper<T>) -> @guaranteed_address T {
// CHECK: bb0(%0 : $*GenWrapper<T>):
// CHECK: %1 = function_ref @borrow_addressonly_prop : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
// CHECK: %2 = apply %1<T>(%0) : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
// CHECK: return %2
// CHECK: }
// CHECK: Address: %2 = apply %1<T>(%0) : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
// CHECK: Base: %0 = argument of bb0 : $*GenWrapper<T>
// CHECK: end running test 1 of 2 on test_borrow_base: get_access_base with: %2
// CHECK: begin running test 2 of 2 on test_borrow_base: swift_get_access_base with: %2
// CHECK: Address: %2 = apply %1<T>(%0) : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
// CHECK: Base: argument - %0 = argument of bb0 : $*GenWrapper<T>
sil [ossa] @test_borrow_base : $@convention(thin) <T> (@in_guaranteed GenWrapper<T>) -> @guaranteed_address T {
bb0(%0 : $*GenWrapper<T>):
%1 = function_ref @borrow_addressonly_prop : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
%2 = apply %1<T>(%0) : $@convention(method) <τ_0_0> (@in_guaranteed GenWrapper<τ_0_0>) -> @guaranteed_address τ_0_0
specify_test "get_access_base %2"
specify_test "swift_get_access_base %2"
return %2
}