Skip to content

Commit aca1abb

Browse files
committed
Add Swift source for parsing test.
1 parent 835f1c0 commit aca1abb

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

test/AutoDiff/sil_differentiability_witness_parse.sil

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,24 @@
22

33
// Round-trip parsing and printing test.
44

5+
// Swift source code (`-emit-silgen` output is below):
6+
//
7+
// @differentiable(jvp: foo_jvp where T: Differentiable)
8+
// @_silgen_name("foo")
9+
// func foo<T>(_ x: T, _ y: Float) -> T { x }
10+
//
11+
// @_silgen_name("foo_jvp")
12+
// func foo_jvp<T: Differentiable>(_ x: T, _ y: Float) -> (T, (T.TangentVector, Float) -> T.TangentVector) {
13+
// (x, { dx, dy in dx })
14+
// }
15+
//
16+
// @_silgen_name("foo_vjp")
17+
// func foo_vjp<T: Differentiable>(_ x: T, _ y: Float) -> (T, (T.TangentVector) -> (T.TangentVector, Float)) {
18+
// (x, { ($0, .zero) })
19+
// }
20+
//
21+
// The `sil_differentiability_witness` at the end was manually written.
22+
523
sil_stage raw
624

725
import Builtin

0 commit comments

Comments
 (0)