mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
17fc00f8a7
This attribute was introduced in 7eca38ce76d5d1915f4ab7e665964062c0b37697 (llvm-project). Match it using a wildcard regex, since it is not relevant to these tests. This is intended to reduce future conflicts with rebranch.
65 lines
3.4 KiB
Plaintext
65 lines
3.4 KiB
Plaintext
// RUN: %target-swift-emit-irgen -O \
|
|
// RUN: -parse-sil \
|
|
// RUN: -disable-type-layout \
|
|
// RUN: %s \
|
|
// RUN: -enable-experimental-feature RawLayout \
|
|
// RUN: | \
|
|
// RUN: %IRGenFileCheck %s
|
|
|
|
// REQUIRES: swift_feature_RawLayout
|
|
|
|
import Builtin
|
|
import Swift
|
|
|
|
@usableFromInline
|
|
@frozen @_rawLayout(like: Value, movesAsLike) internal struct _Cell<Value> : ~Copyable where Value : ~Copyable {
|
|
@_alwaysEmitIntoClient @inlinable deinit
|
|
}
|
|
|
|
struct Int {
|
|
var _value: Builtin.Int64
|
|
}
|
|
sil @deinit_count : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable> (moveonly_value_functions.Int, UnsafeMutablePointer<τ_0_0>) -> UnsafeMutableRawPointer
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s15Synchronization5_CellVAARi_zrlEfD"(
|
|
// CHECK-SAME: ptr %"_Cell<Value>",
|
|
// CHECK-SAME: ptr noalias swiftself [[SOURCE:%[0-9]+]]
|
|
// CHECK-SAME: )
|
|
// CHECK-SAME: {
|
|
// CHECK: entry:
|
|
// CHECK: [[CELL_VWT_ADDR:%[^,]+]] = getelementptr inbounds ptr, ptr %"_Cell<Value>", [[INT]] -1
|
|
// CHECK: %"_Cell<Value>.valueWitnesses" = load ptr, ptr [[CELL_VWT_ADDR]]
|
|
// CHECK: [[CELL_SIZE_ADDR:%[^,]+]] = getelementptr inbounds{{.*}} %swift.vwtable
|
|
// : ptr %"_Cell<Value>.valueWitnesses",
|
|
// CHECK-SAME: i32 0
|
|
// CHECK-SAME: i32 8
|
|
// CHECK: %size = load [[INT]], ptr [[CELL_SIZE_ADDR]]
|
|
// CHECK: [[DEST:%[^,]+]] = alloca i8, [[INT]] %size
|
|
// CHECK: call void @llvm.lifetime.start.p0(i64 -1, ptr [[DEST]])
|
|
// CHECK: [[VALUE_METADATA_ADDR:%[^,]+]] = getelementptr inbounds ptr, ptr %"_Cell<Value>", [[INT]] 2
|
|
// CHECK: %Value = load ptr, ptr [[VALUE_METADATA_ADDR]]
|
|
// CHECK: [[VALUE_VWT_ADDR:%[^,]+]] = getelementptr inbounds ptr, ptr %Value, [[INT]] -1
|
|
// CHECK: %Value.valueWitnesses = load ptr, ptr [[VALUE_VWT_ADDR]]
|
|
// CHECK: [[VALUE_INIT_WITH_TAKE_ADDR:%[^,]+]] = getelementptr inbounds ptr
|
|
// : ptr %Value.valueWitnesses
|
|
// CHECK-SAME: i32 4
|
|
// CHECK: %InitializeWithTake = load ptr, ptr [[VALUE_INIT_WITH_TAKE_ADDR]]
|
|
// CHECK: call ptr %InitializeWithTake(ptr noalias [[DEST]], ptr noalias [[SOURCE]], ptr %Value)
|
|
// CHECK: call swiftcc ptr @deinit_count(i64 1, ptr [[DEST]], ptr %Value)
|
|
// CHECK: call void @llvm.lifetime.end.p0(i64 -1, ptr [[DEST]])
|
|
// CHECK: }
|
|
sil @$s15Synchronization5_CellVAARi_zrlEfD : $@convention(method) <Value where Value : ~Copyable> (@in _Cell<Value>) -> () {
|
|
bb0(%0 : $*_Cell<Value>):
|
|
%1 = alloc_stack $_Cell<Value>
|
|
copy_addr [take] %0 to [init] %1 : $*_Cell<Value>
|
|
%7 = builtin "addressOfRawLayout"<_Cell<Value>>(%1 : $*_Cell<Value>) : $Builtin.RawPointer
|
|
%8 = struct $UnsafeMutablePointer<Value> (%7 : $Builtin.RawPointer)
|
|
%9 = integer_literal $Builtin.Int64, 1
|
|
%10 = struct $Int (%9 : $Builtin.Int64)
|
|
%11 = function_ref @deinit_count : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable> (moveonly_value_functions.Int, UnsafeMutablePointer<τ_0_0>) -> UnsafeMutableRawPointer
|
|
%12 = apply %11<Value>(%10, %8) : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable> (moveonly_value_functions.Int, UnsafeMutablePointer<τ_0_0>) -> UnsafeMutableRawPointer
|
|
%13 = tuple ()
|
|
dealloc_stack %1 : $*_Cell<Value>
|
|
return %13 : $()
|
|
}
|