mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7e99e84070
This may be useful for type layout of borrow fields in the future, should we decide that addressable-for-dependencies borrows should always be represented by a pointer. rdar://153650278
63 lines
2.2 KiB
Swift
63 lines
2.2 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %{python} %utils/chex.py < %s > %t/raw_layout_multifile.swift
|
|
// RUN: %target-swift-frontend -enable-experimental-feature BuiltinModule -enable-experimental-feature RawLayout -emit-ir -O -Xllvm -sil-disable-pass=deinit-devirtualizer -disable-availability-checking %s %S/Inputs/raw_layout_multifile_b.swift | %FileCheck %t/raw_layout_multifile.swift --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize
|
|
|
|
// REQUIRES: swift_feature_BuiltinModule
|
|
// REQUIRES: swift_feature_RawLayout
|
|
|
|
@_rawLayout(like: Int32)
|
|
public struct Foo<T>: ~Copyable {}
|
|
|
|
// CHECK-LABEL: @"$s{{[A-Za-z0-9_]*}}5MyIntVWV" = {{.*}} %swift.vwtable
|
|
// size
|
|
// CHECK-SAME: , {{i64|i32}} 4
|
|
// stride
|
|
// CHECK-SAME: , {{i64|i32}} 4
|
|
// flags: alignment 3, noncopyable, non-bitwise-borrowable, addressable for dependencies
|
|
// CHECK-SAME: , <i32 0x380_0003>
|
|
struct MyInt: ~Copyable {
|
|
let x: Int32Fake
|
|
}
|
|
|
|
// CHECK-LABEL: @"$s{{[A-Za-z0-9_]*}}9BadBufferVWV" = {{.*}} %swift.vwtable
|
|
// size
|
|
// CHECK-SAME: , {{i64|i32}} 48
|
|
// stride
|
|
// CHECK-SAME: , {{i64|i32}} 48
|
|
// flags: alignment 7, noncopyable, non-bitwise-borrowable, addressable for dependencies, is not inline
|
|
// CHECK-SAME: , <i32 0x382_0007>
|
|
struct BadBuffer: ~Copyable {
|
|
let buf = SmallVectorOf3<Int64?>()
|
|
}
|
|
|
|
// CHECK-LABEL: @"$s{{[A-Za-z0-9_]*}}5WeirdVWV" = {{.*}} %swift.vwtable
|
|
// size
|
|
// CHECK-SAME: , {{i64|i32}} 8
|
|
// stride
|
|
// CHECK-SAME: , {{i64|i32}} 8
|
|
// flags-32: alignment 7, noncopyable, non-bitwise-borrowable, addressable for dependencies, is not inline
|
|
// CHECK-32-SAME: , <i32 0x3820007>
|
|
// flags-64: alignment 7, noncopyable, non-bitwise-borrowable, addressable for dependencies
|
|
// CHECK-64-SAME: , <i32 0x3800007>
|
|
struct Weird: ~Copyable {
|
|
let value = UnsafeCell<Int64>()
|
|
}
|
|
|
|
// Force emission of Weird's descriptor to be lazy...
|
|
public func something() -> Int64 {
|
|
let x = Weird()
|
|
return x.value.address.pointee
|
|
}
|
|
|
|
// Force emission of BadBuffer's descriptor to be lazy...
|
|
public func something2() -> Int64? {
|
|
let buf = BadBuffer()
|
|
return buf.buf.address[1]
|
|
}
|
|
|
|
// Force emission of MyInt's descriptor to be lazy...
|
|
public func something3() -> Int32 {
|
|
let x = MyInt(x: Int32Fake())
|
|
return x.x.address.pointee
|
|
}
|