Skip to content

Commit aa1cef3

Browse files
committed
Add '@differentiable(linear)' SIL parsing test.
1 parent a1b6f02 commit aa1cef3

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

test/AutoDiff/differentiable_sil_function_type_parse.sil

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,3 +34,13 @@ bb0:
3434
%ret = tuple ()
3535
return %ret : $()
3636
}
37+
38+
sil @takeAndReturnLinear : $@convention(thin) (@differentiable(linear) (Float) -> Float) -> @differentiable(linear) (Float) -> Float {
39+
bb0(%0 : $@differentiable(linear) (Float) -> Float):
40+
return %0 : $@differentiable(linear) (Float) -> Float
41+
}
42+
43+
// CHECK-LABEL: sil @takeAndReturnLinear : $@convention(thin) (@differentiable(linear) (Float) -> Float) -> @differentiable(linear) (Float) -> Float {
44+
// CHECK: bb0([[ARG:%.*]] : $@differentiable(linear) (Float) -> Float):
45+
// CHECK: return [[ARG]] : $@differentiable(linear) (Float) -> Float
46+
// CHECK: }

0 commit comments

Comments
 (0)