Gardening: Migrate test suite to GH issues: AutoDiff/SILOptimizer

Author: AnthonyLatsis

test/AutoDiff/SILOptimizer/derivative_sil.swift

@@ -89,7 +89,8 @@ func foo(_ x: Float) -> Float {
 // CHECK-SIL:   return [[DX]] : $Float
 // CHECK-SIL: }
 
-// Check the conventions of the generated functions for a method (SR-13945).
+// https://github.com/apple/swift/issues/56342
+// Check the conventions of the generated functions for a method.
 struct ExampleStruct {
   @_silgen_name("fooMethod")
   @differentiable(reverse)

test/AutoDiff/SILOptimizer/differentiation_diagnostics.swift

@@ -618,7 +618,8 @@ func testClassTangentPropertyNotStored(_ c: ClassTangentPropertyNotStored) -> Fl
 // CHECK-LABEL: sil {{.*}} @test_class_tangent_property_not_stored
 // CHECK: ref_element_addr {{%.*}} : $ClassTangentPropertyNotStored, #ClassTangentPropertyNotStored.x
 
-// SR-13134: Test stored property access with conditionally `Differentiable` base type.
+// https://github.com/apple/swift/issues/55580
+// Test stored property access with conditionally `Differentiable` base type.
 
 struct Complex<T: FloatingPoint> {
   var real: T
@@ -630,7 +631,7 @@ extension Complex: Differentiable where T: Differentiable {
 extension Complex: AdditiveArithmetic {}
 
 @differentiable(reverse)
-func SR_13134(lhs: Complex<Float>, rhs: Complex<Float>) -> Float {
+func f_55580(lhs: Complex<Float>, rhs: Complex<Float>) -> Float {
   return lhs.real + rhs.real
 }
 
@@ -692,7 +693,8 @@ func projectedValueAccess(_ s: Struct) -> Float {
   s.$y.wrappedValue
 }
 
-// SR-12640: Test `wrapperValue.modify` differentiation.
+// https://github.com/apple/swift/issues/55084
+// Test `wrapperValue.modify` differentiation.
 
 // expected-error @+2 {{function is not differentiable}}
 // expected-note @+2 {{when differentiating this function definition}}
@@ -722,7 +724,7 @@ func tupleArrayLiteralInitialization(_ x: Float, _ y: Float) -> Float {
 // Subset parameter differentiation thunks
 //===----------------------------------------------------------------------===//
 
-// FIXME(SR-13046): Non-differentiability diagnostic crash due to invalid source location.
+// FIXME: Non-differentiability diagnostic crash due to invalid source location (https://github.com/apple/swift/issues/55492).
 /*
 func testNoDerivativeParameter(_ f: @differentiable(reverse) (Float, @noDerivative Float) -> Float) -> Float {
   return gradient(at: 2) { x in f(x * x, x) }
@@ -774,27 +776,27 @@ public func fragileDifferentiable(_ x: Float) -> Float {
 }
 
 
-// FIXME(rdar://87429620): Differentiable curry thunk RequirementMachine error.
+// FIXME: Differentiable curry thunk RequirementMachine error (rdar://87429620, https://github.com/apple/swift/issues/54819).
 #if false
 // TF-1208: Test curry thunk differentiation regression.
-public struct SR_14228_Struct<Scalar> {
+public struct Struct_54819<Scalar> {
   var x: Scalar
 }
-extension SR_14228_Struct: Differentiable where Scalar: Differentiable {
+extension Struct_54819: Differentiable where Scalar: Differentiable {
   @differentiable(reverse)
   public static func id(x: Self) -> Self {
     return x
   }
 }
 @differentiable(reverse, wrt: x)
-public func SR_14228<Scalar: Differentiable>(
-  _ x: SR_14228_Struct<Scalar>,
-  // NOTE(TF-1208): This diagnostic is unexpected because `SR_14228_Struct.id` is marked `@differentiable`.
+public func f_54819<Scalar: Differentiable>(
+  _ x: Struct_54819<Scalar>,
+  // NOTE(TF-1208): This diagnostic is unexpected because `Struct_54819.id` is marked `@differentiable`.
   // xpected-error @+3 2 {{function is not differentiable}}
   // xpected-note @+2 {{differentiated functions in '@inlinable' functions must be marked '@differentiable' or have a public '@derivative'; this is not possible with a closure, make a top-level function instead}}
   // xpected-note @+1 {{opaque non-'@differentiable' function is not differentiable}}
-  reduction: @differentiable(reverse) (SR_14228_Struct<Scalar>) -> SR_14228_Struct<Scalar> = SR_14228_Struct.id
-) -> SR_14228_Struct<Scalar> {
+  reduction: @differentiable(reverse) (Struct_54819<Scalar>) -> Struct_54819<Scalar> = Struct_54819.id
+) -> Struct_54819<Scalar> {
   reduction(x)
 }
 #endif

test/AutoDiff/SILOptimizer/forward_mode_diagnostics.swift

@@ -119,7 +119,7 @@ func activeInoutParamMutatingMethod(_ x: Mut) -> Mut {
 // Subset parameter differentiation thunks
 //===----------------------------------------------------------------------===//
 
-// FIXME(SR-13046): Non-differentiability diagnostic crash due to invalid source location.
+// FIXME: Non-differentiability diagnostic crash due to invalid source location (https://github.com/apple/swift/issues/55492).
 /*
 func testNoDerivativeParameter(_ f: @differentiable(reverse) (Float, @noDerivative Float) -> Float) -> Float {
   return derivative(at: 2, 3) { (x, y) in f(x * x, y) }
@@ -238,7 +238,7 @@ final class ClassTangentPropertyWrongType: Differentiable {
   func move(by offset: TangentVector) {}
 }
 
-// SR-13464: Missing support for classes in forward-mode AD
+// FIXME: Missing support for classes in forward-mode AD causes crash (https://github.com/apple/swift/issues/55906).
 /*
 // xpected-error @+2 {{function is not differentiable}}
 // xpected-note @+3 {{when differentiating this function definition}}
@@ -287,7 +287,7 @@ final class ClassTangentPropertyNotStored: Differentiable {
   func move(by offset: TangentVector) {}
 }
 
-// SR-13464: Missing support for classes in forward-mode AD
+// FIXME: Missing support for classes in forward-mode AD causes crash (https://github.com/apple/swift/issues/55906).
 /*
 // xpected-error @+2 {{function is not differentiable}}
 // xpected-note @+3 {{when differentiating this function definition}}

test/AutoDiff/SILOptimizer/property_wrappers.swift

@@ -47,7 +47,9 @@ struct Struct: Differentiable {
   @Wrapper @SimpleWrapper var trivial: Float = 10
   @Wrapper @SimpleWrapper var tracked: Tracked<Float> = 20
   @Wrapper @SimpleWrapper var nontrivial: NontrivialLoadable<Float> = 30
-  // Tests SR-12800: semantic member accessors should have empty linear map structs.
+
+  // https://github.com/apple/swift/issues/55245
+  // Semantic member accessors should have empty linear map structs.
   @DifferentiableWrapper var differentiableWrapped: Float = 40
 
   static func testGetters() {
@@ -75,15 +77,17 @@ struct GenericStruct<T: Differentiable>: Differentiable {
   @Wrapper @SimpleWrapper var nontrivial: NontrivialLoadable<Float> = 30
   @Wrapper @SimpleWrapper var addressOnly: T
 
-  // SR-12778: Test getter pullback for non-trivial loadable property.
+  // https://github.com/apple/swift/issues/55223
+  // Test getter pullback for non-trivial loadable property.
   static func testGetters() {
     let _: @differentiable(reverse) (Self) -> Float = { $0.trivial }
     let _: @differentiable(reverse) (Self) -> Tracked<Float> = { $0.tracked }
     let _: @differentiable(reverse) (Self) -> NontrivialLoadable<Float> = { $0.nontrivial }
     let _: @differentiable(reverse) (Self) -> T = { $0.addressOnly }
   }
 
-  // SR-12779: Test setter pullback for non-trivial loadable property.
+  // https://github.com/apple/swift/issues/55224
+  // Test setter pullback for non-trivial loadable property.
   static func testSetters() {
     let _: @differentiable(reverse) (inout Self, Float) -> Void =
       { $0.trivial = $1 }