differentiable_sil_attr.swift

// RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil %s | %FileCheck %s

sil_stage raw

import Builtin
import Swift

sil public @bar_adj : $@convention(thin) (Float, Float, Float, Float) -> (Float, Float) {
entry(%0: $Float, %1: $Float, %2: $Float, %3: $Float):
  %ret = tuple (%0: $Float, %1: $Float)
  return %ret: $(Float, Float)
}

// CHECK-LABEL: sil [reverse_differentiable source 0 wrt 0, 1 adjoint @bar_adj] @bar_just_adj
sil public [reverse_differentiable source 0 wrt 0, 1 adjoint @bar_adj] @bar_just_adj : $@convention(thin) (Float, Float) -> Float {
entry(%0: $Float, %1: $Float):
  return %0: $Float
}

// CHECK-LABEL: sil [reverse_differentiable source 0 wrt 0, 1 primal @bar adjoint @bar_adj] @bar_prim_adj
sil public [reverse_differentiable source 0 wrt 0, 1 primal @bar adjoint @bar_adj] @bar_prim_adj : $@convention(thin) (Float, Float) -> Float {
entry(%0: $Float, %1: $Float):
  return %0: $Float
}