diff --git a/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-arm64.txt b/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-arm64.txt
new file mode 100644
index 00000000000..c63fd2bf774
--- /dev/null
+++ b/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-arm64.txt
@@ -0,0 +1 @@
+// ABI additions for arm64 only.
\ No newline at end of file
diff --git a/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-x86_64.txt b/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-x86_64.txt
new file mode 100644
index 00000000000..458fbf9292e
--- /dev/null
+++ b/test/api-digester/Inputs/stability-stdlib-abi-with-asserts-x86_64.txt
@@ -0,0 +1,15 @@
+// ABI additions for x86_64 only.
+
+Accessor Float80._Representation._storage.Modify() has return type change from () to inout @yields (Swift.UInt64, Swift.UInt16, Swift.UInt16, Swift.UInt16, Swift.UInt16)
+Accessor Float80._value.Modify() has return type change from () to inout @yields Builtin.FPIEEE80
+
+Accessor __VaListBuilder.Header.fp_offset.Modify() has return type change from () to inout @yields Swift.UInt32
+Accessor __VaListBuilder.Header.gp_offset.Modify() has return type change from () to inout @yields Swift.UInt32
+Accessor __VaListBuilder.Header.overflow_arg_area.Modify() has return type change from () to inout @yields Swift.UnsafeMutablePointer<Swift.Int>?
+Accessor __VaListBuilder.Header.reg_save_area.Modify() has return type change from () to inout @yields Swift.UnsafeMutablePointer<Swift.Int>?
+Accessor __VaListBuilder.fpRegistersUsed.Modify() has return type change from () to inout @yields Swift.Int
+Accessor __VaListBuilder.gpRegistersUsed.Modify() has return type change from () to inout @yields Swift.Int
+Accessor __VaListBuilder.header.Modify() has return type change from () to inout @yields Swift.__VaListBuilder.Header
+Accessor __VaListBuilder.storage.Modify() has return type change from () to inout @yields Swift.ContiguousArray<Swift.Int>
+Accessor _fastEnumerationStorageMutationsTarget.Modify() has return type change from () to inout @yields Swift.UInt
+Accessor _playgroundPrintHook.Modify() has return type change from () to inout @yields ((Swift.String) -> ())?
\ No newline at end of file
diff --git a/test/api-digester/stability-stdlib-abi-with-asserts.test b/test/api-digester/stability-stdlib-abi-with-asserts.test
index c4e41770a10..9cb8a2421a6 100644
--- a/test/api-digester/stability-stdlib-abi-with-asserts.test
+++ b/test/api-digester/stability-stdlib-abi-with-asserts.test
@@ -4,6 +4,7 @@
 // RUN: %clang -E -P -x c %S/stability-stdlib-abi-without-asserts.test -o - > %t.tmp/stability-stdlib-abi.swift.expected
 // RUN: %clang -E -P -x c %S/stability-stdlib-abi-with-asserts.test -o - >> %t.tmp/stability-stdlib-abi.swift.expected
 // RUN: %clang -E -P -x c %S/Inputs/stability-stdlib-abi-without-asserts-%target-cpu.txt -o - >> %t.tmp/stability-stdlib-abi.swift.expected
+// RUN: %clang -E -P -x c %S/Inputs/stability-stdlib-abi-with-asserts-%target-cpu.txt -o - >> %t.tmp/stability-stdlib-abi.swift.expected
 // RUN: %clang -E -P -x c %t.tmp/stability-stdlib-abi.swift.expected -o - | sed '/^\s*$/d' | sort > %t.tmp/stability-stdlib-abi.swift.expected.sorted
 // RUN: %clang -E -P -x c %t.tmp/changes.txt -o - | sed -E -e '/^\s*$/d' -e 's/ in _[0-9A-F]{32}/ in #UNSTABLE ID#/g' | sort > %t.tmp/changes.txt.tmp
 // RUN: diff -u %t.tmp/stability-stdlib-abi.swift.expected.sorted %t.tmp/changes.txt.tmp