mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
75 lines
2.7 KiB
Swift
75 lines
2.7 KiB
Swift
// RUN: %target-swift-frontend -primary-file %s -emit-ir -g -o - | FileCheck %s
|
|
|
|
// CHECK: ![[EMPTY:.*]] = !{}
|
|
// CHECK: !DICompositeType(tag: DW_TAG_union_type, name: "Color",
|
|
// CHECK-SAME: line: [[@LINE+3]]
|
|
// CHECK-SAME: size: 8, align: 8,
|
|
// CHECK-SAME: identifier: "_TtO4enum5Color"
|
|
enum Color : UInt64 {
|
|
// CHECK: !DIDerivedType(tag: DW_TAG_member, name: "Red"
|
|
// CHECK-SAME: baseType: !"_TtVs6UInt64"
|
|
// CHECK-SAME: size: 8, align: 8{{[,)]}}
|
|
case Red, Green, Blue
|
|
}
|
|
|
|
// CHECK: !DICompositeType(tag: DW_TAG_union_type, name: "MaybeIntPair",
|
|
// CHECK-SAME: line: [[@LINE+3]],
|
|
// CHECK-SAME: size: 136, align: 64{{[,)]}}
|
|
// CHECK-SAME: identifier: "_TtO4enum12MaybeIntPair"
|
|
enum MaybeIntPair {
|
|
// CHECK: !DIDerivedType(tag: DW_TAG_member, name: "none"
|
|
// CHECK-SAME: baseType: !"_TtSi"
|
|
// CHECK-SAME: size: 136, align: 64{{[,)]}}
|
|
case none
|
|
// CHECK: !DIDerivedType(tag: DW_TAG_member, name: "just"
|
|
// CHECK-SAME: baseType: !"_TtTVs5Int64S__"
|
|
// CHECK-SAME: size: 136, align: 64{{[,)]}}
|
|
case just(Int64, Int64)
|
|
}
|
|
|
|
enum Maybe<T> {
|
|
case none
|
|
case just(T)
|
|
}
|
|
|
|
let r = Color.Red
|
|
let c = MaybeIntPair.just(74, 75)
|
|
// CHECK: !DICompositeType(tag: DW_TAG_union_type, name: "Maybe",
|
|
// CHECK-SAME: line: [[@LINE-8]],
|
|
// CHECK-SAME: size: 8, align: 8{{[,)]}}
|
|
// CHECK-SAME: identifier: "_TtGO4enum5MaybeOS_5Color_"
|
|
let movie : Maybe<Color> = .none
|
|
|
|
public enum Nothing { }
|
|
public func foo(empty : Nothing) { }
|
|
// CHECK: !DICompositeType({{.*}}name: "Nothing", {{.*}}elements: ![[EMPTY]]
|
|
|
|
// CHECK: !DICompositeType({{.*}}name: "Rose", {{.*}}elements: ![[ELTS:[0-9]+]],
|
|
// CHECK-SAME: {{.*}}identifier: "_TtGO4enum4Rosex_")
|
|
enum Rose<A> {
|
|
case MkRose(() -> A, () -> [Rose<A>])
|
|
// CHECK: !DICompositeType({{.*}}name: "Rose", {{.*}}elements: ![[ELTS]],
|
|
// CHECK-SAME: {{.*}}identifier: "_TtGO4enum4RoseQq_S0__")
|
|
case IORose(() -> Rose<A>)
|
|
}
|
|
|
|
func foo<T>(x : Rose<T>) -> Rose<T> { return x }
|
|
|
|
// CHECK: !DICompositeType({{.*}}name: "Tuple", {{.*}}elements: ![[ELTS:[0-9]+]],
|
|
// CHECK-SAME: {{.*}}identifier: "_TtGO4enum5Tuplex_")
|
|
public enum Tuple<P> {
|
|
// CHECK: !DICompositeType({{.*}}name: "Tuple", {{.*}}elements: ![[ELTS]],
|
|
// CHECK-SAME: {{.*}}identifier: "_TtGO4enum5TupleQq_S0__")
|
|
case C(P, () -> Tuple)
|
|
}
|
|
|
|
func bar<T>(x : Tuple<T>) -> Tuple<T> { return x }
|
|
|
|
public enum List<T> {
|
|
indirect case Tail(List, T)
|
|
case End
|
|
|
|
// CHECK: !DILocalVariable(name: "self", arg: 1, {{.*}} line: [[@LINE+1]], type: !"_TtGO4enum4ListQq_S0__", flags: DIFlagArtificial)
|
|
func fooMyList() {}
|
|
}
|