mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
eb82df6bc6
Add support for differentiable functions having multiple semantic results Co-authored-by: Brad Larson <larson@sunsetlakesoftware.com>
30 lines
1.3 KiB
Swift
30 lines
1.3 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend %s -emit-module -parse-as-library -o %t
|
|
// RUN: llvm-bcanalyzer %t/differentiable_function.swiftmodule | %FileCheck %s -check-prefix=BCANALYZER
|
|
// RUN: %target-sil-opt -enable-sil-verify-all %t/differentiable_function.swiftmodule -o - | %FileCheck %s
|
|
|
|
// BCANALYZER-NOT: UnknownCode
|
|
|
|
import _Differentiation
|
|
|
|
func a(_ f: @differentiable(reverse) (Float) -> Float) {}
|
|
// CHECK: func a(_ f: @differentiable(reverse) (Float) -> Float)
|
|
|
|
func b(_ f: @differentiable(_linear) (Float) -> Float) {}
|
|
// CHECK: func b(_ f: @differentiable(_linear) (Float) -> Float)
|
|
|
|
func c(_ f: @differentiable(reverse) (Float, @noDerivative Float) -> Float) {}
|
|
// CHECK: func c(_ f: @differentiable(reverse) (Float, @noDerivative Float) -> Float)
|
|
|
|
func d(_ f: @differentiable(reverse) (inout Float) -> ()) {}
|
|
// CHECK: func d(_ f: @differentiable(reverse) (inout Float) -> ())
|
|
|
|
func e(_ f: @differentiable(reverse) (inout Float, inout Float) -> ()) {}
|
|
// CHECK: func e(_ f: @differentiable(reverse) (inout Float, inout Float) -> ())
|
|
|
|
func f(_ f: @differentiable(reverse) (inout Float) -> Float) {}
|
|
// CHECK: func f(_ f: @differentiable(reverse) (inout Float) -> Float)
|
|
|
|
func g(_ f: @differentiable(reverse) (inout Float, Float) -> Float) {}
|
|
// CHECK: func g(_ f: @differentiable(reverse) (inout Float, Float) -> Float)
|