mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
e1749d245e
Value witness tables have a well-known symbol name, so there is nothing that the debug info adds on top of it. On top of that, the DWARF type we previously were emitting them with was bogus. rdar://problem/21777112
84 lines
2.9 KiB
Swift
84 lines
2.9 KiB
Swift
// RUN: %target-swift-frontend -primary-file %s -emit-ir -g -o - | FileCheck %s
|
|
|
|
// CHECK: ![[EMPTY:.*]] = !{}
|
|
|
|
enum Either {
|
|
case First(Int64), Second(String), Neither
|
|
// CHECK: !DICompositeType(tag: DW_TAG_union_type, name: "Either",
|
|
// CHECK-SAME: line: [[@LINE-3]],
|
|
// CHECK-SAME: size: 200,
|
|
}
|
|
let E : Either = .Neither;
|
|
|
|
// 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 {
|
|
// This is effectively a 2-bit bitfield:
|
|
// 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", align: 8{{[,)]}}
|
|
case none
|
|
// CHECK: !DIDerivedType(tag: DW_TAG_member, name: "just"
|
|
// CHECK-SAME: baseType: !"_TtTVs5Int64S__"
|
|
// CHECK-SAME: size: 128, 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() {}
|
|
}
|