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
|
// RUN: %target-swift-emit-silgen -module-name switch_default %s | %FileCheck %s
class Klass {}
protocol Protocol {}
enum Enum {
case value1(Klass)
case value2(Protocol)
}
// CHECK-LABEL: sil hidden [ossa] @$s14switch_default33testAddressOnlySubjectDefaultCaseyyAA4EnumOSgF : $@convention(thin) (@in_guaranteed Optional<Enum>) -> () {
// CHECK: bb0([[ARG:%.*]] :
// CHECK: [[STACK:%.*]] = alloc_stack $Optional<Enum>
// CHECK: copy_addr [[ARG]] to [init] [[STACK]]
// CHECK: switch_enum_addr [[STACK]] : $*Optional<Enum>, case #Optional.some!enumelt: [[SOME_BB:bb[0-9]*]], default [[DEFAULT_BB:bb[0-9]*]]
//
// CHECK: [[SOME_BB]]:
// CHECK: [[STACK_1:%.*]] = alloc_stack $Optional<Enum>
// CHECK: copy_addr [[STACK]] to [init] [[STACK_1]]
// CHECK: [[TAKEN_ADDR:%.*]] = unchecked_take_enum_data_addr [[STACK_1]]
// CHECK: switch_enum_addr [[TAKEN_ADDR]] : $*Enum, case #Enum.value2!enumelt: [[VALUE2_BB:bb[0-9]*]], default [[DEFAULT_BB_2:bb[0-9]*]]
//
// CHECK: [[VALUE2_BB]]:
// CHECK: [[TAKEN_TAKEN_ADDR:%.*]] = unchecked_take_enum_data_addr [[TAKEN_ADDR]]
// CHECK: destroy_addr [[TAKEN_TAKEN_ADDR]]
// CHECK: dealloc_stack [[STACK_1]]
// CHECK: destroy_addr [[STACK]]
// CHECK: dealloc_stack [[STACK]]
// CHECK: br [[EXIT_BB:bb[0-9]+]]
//
// We used to leak here!
// CHECK: [[DEFAULT_BB_2]]:
// CHECK: destroy_addr [[TAKEN_ADDR]]
// CHECK: dealloc_stack [[STACK_1]]
// CHECK: br [[CONT_BB:bb[0-9]*]]
//
// CHECK: [[DEFAULT_BB]]:
// CHECK: br [[CONT_BB]]
//
// CHECK: [[CONT_BB]]:
// CHECK: destroy_addr [[STACK]]
// CHECK: dealloc_stack [[STACK]]
// CHECK: br [[EXIT_BB]]
//
// CHECK: [[EXIT_BB]]:
// CHECK-NEXT: tuple
// CHECK-NEXT: return
// } // end sil function '$s14switch_default33testAddressOnlySubjectDefaultCaseyyAA4EnumOSgF'
func testAddressOnlySubjectDefaultCase(_ e: Enum?) {
switch (e) {
case .value2: return
default: return
}
}
|
