diff --git a/test/AutoDiff/compiler_crashers_fixed/sr12493-differentiable-function-extract-subst-function-type.swift b/test/AutoDiff/compiler_crashers_fixed/sr12493-differentiable-function-extract-subst-function-type.swift
index 98952bf453ed4..359c1d2ddb845 100644
--- a/test/AutoDiff/compiler_crashers_fixed/sr12493-differentiable-function-extract-subst-function-type.swift
+++ b/test/AutoDiff/compiler_crashers_fixed/sr12493-differentiable-function-extract-subst-function-type.swift
@@ -3,6 +3,9 @@
 // SR-12493: SIL verification error regarding substituted function types and
 // `differentiable_function_extract` instruction. Occurs only with `-O`.
 
+// FIXME(SR-13021): Disabled due to flakiness on Linux.
+// REQUIRES: SR13021
+
 import _Differentiation
 
 func exampleVJP_1(_ x0: Float) -> (Float, (Float) -> (Float)) {
diff --git a/test/AutoDiff/compiler_crashers_fixed/sr12650-noderivative-parameter-type-mangling.swift b/test/AutoDiff/compiler_crashers_fixed/sr12650-noderivative-parameter-type-mangling.swift
new file mode 100644
index 0000000000000..9258d97c063c0
--- /dev/null
+++ b/test/AutoDiff/compiler_crashers_fixed/sr12650-noderivative-parameter-type-mangling.swift
@@ -0,0 +1,40 @@
+// RUN: %target-build-swift -g %s
+
+// SR-12650: IRGenDebugInfo type reconstruction crash because `@noDerivative`
+// parameters are not mangled.
+
+// FIXME(SR-13021): Disabled due to flakiness on Linux.
+// REQUIRES: SR13021
+
+import _Differentiation
+func id(_ x: Float, _ y: Float) -> Float { x }
+let transformed: @differentiable (Float, @noDerivative Float) -> Float = id
+
+// Incorrect reconstructed type for $sS3fIedgyyd_D
+// Original type:
+// (sil_function_type type=@differentiable @callee_guaranteed (Float, @noDerivative Float) -> Float
+//   (input=struct_type decl=Swift.(file).Float)
+//   (input=struct_type decl=Swift.(file).Float)
+//   (result=struct_type decl=Swift.(file).Float)
+//   (substitution_map generic_signature=<nullptr>)
+//   (substitution_map generic_signature=<nullptr>))
+// Reconstructed type:
+// (sil_function_type type=@differentiable @callee_guaranteed (Float, Float) -> Float
+//   (input=struct_type decl=Swift.(file).Float)
+//   (input=struct_type decl=Swift.(file).Float)
+//   (result=struct_type decl=Swift.(file).Float)
+//   (substitution_map generic_signature=<nullptr>)
+//   (substitution_map generic_signature=<nullptr>))
+// Stack dump:
+// ...
+// 1.	Swift version 5.3-dev (LLVM 803d1b184d, Swift 477af9f90d)
+// 2.	While evaluating request IRGenSourceFileRequest(IR Generation for file "noderiv.swift")
+// 0  swift                    0x00000001104c7ae8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
+// 1  swift                    0x00000001104c6a68 llvm::sys::RunSignalHandlers() + 248
+// 2  swift                    0x00000001104c80dd SignalHandler(int) + 285
+// 3  libsystem_platform.dylib 0x00007fff718335fd _sigtramp + 29
+// 4  libsystem_platform.dylib 000000000000000000 _sigtramp + 18446603338611739168
+// 5  libsystem_c.dylib        0x00007fff71709808 abort + 120
+// 6  swift                    0x0000000110604152 (anonymous namespace)::IRGenDebugInfoImpl::getOrCreateType(swift::irgen::DebugTypeInfo) (.cold.20) + 146
+// 7  swift                    0x000000010c24ab1e (anonymous namespace)::IRGenDebugInfoImpl::getOrCreateType(swift::irgen::DebugTypeInfo) + 3614
+// 8  swift                    0x000000010c245437 swift::irgen::IRGenDebugInfo::emitGlobalVariableDeclaration(llvm::GlobalVariable*, llvm::StringRef, llvm::StringRef, swift::irgen::DebugTypeInfo, bool, bool, llvm::Optional<swift::SILLocation>) + 167