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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: %target-sil-opt -enable-sil-opaque-values -enable-sil-verify-all=0 -module-name Swift -o /dev/null %s 2>&1
// REQUIRES: asserts
// This file is meant to contain tests that previously the verifier treated
// incorrectly. This is important to ensure that the verifier does not
// regress. It should only deal with use matching of opaque types.
sil_stage raw
import Builtin
sil [ossa] @opaque_identity : $@convention(thin) <T> (@in T) -> @out T {
bb0(%0 : @owned $T):
return %0 : $T
}
sil [ossa] @opaque_copy : $@convention(thin) <T> (@in_guaranteed T) -> @out T {
bb0(%0 : @guaranteed $T):
%1 = copy_value %0 : $T
return %1 : $T
}
sil [ossa] @opaque_arg_copy : $@convention(thin) <T> (@in T) -> @out T {
bb0(%0 : @owned $T):
%1 = begin_borrow %0 : $T
%2 = copy_value %1 : $T
%9 = function_ref @opaque_identity : $@convention(thin) <T> (@in T) -> @out T
%11 = apply %9<T>(%2) : $@convention(thin) <τ_0_0> (@in τ_0_0) -> @out τ_0_0
end_borrow %1 : $T
destroy_value %0 : $T
return %11 : $T
}
sil [ossa] @opaque_arg_borrow : $@convention(thin) <T> (@in T) -> @out T {
bb0(%0 : @owned $T):
%1 = begin_borrow %0 : $T
%9 = function_ref @opaque_copy : $@convention(thin) <T> (@in_guaranteed T) -> @out T
%11 = apply %9<T>(%1) : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> @out τ_0_0
end_borrow %1 : $T
destroy_value %0 : $T
return %11 : $T
}
sil [ossa] @opaque_arg_guaranteed : $@convention(thin) <T> (@in_guaranteed T) -> @out T {
bb0(%0 : @guaranteed $T):
%1 = copy_value %0 : $T
%2 = begin_borrow %1 : $T
%3 = function_ref @opaque_copy : $@convention(thin) <T> (@in_guaranteed T) -> @out T
%4 = apply %3<T>(%2) : $@convention(thin) <T> (@in_guaranteed T) -> @out T
end_borrow %2 : $T
destroy_value %1 : $T
return %4 : $T
}
typealias AnyObject = Builtin.AnyObject
sil [ossa] @takeType : $@convention(thin) (@thick AnyObject.Type) -> () {
bb0(%0 : $@thick AnyObject.Type):
%18 = tuple ()
return %18 : $()
}
sil [ossa] @passTrivialAsOpaqueValue : $@convention(thin) (Builtin.Int64) -> () {
bb0(%0 : $Builtin.Int64):
%1 = function_ref @opaque_copy : $@convention(thin) <T> (@in_guaranteed T) -> @out T
%2 = apply %1<Builtin.Int64>(%0) : $@convention(thin) <T> (@in_guaranteed T) -> @out T
%3 = function_ref @opaque_arg_copy : $@convention(thin) <T> (@in T) -> @out T
apply %3<Builtin.Int64>(%0) : $@convention(thin) <T> (@in T) -> @out T
%9999 = tuple()
return %9999 : $()
}
|
