File tree Expand file tree Collapse file tree 1 file changed +9
-10
lines changed Expand file tree Collapse file tree 1 file changed +9
-10
lines changed Original file line number Diff line number Diff line change 3
3
// RUN: %target-sil-opt %t/tmp.sib -o %t/tmp.2.sib -module-name differentiable_func_type
4
4
// RUN: %target-sil-opt %t/tmp.2.sib -module-name differentiable_func_type | %FileCheck %s -check-prefix=CHECK-SIL
5
5
6
- // RUN: %target-swift-frontend %s -emit-ir -module-name differentiable_func_type | %FileCheck %s -check-prefix=CHECK-LLVM
7
-
8
6
sil_stage raw
9
7
10
8
import Swift
@@ -14,18 +12,19 @@ bb0(%0 : $@differentiable(linear) (Float) -> Float):
14
12
return %0 : $@differentiable(linear) (Float) -> Float
15
13
}
16
14
17
- // CHECK-LABEL: sil @takeAndReturnLinear : $@convention(thin) (@differentiable(linear) (Float) -> Float) -> @differentiable(linear) (Float) -> Float {
18
- // CHECK: bb0([[ARG:%.*]] : $@differentiable(linear) (Float) -> Float):
19
- // CHECK: return [[ARG]] : $@differentiable(linear) (Float) -> Float
20
- // CHECK: }
15
+ // CHECK-SIL- LABEL: sil @takeAndReturnLinear : $@convention(thin) (@differentiable(linear) (Float) -> Float) -> @differentiable(linear) (Float) -> Float {
16
+ // CHECK-SIL : bb0([[ARG:%.*]] : $@differentiable(linear) (Float) -> Float):
17
+ // CHECK-SIL : return [[ARG]] : $@differentiable(linear) (Float) -> Float
18
+ // CHECK-SIL : }
21
19
22
20
23
21
sil @takeAndReturnDifferentiable : $@convention(thin) (@differentiable (Float) -> Float) -> @differentiable (Float) -> Float {
24
22
bb0(%0 : $@differentiable (Float) -> Float):
25
23
return %0 : $@differentiable (Float) -> Float
26
24
}
27
25
28
- // CHECK-LABEL: sil @takeAndReturnDifferentiable : $@convention(thin) (@differentiable (Float) -> Float) -> @differentiable (Float) -> Float {
29
- // CHECK: bb0([[ARG:%.*]] : $@differentiable (Float) -> Float):
30
- // CHECK: return [[ARG]] : $@differentiable (Float) -> Float
31
- // CHECK: }
26
+ // CHECK-SIL-LABEL: sil @takeAndReturnDifferentiable : $@convention(thin) (@differentiable (Float) -> Float) -> @differentiable (Float) -> Float {
27
+ // CHECK-SIL: bb0([[ARG:%.*]] : $@differentiable (Float) -> Float):
28
+ // CHECK-SIL: return [[ARG]] : $@differentiable (Float) -> Float
29
+ // CHECK-SIL: }
30
+
You can’t perform that action at this time.
0 commit comments