Skip to content

Commit e28f590

Browse files
committed
Removing undefined variables from mem2reg_lifetime.sil
FileCheck on the rebranch doesn't allow undefined variables. If the variable is defined in a CHECK-NOT and the CHECK-NOT doesn't get hit, the variable isn't actually defined.
1 parent d301f66 commit e28f590

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

test/SILOptimizer/mem2reg_lifetime.sil

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -310,7 +310,6 @@ bb2:
310310

311311
// CHECK: bb3([[ARG:%.*]] : @owned $@callee_owned () -> Int):
312312
bb3:
313-
// CHECK-NOT: load [[STACK]]
314313
%13 = load [copy] %1 : $*@callee_owned () -> Int
315314
// CHECK: [[COPY:%.*]] = copy_value [[ARG]]
316315
// CHECK: [[RESULT:%.*]] = apply [[COPY]]
@@ -322,10 +321,8 @@ bb3:
322321
// block.
323322
// CHECK: bb4
324323
bb4:
325-
// CHECK-NOT: destroy_addr [[STACK]]
326324
// CHECK: destroy_value [[ARG]]
327325
destroy_addr %1 : $*@callee_owned () -> Int
328-
// CHECK-NOT: dealloc_stack [[STACK]]
329326
dealloc_stack %1 : $*@callee_owned () -> Int
330327
return %15 : $Int
331328
}

0 commit comments

Comments
 (0)