mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
https://bugs.swift.org/browse/SR-12732
3 AutoDiff test failures: crashing in SIL verification
Failing Tests (3):
06:26:12 Swift(macosx-x86_64) :: AutoDiff/validation-test/derivative_registration.swift
06:26:12 Swift(macosx-x86_64) :: AutoDiff/validation-test/custom_derivatives.swift
06:26:12 Swift(macosx-x86_64) :: AutoDiff/stdlib/derivative_customization.swift
Possibly from:
commit 738ef730e8
Author: Dan Zheng <danielzheng@google.com>
Date: Mon May 4 00:44:48 2020 -0700
[AutoDiff] Fix `@differentiable` attribute derivative configurations. (#31524)
56 lines
1.4 KiB
Swift
56 lines
1.4 KiB
Swift
// RUN: %target-run-simple-swift
|
|
// REQUIRES: executable_test
|
|
|
|
// REQUIRES: SR12732
|
|
|
|
import DifferentiationUnittest
|
|
import StdlibUnittest
|
|
|
|
var DerivativeCustomizationTests = TestSuite("DerivativeCustomization")
|
|
|
|
DerivativeCustomizationTests.testWithLeakChecking("withDerivative") {
|
|
do {
|
|
var counter = 0
|
|
func callback(_ x: inout Tracked<Float>) { counter += 1 }
|
|
_ = gradient(at: 4) { (x: Tracked<Float>) -> Tracked<Float> in
|
|
// Non-active value should not be differentiated, so `callback` should
|
|
// not be called.
|
|
_ = x.withDerivative(callback)
|
|
return x.withDerivative(callback) + x.withDerivative(callback)
|
|
}
|
|
expectEqual(2, counter)
|
|
}
|
|
|
|
expectEqual(
|
|
30,
|
|
gradient(at: 4) { (x: Tracked<Float>) in
|
|
x.withDerivative { $0 = 10 } + x.withDerivative { $0 = 20 }
|
|
})
|
|
}
|
|
|
|
DerivativeCustomizationTests.testWithLeakChecking("withoutDerivative") {
|
|
expectEqual(
|
|
0,
|
|
gradient(at: Tracked<Float>(4)) { x -> Tracked<Float> in
|
|
withoutDerivative(at: x) { x in
|
|
x * x * x
|
|
}
|
|
})
|
|
|
|
expectEqual(
|
|
0,
|
|
gradient(at: Tracked<Float>(4)) { x -> Tracked<Float> in
|
|
let y = withoutDerivative(at: x)
|
|
return y * y * y
|
|
})
|
|
|
|
expectEqual(
|
|
2,
|
|
gradient(at: Tracked<Float>(4)) { x -> Tracked<Float> in
|
|
let y = withoutDerivative(at: x)
|
|
return x + y * y * y + x
|
|
})
|
|
}
|
|
|
|
runAllTests()
|