- Notifications
You must be signed in to change notification settings - Fork 10.5k
/
Copy pathdifferentiable_function.swift
29 lines (20 loc) · 1.32 KB
/
differentiable_function.swift
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
// 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,@noDerivativeFloat)->Float){}
// CHECK: func c(_ f: @differentiable(reverse) (Float, @noDerivative Float) -> Float)
func d(_ f:@differentiable(reverse)(inoutFloat)->()){}
// CHECK: func d(_ f: @differentiable(reverse) (inout Float) -> ())
func e(_ f:@differentiable(reverse)(inoutFloat,inoutFloat)->()){}
// CHECK: func e(_ f: @differentiable(reverse) (inout Float, inout Float) -> ())
func f(_ f:@differentiable(reverse)(inoutFloat)->Float){}
// CHECK: func f(_ f: @differentiable(reverse) (inout Float) -> Float)
func g(_ f:@differentiable(reverse)(inoutFloat,Float)->Float){}
// CHECK: func g(_ f: @differentiable(reverse) (inout Float, Float) -> Float)
