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
|
// RUN: %target-sil-opt -emit-sorted-sil -verify-continue-on-failure -o /dev/null %s 2>&1 | %FileCheck %s
// REQUIRES: asserts
sil_stage lowered
import Builtin
class C {}
// CHECK-LABEL: Begin Error in function alloc_pack_metadata_before_tuple
// CHECK: SIL verification failed: Introduces instruction of kind which cannot emit on-stack pack metadata:
// CHECK-LABEL: End Error in function alloc_pack_metadata_before_tuple
sil @alloc_pack_metadata_before_tuple : $@convention(thin) () -> () {
%marker = alloc_pack_metadata $()
%retval = tuple ()
dealloc_pack_metadata %marker : $*()
return %retval : $()
}
// CHECK-LABEL: Begin Error in function dealloc_pack_metadata_with_bad_operand
// CHECK: SIL verification failed: stack dealloc does not match most recent stack alloc:
// CHECK-LABEL: End Error in function dealloc_pack_metadata_with_bad_operand
// CHECK-LABEL: Begin Error in function dealloc_pack_metadata_with_bad_operand
// CHECK: SIL verification failed: Must have alloc_pack_metadata operand
// CHECK-LABEL: End Error in function dealloc_pack_metadata_with_bad_operand
sil @dealloc_pack_metadata_with_bad_operand : $@convention(thin) <each T> () -> () {
%marker = alloc_pack_metadata $()
// To make the %marker legal.
%out = apply undef<Pack{repeat each T}>() : $@convention(thin) <each T>() -> ()
dealloc_pack_metadata %out : $()
%retval = tuple ()
return %retval : $()
}
|
