1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
// RUN: %target-swift-frontend -primary-file %s -O -sil-verify-all -module-name=test -emit-sil | %FileCheck %s
// Make a runtime test to check that the values are correct.
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -O -module-name=test %s -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck %s -check-prefix=CHECK-OUTPUT
// REQUIRES: executable_test,optimized_stdlib
// REQUIRES: swift_in_compiler
struct S {
var i: Int
var b: Int8
// CHECK-LABEL: sil_global hidden [let] @$s4test1SV4sizeSivpZ : $Int = {
// CHECK-NEXT: integer_literal
static let size = MemoryLayout<S>.size
// CHECK-LABEL: sil_global hidden [let] @$s4test1SV9alignmentSivpZ : $Int = {
// CHECK-NEXT: integer_literal
static let alignment = MemoryLayout<S>.alignment
// CHECK-LABEL: sil_global hidden [let] @$s4test1SV6strideSivpZ : $Int = {
// CHECK-NEXT: integer_literal
static let stride = MemoryLayout<S>.stride
static let doubleSize = MemoryLayout<S>.size * 2
}
// CHECK-LABEL: sil @$s4test14noConstantSizeySixmlF
// CHECK: builtin "sizeof"<T>
// CHECK: } // end sil function '$s4test14noConstantSizeySixmlF'
public func noConstantSize<T>(_ t: T.Type) -> Int {
return MemoryLayout<T>.size
}
// It's important to not constant propagate here to make sure that we are comparing
// SIL constant propagated values with IRGen values.
// CHECK-LABEL: sil {{.*}} @$s4test7getSizeySixmlF
// CHECK: builtin "sizeof"<T>
// CHECK: } // end sil function '$s4test7getSizeySixmlF'
@_optimize(none)
func getSize<T>(_ t: T.Type) -> Int {
return MemoryLayout<T>.size
}
// CHECK-LABEL: sil {{.*}} @$s4test12getAlignmentySixmlF
// CHECK: builtin "alignof"<T>
// CHECK: } // end sil function '$s4test12getAlignmentySixmlF'
@_optimize(none)
func getAlignment<T>(_ t: T.Type) -> Int {
return MemoryLayout<T>.alignment
}
// CHECK-LABEL: sil {{.*}} @$s4test9getStrideySixmlF
// CHECK: builtin "strideof"<T>
// CHECK: } // end sil function '$s4test9getStrideySixmlF'
@_optimize(none)
func getStride<T>(_ t: T.Type) -> Int {
return MemoryLayout<T>.stride
}
@inline(never)
func testit() {
// CHECK-OUTPUT: size: true
print("size: \(S.size == getSize(S.self))")
// CHECK-OUTPUT: alignment: true
print("alignment: \(S.alignment == getAlignment(S.self))")
// CHECK-OUTPUT: stride: true
print("stride: \(S.stride == getStride(S.self))")
// CHECK-OUTPUT: doubleSize: true
print("doubleSize: \(S.doubleSize == getSize(S.self) * 2)")
// CHECK-OUTPUT: metatype-size-1: true
print("metatype-size-1: \(MemoryLayout<S.Type>.size == MemoryLayout<UnsafeRawPointer>.size)")
// CHECK-OUTPUT: metatype-size-2: true
print("metatype-size-2: \(getSize(S.Type.self) == MemoryLayout<UnsafeRawPointer>.size)")
// CHECK-OUTPUT: metatype-alignment: true
print("metatype-alignment: \(getAlignment(S.Type.self) == MemoryLayout<UnsafeRawPointer>.alignment)")
// CHECK-OUTPUT: metatype-stride: true
print("metatype-stride: \(getStride(S.Type.self) == MemoryLayout<UnsafeRawPointer>.stride)")
}
testit()
|
