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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -parse-as-library -emit-module -emit-module-path=%t/Module.swiftmodule -module-name=Module -DMODULE %s -O -emit-sil -o %t/module.sil
// RUN: %target-swift-frontend -module-name=main -DMAIN %s -I%t -O -emit-sil | %FileCheck %s
// REQUIRES: swift_stdlib_no_asserts,optimized_stdlib
// REQUIRES: swift_in_compiler
#if MODULE
public struct Foo: Equatable {
@usableFromInline var optionA: Bool
@usableFromInline var optionB: Optional<Int>
public typealias ArrayLiteralElement = FooElement
public struct FooElement: Equatable {
@usableFromInline enum Backing: Equatable {
case a
case b(Int)
}
@usableFromInline var backing: Backing
@inlinable internal init(backing: Backing) {
self.backing = backing
}
public static let optionA = FooElement(backing: .a)
@inlinable
public static func getOptionA() -> FooElement {
return FooElement(backing: .a)
}
@inlinable
public static func optionB(_ x: Int) -> FooElement {
return FooElement(backing: .b(x))
}
}
}
extension Foo: ExpressibleByArrayLiteral {
@inlinable
@inline(never)
public init(arrayLiteral things: FooElement...) {
self.optionA = false
self.optionB = nil
for thing in things {
switch thing.backing {
case .a:
self.optionA = true
case .b(let x):
self.optionB = x
}
}
}
}
#endif
#if MAIN
import Module
// Check if the array literal can be stack promoted.
// CHECK-LABEL: sil @$s4main6testit6Module3FooVyF
// CHECK: alloc_ref{{.*}} [stack] [tail_elems $Foo.FooElement
// CHECK: } // end sil function '$s4main6testit6Module3FooVyF'
public func testit() -> Foo {
return [.optionA, .optionB(0xbeef), .optionA]
}
#endif
|
