File: stack_promotion_2_modules.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (78 lines) | stat: -rw-r--r-- 1,976 bytes parent folder | download
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