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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
// RUN: %sil-opt -temp-rvalue-opt %s -o /dev/null
// This test exposes a bug in the MemBehavior cache invalidation mechanism.
// With this bug, the optimizer aborts with a SIL memory lifetime failure
// (only on linux).
sil_stage canonical
import Builtin
import Swift
import SwiftShims
public struct Complex<RealType> where RealType : FloatingPoint {
@usableFromInline
@_hasStorage internal var x: RealType { get set }
@usableFromInline
@_hasStorage internal var y: RealType { get set }
init(_ real: RealType, _ imaginary: RealType)
}
extension Complex {
var phase: RealType { get }
}
extension Complex {
public static func log(_ z: Complex<RealType>, _ b: Bool) -> Complex<RealType>
}
sil [ossa] @callee : $@convention(method) <RealType where RealType : FloatingPoint> (@in_guaranteed Complex<RealType>) -> @out RealType
sil [ossa] @test : $@convention(method) <RealType where RealType : FloatingPoint> (@in_guaranteed Complex<RealType>, Bool, @thin Complex<RealType>.Type) -> @out Complex<RealType> {
bb0(%0 : $*Complex<RealType>, %1 : $*Complex<RealType>, %2 : $Bool, %3 : $@thin Complex<RealType>.Type):
debug_value %1 : $*Complex<RealType>, let, name "z", argno 1, expr op_deref
debug_value %2 : $Bool, let, name "b", argno 2
debug_value %3 : $@thin Complex<RealType>.Type, let, name "self", argno 3
%7 = alloc_stack $RealType, let, name "θ"
%8 = alloc_stack $Complex<RealType>
copy_addr %1 to [init] %8 : $*Complex<RealType>
%10 = function_ref @callee : $@convention(method) <τ_0_0 where τ_0_0 : FloatingPoint> (@in_guaranteed Complex<τ_0_0>) -> @out τ_0_0
%11 = apply %10<RealType>(%7, %8) : $@convention(method) <τ_0_0 where τ_0_0 : FloatingPoint> (@in_guaranteed Complex<τ_0_0>) -> @out τ_0_0
destroy_addr %8 : $*Complex<RealType>
dealloc_stack %8 : $*Complex<RealType>
%14 = integer_literal $Builtin.Int1, -1
%15 = struct_extract %2 : $Bool, #Bool._value
%16 = builtin "cmp_eq_Int1"(%15 : $Builtin.Int1, %14 : $Builtin.Int1) : $Builtin.Int1
cond_br %16, bb1, bb2
bb1:
%18 = metatype $@thick RealType.Type
%19 = alloc_stack $RealType
%20 = witness_method $RealType, #FloatingPoint.infinity!getter : <Self where Self : FloatingPoint> (Self.Type) -> () -> Self : $@convention(witness_method: FloatingPoint) <τ_0_0 where τ_0_0 : FloatingPoint> (@thick τ_0_0.Type) -> @out τ_0_0
%21 = apply %20<RealType>(%19, %18) : $@convention(witness_method: FloatingPoint) <τ_0_0 where τ_0_0 : FloatingPoint> (@thick τ_0_0.Type) -> @out τ_0_0
%22 = alloc_stack $RealType
copy_addr [take] %7 to [init] %22 : $*RealType
%24 = alloc_stack $Complex<RealType>
%25 = alloc_stack $RealType
copy_addr [take] %19 to [init] %25 : $*RealType
%27 = struct_element_addr %24 : $*Complex<RealType>, #Complex.x
copy_addr [take] %25 to [init] %27 : $*RealType
dealloc_stack %25 : $*RealType
%30 = alloc_stack $RealType
copy_addr [take] %22 to [init] %30 : $*RealType
%32 = struct_element_addr %24 : $*Complex<RealType>, #Complex.y
copy_addr [take] %30 to [init] %32 : $*RealType
dealloc_stack %30 : $*RealType
copy_addr %24 to [init] %0 : $*Complex<RealType>
destroy_addr %24 : $*Complex<RealType>
dealloc_stack %24 : $*Complex<RealType>
%38 = tuple ()
dealloc_stack %22 : $*RealType
dealloc_stack %19 : $*RealType
dealloc_stack %7 : $*RealType
br bb3
bb2:
%43 = metatype $@thick RealType.Type
%44 = alloc_stack $RealType
%45 = witness_method $RealType, #FloatingPoint.infinity!getter : <Self where Self : FloatingPoint> (Self.Type) -> () -> Self : $@convention(witness_method: FloatingPoint) <τ_0_0 where τ_0_0 : FloatingPoint> (@thick τ_0_0.Type) -> @out τ_0_0
%46 = apply %45<RealType>(%44, %43) : $@convention(witness_method: FloatingPoint) <τ_0_0 where τ_0_0 : FloatingPoint> (@thick τ_0_0.Type) -> @out τ_0_0
%47 = alloc_stack $RealType
copy_addr [take] %7 to [init] %47 : $*RealType
%49 = alloc_stack $Complex<RealType>
%50 = alloc_stack $RealType
copy_addr [take] %44 to [init] %50 : $*RealType
%52 = struct_element_addr %49 : $*Complex<RealType>, #Complex.x
copy_addr [take] %50 to [init] %52 : $*RealType
dealloc_stack %50 : $*RealType
%55 = alloc_stack $RealType
copy_addr [take] %47 to [init] %55 : $*RealType
%57 = struct_element_addr %49 : $*Complex<RealType>, #Complex.y
copy_addr [take] %55 to [init] %57 : $*RealType
dealloc_stack %55 : $*RealType
copy_addr %49 to [init] %0 : $*Complex<RealType>
destroy_addr %49 : $*Complex<RealType>
dealloc_stack %49 : $*Complex<RealType>
%63 = tuple ()
dealloc_stack %47 : $*RealType
dealloc_stack %44 : $*RealType
dealloc_stack %7 : $*RealType
br bb3
bb3:
%68 = tuple ()
return %68 : $()
}
sil_property #Complex.x<τ_0_0 where τ_0_0 : FloatingPoint> ()
sil_property #Complex.y<τ_0_0 where τ_0_0 : FloatingPoint> ()
|
