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
72
73
74
75
76
77
78
79
80
81
82
83
84
|
// RUN: %target-sil-opt -enable-sil-verify-all -sil-print-debuginfo -copy-forwarding %s | %FileCheck %s
sil_stage canonical
import Builtin
import Swift
sil_scope 1 { loc "backward.swift":66:24 parent @backward : $@convention(method) <τ_0_0> (@inout CollectionOfOne<τ_0_0>.Iterator) -> @out Optional<τ_0_0> }
sil_scope 2 { loc "backward.swift":67:9 parent 1 }
// CHECK-LABEL: sil {{.+}} @backward
sil [serialized] [ossa] @backward : $@convention(method) <Element> (@inout CollectionOfOne<Element>.Iterator) -> @out Optional<Element> {
[%0: write v**]
[%1: read s0.v**, write s0.v**, copy s0.v**, destroy s0.v**]
[global: read,write,copy,destroy,allocate,deinit_barrier]
bb0(%0 : $*Optional<Element>, %1 : $*CollectionOfOne<Element>.Iterator):
debug_value %1 : $*CollectionOfOne<Element>.Iterator, var, name "self", argno 1, expr op_deref, loc "backward.swift":66:24, scope 1
%3 = alloc_stack [lexical] [var_decl] $Optional<Element>, let, name "result", loc "backward.swift":67:9, scope 2
%4 = struct_element_addr %1 : $*CollectionOfOne<Element>.Iterator, #CollectionOfOne.Iterator._elements, loc "backward.swift":67:18, scope 1
// CHECK: debug_value %{{[0-9]+}} : $*Optional<Element>, let, (name "result", loc "backward.swift":67:9), expr op_deref, loc "backward.swift":67:18, scope 2
copy_addr %4 to [init] %3 : $*Optional<Element>, loc "backward.swift":67:18, scope 1
%6 = alloc_stack $Optional<Element>, loc "backward.swift":68:17, scope 2
inject_enum_addr %6 : $*Optional<Element>, #Optional.none!enumelt, loc "backward.swift":68:17, scope 2
%8 = struct_element_addr %1 : $*CollectionOfOne<Element>.Iterator, #CollectionOfOne.Iterator._elements, loc "backward.swift":68:15, scope 2
copy_addr [take] %6 to %8 : $*Optional<Element>, loc "backward.swift":68:15, scope 2
dealloc_stack %6 : $*Optional<Element>, loc "backward.swift":68:17, scope 2
copy_addr [take] %3 to [init] %0 : $*Optional<Element>, loc "backward.swift":69:12, scope 2
dealloc_stack %3 : $*Optional<Element>, loc "backward.swift":70:3, scope 2
%13 = tuple (), loc "backward.swift":70:3, scope 2
return %13 : $(), loc "backward.swift":69:5, scope 2
} // end sil function 'backward'
sil_scope 10 { loc "tempcopy.swift":714:27 parent @tempcopy : $@convention(method) <τ_0_0 where τ_0_0 : Strideable, τ_0_0.Stride : SignedInteger> (@in PartialRangeFrom<τ_0_0>) -> @out PartialRangeFrom<τ_0_0>.Iterator }
sil_scope 12 { loc "tempcopy.swift":715:12 parent 10 }
// CHECK-LABEL: sil {{.+}} @tempcopy
sil [serialized] [ossa] @tempcopy : $@convention(method) <Bound where Bound : Strideable, Bound.Stride : SignedInteger> (@in PartialRangeFrom<Bound>) -> @out PartialRangeFrom<Bound>.Iterator {
[%0: write v**]
[%1: read v**, write v**, copy s0.v**, destroy v**]
[global: read,write,copy,destroy,allocate,deinit_barrier]
bb0(%0 : $*PartialRangeFrom<Bound>.Iterator, %1 : $*PartialRangeFrom<Bound>):
debug_value %1 : $*PartialRangeFrom<Bound>, let, name "self", argno 1, expr op_deref, loc "tempcopy.swift":714:27, scope 10 // id: %2
%3 = struct_element_addr %1 : $*PartialRangeFrom<Bound>, #PartialRangeFrom.lowerBound, loc "tempcopy.swift":715:31, scope 10 // user: %5
%4 = alloc_stack $Bound, loc "tempcopy.swift":715:31, scope 10 // users: %8, %6, %10, %5
copy_addr [take] %3 to [init] %4 : $*Bound, loc "tempcopy.swift":715:31, scope 10 // id: %5
// CHECK: debug_value %{{[0-9]+}} : $*Bound, let, (name "_current", loc "tempcopy.swift":696:17
// CHECK-SAME: expr op_deref, loc "tempcopy.swift":715:31
debug_value %4 : $*Bound, let, name "_current", expr op_deref, loc "tempcopy.swift":696:17, scope 12 // id: %6
%7 = struct_element_addr %0 : $*PartialRangeFrom<Bound>.Iterator, #PartialRangeFrom.Iterator._current, loc "tempcopy.swift":696:50, scope 12 // user: %8
copy_addr [take] %4 to [init] %7 : $*Bound, loc "tempcopy.swift":696:50, scope 12 // id: %8
%9 = tuple (), loc * "tempcopy.swift":696:61, scope 12
dealloc_stack %4 : $*Bound, loc "tempcopy.swift":715:41, scope 10 // id: %10
%11 = tuple (), loc "tempcopy.swift":716:3, scope 10 // user: %12
return %11 : $(), loc "tempcopy.swift":715:5, scope 10 // id: %12
} // end sil function 'tempcopy'
sil @f_in : $@convention(thin) <T> (@in T) -> ()
// CHECK-LABEL: sil hidden [ossa] @forward_takeinit :
sil hidden [ossa] @forward_takeinit : $@convention(thin) <T> (@in T) -> () {
bb0(%0 : $*T):
// CHECK: debug_value %0 : $*T, let, (name "hello",{{.+}} expr op_deref
%l1 = alloc_stack $T, let, name "hello"
copy_addr [take] %0 to [init] %l1 : $*T
%f1 = function_ref @f_in : $@convention(thin) <τ_0_0> (@in τ_0_0) -> ()
%c1 = apply %f1<T>(%l1) : $@convention(thin) <τ_0_0> (@in τ_0_0) -> ()
dealloc_stack %l1 : $*T
%r1 = tuple ()
return %r1 : $()
}
// CHECK-LABEL: sil {{.+}} @forward :
sil [serialized] [ossa] @forward : $@convention(thin) <T> (@in T, Builtin.RawPointer) -> () {
bb0(%0 : $*T, %1 : $Builtin.RawPointer):
// CHECK: debug_value %0 : $*T, var, (name "value",{{.+}} expr op_deref
%2 = alloc_stack [lexical] [var_decl] $T, var, name "value"
copy_addr [take] %0 to [init] %2 : $*T
%5 = pointer_to_address %1 : $Builtin.RawPointer to [strict] $*T
copy_addr [take] %2 to [init] %5 : $*T
dealloc_stack %2 : $*T
%8 = tuple ()
return %8 : $()
} // end sil function 'forward'
|
