mirror of
https://github.com/apple/swift.git
synced 2026-10-28 21:15:56 +01:00
Kavon Farvardin
3f7b919a7a
This set of changes adds some of the missing support for borrow/inout accessors to SILGen and AddressLowering. rdar://180980139
65 lines
2.5 KiB
Swift
65 lines
2.5 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values -module-name main %s -define-availability 'InlineArray 0.1:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999'
|
|
|
|
// RUN: %target-swift-emit-silgen -module-name main %s -define-availability 'InlineArray 0.1:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999' | %FileCheck %s
|
|
|
|
@available(InlineArray 0.1, *)
|
|
struct S {
|
|
var a: InlineArray<40, Int> = .init(repeating: 0)
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}1SV1f
|
|
mutating func f(x: inout Int, y: Int) {
|
|
// CHECK: bb0({{.*}}, [[SELF:%.*]] : $*S):
|
|
// CHECK: [[ACCESS:%.*]] = begin_access [read] [unknown] [[SELF]]
|
|
// CHECK: [[ADDRESSOR:%.*]] = function_ref @$s{{.*}}11InlineArrayV
|
|
// CHECK: [[PTR:%.*]] = apply [[ADDRESSOR]]
|
|
// CHECK: load [trivial] [[PTR]]
|
|
// CHECK: end_access [[ACCESS]]
|
|
x += a[y]
|
|
}
|
|
}
|
|
|
|
@available(InlineArray 0.1, *)
|
|
final class C {
|
|
final var a: InlineArray<40, Int> = .init(repeating: 0)
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}1CC1f
|
|
func f(x: inout Int, y: Int) {
|
|
// CHECK: bb0({{.*}}, [[SELF:%.*]] : @guaranteed $C):
|
|
// CHECK: [[FIELD:%.*]] = ref_element_addr [[SELF]]
|
|
// CHECK: [[ACCESS:%.*]] = begin_access [read] [dynamic] [[FIELD]]
|
|
// CHECK: [[ADDRESSOR:%.*]] = function_ref @$s{{.*}}11InlineArrayV
|
|
// CHECK: [[PTR:%.*]] = apply [[ADDRESSOR]]
|
|
// CHECK: load [trivial] [[PTR]]
|
|
// CHECK: end_access [[ACCESS]]
|
|
x += a[y]
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}6tupleF
|
|
@available(InlineArray 0.1, *)
|
|
func tupleF(tuple: inout (Int, InlineArray<40, Int>), x: inout Int, y: Int) {
|
|
// CHECK: bb0([[TUPLE:%.*]] : $*(Int, InlineArray<40, Int>)
|
|
// CHECK: [[ACCESS:%.*]] = begin_access [read] [unknown] [[TUPLE]]
|
|
// CHECK: [[ADDRESSOR:%.*]] = function_ref @$s{{.*}}11InlineArrayV
|
|
// CHECK: [[PTR:%.*]] = apply [[ADDRESSOR]]
|
|
// CHECK: load [trivial] [[PTR]]
|
|
// CHECK: end_access [[ACCESS]]
|
|
x += tuple.1[y]
|
|
}
|
|
|
|
@available(InlineArray 0.1, *)
|
|
protocol P {
|
|
var a: InlineArray<40, Int> { get set }
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}12existentialF
|
|
@available(InlineArray 0.1, *)
|
|
func existentialF(e: inout P, x: inout Int, y: Int) {
|
|
// CHECK: [[TEMP:%.*]] = alloc_stack $InlineArray
|
|
// CHECK: [[ADDRESSOR:%.*]] = function_ref @$s{{.*}}11InlineArrayV
|
|
// CHECK: [[PTR:%.*]] = apply [[ADDRESSOR]]
|
|
// CHECK: load [trivial] [[PTR]]
|
|
// CHECK: dealloc_stack [[TEMP]]
|
|
x += e.a[y]
|
|
}
|