| // RUN: %empty-directory(%t) |
| // RUN: %target-swift-frontend -emit-module -emit-module-path %t/test.swiftmodule -module-name test %s |
| // RUN: %target-sil-opt %t/test.swiftmodule |
| |
| sil_stage raw |
| |
| import Swift |
| import Builtin |
| |
| sil_differentiability_witness [parameters 0] [results 0] @referenced_from_serialized : $@convention(thin) (Float, Float, Float) -> Float |
| |
| sil @referenced_from_serialized : $@convention(thin) (Float, Float, Float) -> Float |
| |
| sil [serialized] @test_serialized : $@convention(thin) () -> () { |
| bb0: |
| %referenced_from_serialized_jvp_wrt_0 = differentiability_witness_function [jvp] [parameters 0] [results 0] @referenced_from_serialized : $@convention(thin) (Float, Float, Float) -> Float |
| return undef : $() |
| } |