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
|
// RUN: %target-build-swift %s
// RUN: %target-swift-frontend -emit-sil %s | %FileCheck %s
// Test crashes related to differentiation and definite initialization.
// https://github.com/apple/swift/issues/55333
// SIL memory lifetime verification error due to `SILCloner::visitAllocStack`
// not copying the `[dynamic_lifetime]` attribute
// https://github.com/apple/swift/issues/55334
// Debug scope error for pullback struct `struct` instruction generated
// by `VJPEmitter`
// FIXME(https://github.com/apple/swift/issues/55466): Disabled due to flakiness on Linux, likely related to TF-1197.
// XFAIL: *
import _Differentiation
enum Enum {
case a
}
struct Tensor<T>: Differentiable {
@noDerivative var x: T
@noDerivative var optional: Int?
init(_ x: T, _ e: Enum) {
self.x = x
switch e {
case .a: optional = 1
}
}
// Definite initialization triggers for this initializer.
@differentiable(reverse)
init(_ x: T, _ other: Self) {
self = Self(x, Enum.a)
}
}
// Check that `allock_stack [dynamic_lifetime]` attribute is correctly cloned.
// CHECK-LABEL: sil hidden @$s4main6TensorVyACyxGx_ADtcfC : $@convention(method) <T> (@in T, @in Tensor<T>, @thin Tensor<T>.Type) -> @out Tensor<T> {
// CHECK: [[SELF_ALLOC:%.*]] = alloc_stack [dynamic_lifetime] $Tensor<T>, var, name "self"
// CHECK-LABEL: sil hidden @AD__$s4main6TensorVyACyxGx_ADtcfC__vjp_src_0_wrt_1_l : $@convention(method) <τ_0_0> (@in τ_0_0, @in Tensor<τ_0_0>, @thin Tensor<τ_0_0>.Type) -> (@out Tensor<τ_0_0>, @owned @callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Tensor<τ_0_0>.TangentVector, Tensor<τ_0_0>.TangentVector>) {
// CHECK: [[SELF_ALLOC:%.*]] = alloc_stack [dynamic_lifetime] $Tensor<τ_0_0>, var, name "self"
// Original error in https://github.com/apple/swift/issues/55333:
// SIL memory lifetime failure in @AD__$s5crash6TensorVyACyxGx_ADtcfC__vjp_src_0_wrt_1_l: memory is not initialized, but should
// memory location: %29 = struct_element_addr %5 : $*Tensor<τ_0_0>, #Tensor.x // user: %30
// at instruction: destroy_addr %29 : $*τ_0_0 // id: %30
// Original error in https://github.com/apple/swift/issues/55334:
// SIL verification failed: Basic block contains a non-contiguous lexical scope at -Onone: DS == LastSeenScope
// %26 = struct $_AD__$s5crash6TensorVyACyxGx_ADtcfC_bb0__PB__src_0_wrt_1_l<τ_0_0> () // users: %34, %28
|
