mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
92 lines
3.0 KiB
Swift
92 lines
3.0 KiB
Swift
// 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()
|
|
|