--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gcc.c-torture/execute/pr93213.c	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,50 @@
+/* PR tree-optimization/93213 - wrong code on a multibyte store with
+   -Og -foptimize-strlen
+   { dg-require-effective-target int128 }
+   { dg-additional-options "-Og -foptimize-strlen" } */
+
+typedef unsigned __INT16_TYPE__ u16;
+typedef unsigned __INT32_TYPE__ u32;
+typedef unsigned __int128 u128;
+
+static inline u128
+foo (u16 u16_1, u32 u32_1, u128 u128_1)
+{
+#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
+  u128 u128_0 = 0;
+  u128_1 -= __builtin_mul_overflow (u32_1, u16_1, &u32_1);
+  __builtin_memmove (&u16_1, &u128_0, 2);
+  __builtin_memmove (&u16_1, &u128_1, 1);
+  return u16_1;
+#else
+  return 0xff;
+#endif
+}
+
+__attribute__ ((noipa)) void
+bar (void)
+{
+  char a[] = { 1, 2 };
+  const char b[] = { 0, 0 };
+  const char c[] = { 2 };
+  __builtin_memcpy (a, b, 2);
+  // The above is transformed into
+  //   MEM <short unsigned int> [(char * {ref-all})&a] = 0;
+  // which was then dropped because of the non-nul store below.
+  __builtin_memcpy (a, c, 1);
+
+  volatile char *p = a;
+  if (p[0] != 2 || p[1] != 0)
+    __builtin_abort ();
+}
+
+int
+main (void)
+{
+  u16 x = foo (-1, -1, 0);
+  if (x != 0xff)
+    __builtin_abort ();
+
+  bar ();
+  return 0;
+}