@@ -24,7 +24,8 @@ func invokedDeinit() {}
2424 // CHECK: store {{.*}} to [init]
2525 // CHECK: [[SELF_MMC:%.*]] = mark_must_check [no_consume_or_assign] [[SELF_REF]] : $*MaybeFile
2626 // CHECK: [[SELF_VAL:%.*]] = load [copy] [[SELF_MMC]] : $*MaybeFile
27- // CHECK: switch_enum [[SELF_VAL]] : $MaybeFile, case #MaybeFile.some!enumelt: bb1, case #MaybeFile.none!enumelt: bb2
27+ // CHECK: [[DD:%.*]] = drop_deinit [[SELF_VAL]] : $MaybeFile
28+ // CHECK: switch_enum [[DD]] : $MaybeFile, case #MaybeFile.some!enumelt: bb1, case #MaybeFile.none!enumelt: bb2
2829 //
2930 // CHECK: bb1([[FILE:%.*]] : @owned $File):
3031 // CHECK: destroy_value [[FILE]] : $File
@@ -52,7 +53,8 @@ func invokedDeinit() {}
5253 // CHECK: load_borrow {{.*}} : $*File
5354 // CHECK: [[SELF_MMC:%.*]] = mark_must_check [no_consume_or_assign] [[SELF_REF]] : $*File
5455 // CHECK: [[SELF_VAL:%.*]] = load [copy] [[SELF_MMC]] : $*File
55- // CHECK: end_lifetime [[SELF_VAL]] : $File
56+ // CHECK: [[DD:%.*]] = drop_deinit [[SELF_VAL]] : $File
57+ // CHECK: end_lifetime [[DD]] : $File
5658
5759 deinit {
5860 invokedDeinit ( )
@@ -87,7 +89,8 @@ func invokedDeinit() {}
8789// CHECK: [[MMC:%.*]] = mark_must_check [no_consume_or_assign] [[ACCESS]] : $*PointerTree
8890// CHECK: [[COPIED_SELF:%.*]] = load [copy] [[MMC]] : $*PointerTree
8991// CHECK: end_access [[ACCESS]] : $*PointerTree
90- // CHECK: end_lifetime [[COPIED_SELF]]
92+ // CHECK: [[DD:%.*]] = drop_deinit [[COPIED_SELF]]
93+ // CHECK: end_lifetime [[DD]]
9194// CHECK: br bb3
9295//
9396// CHECK: bb2:
@@ -155,7 +158,8 @@ final class Wallet {
155158 // CHECK: [[SELF_MMC:%.*]] = mark_must_check [no_consume_or_assign] [[SELF_ACCESS]]
156159 // CHECK: [[SELF_COPY:%.*]] = load [copy] [[SELF_MMC]] : $*Ticket
157160 // CHECK: end_access [[SELF_ACCESS:%.*]] : $*Ticket
158- // CHECK: switch_enum [[SELF_COPY]] : $Ticket, case #Ticket.empty!enumelt: [[TICKET_EMPTY:bb[0-9]+]], case #Ticket.within!enumelt: [[TICKET_WITHIN:bb[0-9]+]]
161+ // CHECK: [[DD:%.*]] = drop_deinit [[SELF_COPY]] : $Ticket
162+ // CHECK: switch_enum [[DD]] : $Ticket, case #Ticket.empty!enumelt: [[TICKET_EMPTY:bb[0-9]+]], case #Ticket.within!enumelt: [[TICKET_WITHIN:bb[0-9]+]]
159163 // CHECK: [[TICKET_EMPTY]]:
160164 // CHECK: br [[JOIN_POINT:bb[0-9]+]]
161165 // CHECK: [[TICKET_WITHIN]]([[PREV_SELF_WALLET:%.*]] : @owned $Wallet):
0 commit comments