[{"id":3681778,"web_url":"http://patchwork.ozlabs.org/comment/3681778/","msgid":"","list_archive_url":null,"date":"2026-04-24T06:10:19","subject":"Re: [PATCH v2] tree-optimization: lower mempcpy to memcpy when result\n is unused [PR93556]","submitter":{"id":1765,"url":"http://patchwork.ozlabs.org/api/people/1765/","name":"Richard Biener","email":"richard.guenther@gmail.com"},"content":"On Thu, Apr 23, 2026 at 11:13 PM Netanel Komm wrote:\n>\n> This patch allows the GIMPLE folder to transform __builtin_mempcpy into __builtin_memcpy\n> in cases where the return value is ignored. This is beneficial because most targets have\n> an efficient implementation for memcpy.\n>\n> Existing tests that relied on the unfolded mempcpy have been duplicated - one version now\n> takes the folded mempcpy into account, and the other intentionally prevents the folding\n> from happening.\n>\n> Bootstrapped and regression tested on x86_64-linux-gnu.\n>\n> PR tree-optimization/93556\n>\n> gcc/ChangeLog:\n>\n> * gimple-fold.cc (gimple_fold_builtin_mempcpy): New function.\n> (gimple_fold_builtin): Handle BUILT_IN_MEMPCPY.\n>\n> gcc/testsuite/ChangeLog:\n>\n> * gcc.dg/pr79223.c: Rename to gcc.dg/pr79223-1.c and update scans.\n> * gcc.dg/tree-prof/val-prof-7.c: Rename to gcc.dg/tree-prof/val-prof-7-1.c and update scans.\n> * gcc.dg/tree-ssa/builtins-folding-gimple-3.c: Update scans.\n> * gcc.dg/builtin-mempcpy-1.c: New test.\n> * gcc.dg/builtin-mempcpy-2.c: New test.\n> * gcc.dg/pr79223-2.c: New test.\n> * gcc.dg/tree-prof/val-prof-7-2.c: New test.\n> * gcc.dg/tree-ssa/builtins-folding-gimple-4.c: New test.\n>\n> Signed-off-by: Netanel Komm \n> ---\n> Changes in v2:\n> - Switched from builtin_decl_implicit to builtin_decl_explicit for memcpy as it is required to be present.\n> - Added a comment documenting gimple_fold_builtin_mempcpy.\n>\n> gcc/gimple-fold.cc | 28 ++++++-\n> gcc/testsuite/gcc.dg/builtin-mempcpy-1.c | 9 ++\n> gcc/testsuite/gcc.dg/builtin-mempcpy-2.c | 39 +++++++++\n> .../gcc.dg/{pr79223.c => pr79223-1.c} | 2 +-\n> gcc/testsuite/gcc.dg/pr79223-2.c | 38 +++++++++\n> gcc/testsuite/gcc.dg/tree-prof/val-prof-7-1.c | 82 +++++++++++++++++++\n> .../{val-prof-7.c => val-prof-7-2.c} | 2 +-\n> .../tree-ssa/builtins-folding-gimple-3.c | 5 +-\n> .../tree-ssa/builtins-folding-gimple-4.c | 45 ++++++++++\n> 9 files changed, 244 insertions(+), 6 deletions(-)\n> create mode 100644 gcc/testsuite/gcc.dg/builtin-mempcpy-1.c\n> create mode 100644 gcc/testsuite/gcc.dg/builtin-mempcpy-2.c\n> rename gcc/testsuite/gcc.dg/{pr79223.c => pr79223-1.c} (86%)\n> create mode 100644 gcc/testsuite/gcc.dg/pr79223-2.c\n> create mode 100644 gcc/testsuite/gcc.dg/tree-prof/val-prof-7-1.c\n> rename gcc/testsuite/gcc.dg/tree-prof/{val-prof-7.c => val-prof-7-2.c} (97%)\n> create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-4.c\n>\n> diff --git a/gcc/gimple-fold.cc b/gcc/gimple-fold.cc\n> index bc8540a8c5c..3c1a663ea2b 100644\n> --- a/gcc/gimple-fold.cc\n> +++ b/gcc/gimple-fold.cc\n> @@ -3339,6 +3339,28 @@ gimple_fold_builtin_stpcpy (gimple_stmt_iterator *gsi)\n> return true;\n> }\n>\n> +/* Simplify mempcpy call stmt at GSI, returning true if simplified.\n> + Currently only handling mempcpy -> memcpy when the return value\n> + is ignored. */\n> +\n> +static bool\n> +gimple_fold_builtin_mempcpy (gimple_stmt_iterator *gsi)\n> +{\n> + gcall *stmt = as_a (gsi_stmt (*gsi));\n> +\n> + if (gimple_call_lhs (stmt) == NULL_TREE)\n> + {\n> + tree fn = builtin_decl_explicit (BUILT_IN_MEMCPY);\n> + if (!fn)\n> + return false;\n> + gimple_call_set_fndecl (stmt, fn);\n\nI'll note that this leaves the fntype unchanged (this seems to be\nan issue with other _set_fndecl users as well, like from tree-ssa-strlen.cc).\n\nWhile it's convenient to just replace fndecl a more canonical approach\nwould be to build a new gcall statement. Alternatively we should probably\nintroduce a new helper function that also adjusts the fndecl (and first\nasserts the original call had a match on fndecl/fntype).\n\nRichard.\n\n> + fold_stmt (gsi);\n> + return true;\n> + }\n> +\n> + return false;\n> +}\n> +\n> /* Fold a call EXP to {,v}snprintf having NARGS passed as ARGS. Return\n> NULL_TREE if a normal call should be emitted rather than expanding\n> the function inline. FCODE is either BUILT_IN_SNPRINTF_CHK or\n> @@ -5387,8 +5409,12 @@ gimple_fold_builtin (gimple_stmt_iterator *gsi)\n> return gimple_fold_builtin_memset (gsi,\n> gimple_call_arg (stmt, 1),\n> gimple_call_arg (stmt, 2));\n> - case BUILT_IN_MEMCPY:\n> case BUILT_IN_MEMPCPY:\n> + if (gimple_fold_builtin_memory_op (gsi, gimple_call_arg (stmt, 0),\n> + gimple_call_arg (stmt, 1), fcode))\n> + return true;\n> + return gimple_fold_builtin_mempcpy (gsi);\n> + case BUILT_IN_MEMCPY:\n> case BUILT_IN_MEMMOVE:\n> return gimple_fold_builtin_memory_op (gsi, gimple_call_arg (stmt, 0),\n> gimple_call_arg (stmt, 1), fcode);\n> diff --git a/gcc/testsuite/gcc.dg/builtin-mempcpy-1.c b/gcc/testsuite/gcc.dg/builtin-mempcpy-1.c\n> new file mode 100644\n> index 00000000000..19d9a224657\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/builtin-mempcpy-1.c\n> @@ -0,0 +1,9 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-fdump-tree-lower\" } */\n> +\n> +/* Basic MRE from bug report */\n> +void test_bare (void *d, const void *s, __SIZE_TYPE__ n) {\n> + __builtin_mempcpy (d, s, n);\n> +}\n> +\n> +/* { dg-final { scan-tree-dump \"__builtin_memcpy\" \"lower\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/builtin-mempcpy-2.c b/gcc/testsuite/gcc.dg/builtin-mempcpy-2.c\n> new file mode 100644\n> index 00000000000..65f80f97f4f\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/builtin-mempcpy-2.c\n> @@ -0,0 +1,39 @@\n> +/* { dg-do compile } */\n> +/* { dg-options \"-O1 -fdump-tree-optimized\" } */\n> +\n> +/* Indirectly unused result */\n> +void test_unused_indirect (void *d, const void *s, __SIZE_TYPE__ n) {\n> + void *a = __builtin_mempcpy (d, s, n);\n> + void *b = a;\n> +}\n> +\n> +/* Simple used result (in statement) */\n> +void *test_used_simple (void *d, const void *s, __SIZE_TYPE__ n) {\n> + return __builtin_mempcpy (d, s, n);\n> +}\n> +\n> +/* More complicated used result (in expression) */\n> +__SIZE_TYPE__ test_used_in_expr (char *d, const char *s, __SIZE_TYPE__ n) {\n> + return (char *)__builtin_mempcpy (d, s, n) - d;\n> +}\n> +\n> +/* Unused in all paths */\n> +void *test_unused_indirect2 (void *d, const void *s, __SIZE_TYPE__ n) {\n> + void *a = __builtin_mempcpy (d, s, n);\n> + if (n > 20) {\n> + return (void *)20;\n> + }\n> + return (void *)7;\n> +}\n> +\n> +/* Used in at least one path */\n> +void *test_maybe_used (void *d, const void *s, __SIZE_TYPE__ n) {\n> + void *a = __builtin_mempcpy (d, s, n);\n> + if (n > 20) {\n> + return a;\n> + }\n> + return (void *)0;\n> +}\n> +\n> +/* { dg-final { scan-tree-dump-times \"__builtin_memcpy\" 2 \"optimized\" } } */\n> +/* { dg-final { scan-tree-dump-times \"__builtin_mempcpy\" 3 \"optimized\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/pr79223.c b/gcc/testsuite/gcc.dg/pr79223-1.c\n> similarity index 86%\n> rename from gcc/testsuite/gcc.dg/pr79223.c\n> rename to gcc/testsuite/gcc.dg/pr79223-1.c\n> index ef0dd1b7bc5..099d18333e8 100644\n> --- a/gcc/testsuite/gcc.dg/pr79223.c\n> +++ b/gcc/testsuite/gcc.dg/pr79223-1.c\n> @@ -28,7 +28,7 @@ void test_memcpy (void)\n>\n> void test_mempcpy (void)\n> {\n> - mempcpy (d, s, range ()); /* { dg-warning \".mempcpy. writing 4 or more bytes into a region of size 3 overflows the destination\" } */\n> + mempcpy (d, s, range ()); /* { dg-warning \".memcpy. writing 4 or more bytes into a region of size 3 overflows the destination\" } */\n> }\n>\n> void test_memmove (void)\n> diff --git a/gcc/testsuite/gcc.dg/pr79223-2.c b/gcc/testsuite/gcc.dg/pr79223-2.c\n> new file mode 100644\n> index 00000000000..6e78b326671\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/pr79223-2.c\n> @@ -0,0 +1,38 @@\n> +/* PR middle-end/79223 - missing -Wstringop-overflow on a memmove overflow\n> + { dg-do compile }\n> + { dg-additional-options \"-O2 -Wall -Wno-array-bounds -std=gnu99\" } */\n> +\n> +typedef __SIZE_TYPE__ size_t;\n> +\n> +extern void* memcpy (void*, const void*, size_t);\n> +extern void* mempcpy (void*, const void*, size_t);\n> +extern void* memmove (void*, const void*, size_t);\n> +\n> +char d[3];\n> +char s[4];\n> +void *sink;\n> +\n> +size_t range (void)\n> +{\n> + extern size_t size ();\n> + size_t n = size ();\n> + if (n <= sizeof d)\n> + return sizeof d + 1;\n> +\n> + return n;\n> +}\n> +\n> +void test_memcpy (void)\n> +{\n> + memcpy (d, s, range ()); /* { dg-warning \".memcpy. writing 4 or more bytes into a region of size 3 overflows the destination\" } */\n> +}\n> +\n> +void test_mempcpy (void)\n> +{\n> + sink = mempcpy (d, s, range ()); /* { dg-warning \".mempcpy. writing 4 or more bytes into a region of size 3 overflows the destination\" } */\n> +}\n> +\n> +void test_memmove (void)\n> +{\n> + memmove (d + 1, d, range ()); /* { dg-warning \".memmove. writing 4 or more bytes into a region of size 2 overflows the destination\" } */\n> +}\n> diff --git a/gcc/testsuite/gcc.dg/tree-prof/val-prof-7-1.c b/gcc/testsuite/gcc.dg/tree-prof/val-prof-7-1.c\n> new file mode 100644\n> index 00000000000..321eefa8207\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/tree-prof/val-prof-7-1.c\n> @@ -0,0 +1,82 @@\n> +/* { dg-options \"-O2 -fdump-ipa-profile-optimized -mtune=core2\" } */\n> +/* { dg-skip-if \"\" { ! { i?86-*-* x86_64-*-* } } } */\n> +\n> +char *buffer1;\n> +char *buffer2;\n> +\n> +/* Bzero is not tested because it gets transformed into memset. */\n> +\n> +#define DEFINE_TEST(N) \\\n> +__attribute__((noinline)) \\\n> +void memcpy_test_ ## N (int len) \\\n> +{ \\\n> + __builtin_memcpy (buffer1, buffer2, len); \\\n> +} \\\n> + \\\n> +__attribute__((noinline)) \\\n> +void mempcpy_test_ ## N (int len) \\\n> +{ \\\n> + __builtin_mempcpy (buffer1, buffer2, len); \\\n> +} \\\n> + \\\n> +__attribute__((noinline)) \\\n> +void memset_test_ ## N (int len) \\\n> +{ \\\n> + __builtin_memset (buffer1, 'c', len); \\\n> +} \\\n> +__attribute__((noinline)) \\\n> +void memmove_test_ ## N (int len) \\\n> +{ \\\n> + __builtin_memmove (buffer1, buffer2, len); \\\n> +} \\\n> + \\\n> +void test_stringops_ ## N(int len) \\\n> +{ \\\n> + memcpy_test_## N (len); \\\n> + mempcpy_test_ ## N (len); \\\n> + memset_test_ ## N (len); \\\n> + memmove_test_ ## N (len); \\\n> +} \\\n> + \\\n> +void test_stringops_with_values_ ## N (int common, int not_common) \\\n> +{ \\\n> + int i; \\\n> + for (i = 0; i < 1000; i++) \\\n> + { \\\n> + if (i > 990) \\\n> + test_stringops_ ## N (not_common); \\\n> + else \\\n> + test_stringops_ ## N (common); \\\n> + } \\\n> +}\n> +\n> +DEFINE_TEST(0);\n> +DEFINE_TEST(1);\n> +DEFINE_TEST(2);\n> +\n> +int main() {\n> + buffer1 = __builtin_malloc (1000);\n> + buffer2 = __builtin_malloc (1000);\n> +\n> + test_stringops_with_values_0 (8, 55);\n> + test_stringops_with_values_1 (55, 55);\n> + test_stringops_with_values_2 (257, 55);\n> +\n> + return 0;\n> +}\n> +\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 8 stringop for BUILT_IN_MEMCPY\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 55 stringop for BUILT_IN_MEMCPY\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump-times \"Transformation done: single value 32 stringop for BUILT_IN_MEMCPY\" 0 \"profile\" } } */\n> +\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 8 stringop for BUILT_IN_MEMCPY\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 55 stringop for BUILT_IN_MEMCPY\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump-times \"Transformation done: single value 32 stringop for BUILT_IN_MEMPCPY\" 0 \"profile\" } } */\n> +\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 8 stringop for BUILT_IN_MEMSET\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 55 stringop for BUILT_IN_MEMSET\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump-times \"Transformation done: single value 32 stringop for BUILT_IN_MEMSET\" 0 \"profile\" } } */\n> +\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 8 stringop for BUILT_IN_MEMMOVE\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump \"Transformation done: single value 55 stringop for BUILT_IN_MEMMOVE\" \"profile\" } } */\n> +/* { dg-final-use-not-autofdo { scan-ipa-dump-times \"Transformation done: single value 32 stringop for BUILT_IN_MEMMOVE\" 0 \"profile\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/tree-prof/val-prof-7.c b/gcc/testsuite/gcc.dg/tree-prof/val-prof-7-2.c\n> similarity index 97%\n> rename from gcc/testsuite/gcc.dg/tree-prof/val-prof-7.c\n> rename to gcc/testsuite/gcc.dg/tree-prof/val-prof-7-2.c\n> index 5ddb1a88c29..1084a852fc3 100644\n> --- a/gcc/testsuite/gcc.dg/tree-prof/val-prof-7.c\n> +++ b/gcc/testsuite/gcc.dg/tree-prof/val-prof-7-2.c\n> @@ -16,7 +16,7 @@ void memcpy_test_ ## N (int len) \\\n> __attribute__((noinline)) \\\n> void mempcpy_test_ ## N (int len) \\\n> { \\\n> - __builtin_mempcpy (buffer1, buffer2, len); \\\n> + void * volatile res = __builtin_mempcpy (buffer1, buffer2, len); \\\n> } \\\n> \\\n> __attribute__((noinline)) \\\n> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-3.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-3.c\n> index 716be5b8094..0872cc52a7f 100644\n> --- a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-3.c\n> +++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-3.c\n> @@ -38,6 +38,5 @@ AR (memmove, int, 2, INT_MAX, 1);\n> AR (mempcpy, short, 2, SHRT_MAX, 1);\n> AR (mempcpy, int, 2, INT_MAX, 1);\n>\n> -/* { dg-final { scan-tree-dump-times \"builtin_memcpy\" 8 \"optimized\" } }\n> - { dg-final { scan-tree-dump-times \"builtin_memmove\" 2 \"optimized\" } }\n> - { dg-final { scan-tree-dump-times \"builtin_mempcpy\" 2 \"optimized\" } } */\n> +/* { dg-final { scan-tree-dump-times \"builtin_memcpy\" 10 \"optimized\" } }\n> + { dg-final { scan-tree-dump-times \"builtin_memmove\" 2 \"optimized\" } } */\n> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-4.c b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-4.c\n> new file mode 100644\n> index 00000000000..0f0c577c64a\n> --- /dev/null\n> +++ b/gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-4.c\n> @@ -0,0 +1,45 @@\n> +/* PR 81908 - FAIL: gfortran.dg/alloc_comp_auto_array_2.f90 -O3 -g -m32\n> + Test to verify that calls to memcpy et al. where the size is in a range\n> + with more than one valid value are not eliminated (this test complements\n> + builtins-folding-gimple-2.c).\n> + { dg-do compile }\n> + { dg-options \"-O2 -Wall -fdump-tree-optimized\" } */\n> +\n> +#define SHRT_MAX __SHRT_MAX__\n> +#define SHRT_MIN (-SHRT_MAX - 1)\n> +#define INT_MAX __INT_MAX__\n> +#define INT_MIN (-INT_MAX - 1)\n> +\n> +#define UNIQUE_FUNCNAME(func, line) test_ ## func ## _ ## line\n> +#define FUNCNAME(func, line) UNIQUE_FUNCNAME (func, line)\n> +\n> +void *sink;\n> +\n> +#define AR(func, type, min, max, val) \\\n> + void __attribute__ ((noclone, noinline)) \\\n> + FUNCNAME (func, __LINE__) (char *d, const char *s, type n) \\\n> + { \\\n> + if ((type)min <= n && n <= (type)max) \\\n> + n = val; \\\n> + sink = __builtin_ ## func (d, s, n); \\\n> + } typedef void DummyType\n> +\n> +AR (memcpy, short, SHRT_MIN, 0, 1);\n> +AR (memcpy, short, SHRT_MIN, 1, 2);\n> +AR (memcpy, short, 2, SHRT_MAX, 1);\n> +\n> +AR (memcpy, int, INT_MIN, 0, 1);\n> +AR (memcpy, int, INT_MIN, 1, 2);\n> +AR (memcpy, int, INT_MIN, 2, 3);\n> +AR (memcpy, int, 2, INT_MAX, 1);\n> +AR (memcpy, int, 2, INT_MAX, 1);\n> +\n> +AR (memmove, short, 2, SHRT_MAX, 1);\n> +AR (memmove, int, 2, INT_MAX, 1);\n> +\n> +AR (mempcpy, short, 2, SHRT_MAX, 1);\n> +AR (mempcpy, int, 2, INT_MAX, 1);\n> +\n> +/* { dg-final { scan-tree-dump-times \"builtin_memcpy\" 8 \"optimized\" } }\n> + { dg-final { scan-tree-dump-times \"builtin_memmove\" 2 \"optimized\" } }\n> + { dg-final { scan-tree-dump-times \"builtin_mempcpy\" 2 \"optimized\" } } */\n> --\n> 2.30.2\n>","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=kSm7WYl7;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=kSm7WYl7","sourceware.org;\n dmarc=pass (p=none dis=none) header.from=gmail.com","sourceware.org; spf=pass smtp.mailfrom=gmail.com","server2.sourceware.org;\n arc=pass smtp.remote-ip=209.85.208.44"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g22dj5QYbz1xvV\n\tfor ; Fri, 24 Apr 2026 16:11:04 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 6734F4BB1C38\n\tfor ; Fri, 24 Apr 2026 06:11:02 +0000 (GMT)","from mail-ed1-f44.google.com (mail-ed1-f44.google.com\n [209.85.208.44])\n by sourceware.org (Postfix) with ESMTPS id 2ACC64BB1C30\n for ; Fri, 24 Apr 2026 06:10:33 +0000 (GMT)","by mail-ed1-f44.google.com with SMTP id\n 4fb4d7f45d1cf-6714f678bdaso12308879a12.3\n for ; Thu, 23 Apr 2026 23:10:33 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 6734F4BB1C38","OpenDKIM Filter v2.11.0 sourceware.org 2ACC64BB1C30"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 2ACC64BB1C30","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 2ACC64BB1C30","ARC-Seal":["i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1777011033; cv=pass;\n b=tmdh4U3PZwltSTDIVhbl3yD9WtEIztbDebO1P6Aj16+PetLagbNdBAMJkkisePg0HPPzwZSn5X0+m3GsYFAo113aCKfJh7P3fGWuqXIYMMtfjeYzo2C+5P5MtLP38CggjHxy2L3s0oiwI7oVBZJ6d8PNeSZiK/ABnLSnxojM6CU=","i=1; a=rsa-sha256; t=1777011032; cv=none;\n d=google.com; s=arc-20240605;\n b=Wy+5bJxD/n8/dQRpzw19Hx+pwC7OH17sDKLwhZDscBYgkzU8SF9vp15FUIlw3aylsD\n 1z+94cv1Ib1WPEIn67uIkEnT8BHu0J/YgXquLQcaFc2fJ6JSufV4yITGg9RsSnkbmsO9\n IDH6LtwbL6Wx2rwMJyRP63YZaUySUOCr/mLPDERbS8iuQhDE9dYHgXavMQKA8skU+/iu\n Rr4RMe6YkNuaxLmTeXa72XxJXjWEJ+DSbbbcMRj9QXVn3Pw2aQynwrDN0dcNTHe0KLAG\n BVIOEjNAXi2b2bRTn9DYb5AL8P3dNwZF+V+5LAOeRlU4Vi525CqVFhgDdDrceKbZOTL1\n L/EA=="],"ARC-Message-Signature":["i=2; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777011033; c=relaxed/simple;\n bh=PWpceSAV02UfQEOAxLJqCuT3VbDM39w40GuV9Yg094o=;\n h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To;\n b=vF4rSWaJf86BacivynVelCqt/+dVZhf6xMwR5mpP5+r0tnsZEgquckGw7kb9MsnAUMSYTKy7cVVrEu5KkMNODv/22itxcvWR2ECZ4DOIyvC5Msd+RPi3F3ZlosL0aPsOHZUar9V2nyAwnQtSpOcWxzII8axhECL2CkVCUh/+8RM=","i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com;\n s=arc-20240605;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:dkim-signature;\n bh=2rjRlf0w9yEG23qHoJsj91ZBKLeBJHEjgwkLY2LDT6Q=;\n fh=9tDX2C1OuAKooRhcfzF8MsYkIl3IJbWf2EDDPS8Xg3A=;\n b=gGPB+SF24Z12ouyCrb+XKfTiZYABnteJDemfHEmpvjq0PCd4TOIaafaVbO+QhxOilX\n eLxaCnuUrEbmPiqDv6HheVTQ+VV6LuDrmYaybpsilvceWmGQhKY7rX+U38oU/qkV7JLS\n zPWF/8J6w006da6fksn5vu/r693pap8UMYmMDGbpYtNfjiCl0aGjg9r5c5B47MyGPpDy\n 1JzhikyECE5sdmz+SvmESFbcbuSf2V+Ku0iRK6xRiwNkFeWveLhCFXWhSTbIXTREyBGo\n K0hYTs21eCwEBfj5cd+a6GAVRp9w9NZJrPBZH4O7pWJ0U6nZFqACr6Ow72H/Y8iyjfsZ\n 8Y2g==; darn=gcc.gnu.org"],"ARC-Authentication-Results":["i=2; server2.sourceware.org","i=1; mx.google.com; arc=none"],"DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20251104; t=1777011032; x=1777615832; darn=gcc.gnu.org;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:from:to:cc:subject:date\n :message-id:reply-to;\n bh=2rjRlf0w9yEG23qHoJsj91ZBKLeBJHEjgwkLY2LDT6Q=;\n b=kSm7WYl7xyUQBv0pBNvEa5xSEn3GrzsLHtVapeVDg7Q/tScUol5M5e2mMWATFX8W8c\n 0sxDPhG2bHDqJCiLOcF/DO3hLInavmfL4kX6zkMWxM3PdPK0oa0rGmt4mlLkdzDHBJ1H\n 3PiXjA+7bXcNS5apSiuavv/N58iHpfRz/veTE3umVzhER939d3Xcb49mg4/vjVp0Gms0\n kAXUTm0w8wUsQ9mzgNjtRfKUnhE8QfovwakZ23XhZv6Bq9h8kCS+UMJnh3VQiJ0S5jgJ\n tuQW7i2d3BbSmS0BffrxemaBorjEaIetio7v3T94pTM10VzrzgcnWTkfLtRPKs5NguOG\n XWmA==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777011032; x=1777615832;\n h=content-transfer-encoding:cc:to:subject:message-id:date:from\n :in-reply-to:references:mime-version:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=2rjRlf0w9yEG23qHoJsj91ZBKLeBJHEjgwkLY2LDT6Q=;\n b=cm/RISPB9eyPIlXzB0D1eVI5Ij9bg9d4ALI6xib2EpcCc9gLzrkLsFhLcVU44WGe4p\n lFg953eVrSzs2xsxtPfrTbpKo2v4yGqHSaPOONGo+xOuXJGsy4/ZB3QfHQ0LdAxTsYCe\n 9tb1D33Fo8hnOFgdxEVZkAA8V8jgl8yM/8fYfd7jOWT5goUAWVbAOoKgBnQPUK7MgyUn\n vDeweL2DRfnZQEzUY1AaP0uRIOhrVoXxwfUvgwyC5p2sg+2OR0L1q1EZM9AohtKC5hRJ\n 0WwCtWic6/VuiSfpATmdN6eaZN0mURPOoml0u4KTIAqYrqQBpDG2U6x4ogCSnHp1/fJN\n HxYA==","X-Gm-Message-State":"AOJu0YznFVxn5G8PLvUMveJfeDDzsn0/v+553bZUd6cXJaq3dijjgAF8\n d+Q2TY4FykqaE6p1/1wpZSqaaZvDWkYdTqrh3SUcDtIQUTIrbxiyMhwbUXOaAG4qsYNC8G0xLgy\n w1rO+pzfUO/01uXmDp+CDuHZVEsHaomOL7w==","X-Gm-Gg":"AeBDievWk//UTgiGc35QY/tcmMsC6dLSl9n8BYW1YmmrJB29AooURRuK0zZqnAqLzqq\n mSmGjri6bEOhn9OcvcPHhl3Q/8NnFX23cvPLN1XENcoNEVqDdbfMK7viRSX6pR7hyC+iwczRiFx\n 5KsOSaN8LZrvXGhTXBRN9VYk07w3e0hPA/j/RHfcGMYoVV+s3k2X7yrJC9xvvOFUJ2zd0gPFwel\n O5C4iHW/TixMO0TsdqH+dT4jYTtMFNy96CJKD9XWqTA5HKJk53CVjiJBIYuvWYfEOYWj194Crd9\n BlUruqMlxtnLWw==","X-Received":"by 2002:a05:6402:e9c:b0:672:7109:61a0 with SMTP id\n 4fb4d7f45d1cf-672bfd975e5mr12304595a12.9.1777011031483; Thu, 23 Apr 2026\n 23:10:31 -0700 (PDT)","MIME-Version":"1.0","References":"<20260225220131.75176-1-netanelkomm@gmail.com>\n <20260423211141.7906-1-netanelkomm@gmail.com>","In-Reply-To":"<20260423211141.7906-1-netanelkomm@gmail.com>","From":"Richard Biener ","Date":"Fri, 24 Apr 2026 08:10:19 +0200","X-Gm-Features":"AQROBzBIObCnnLzJZUz4PnEG1RJMr1isJiBp3aLc56ptyvPJ8SPb4GK6oP5KYKg","Message-ID":"\n ","Subject":"Re: [PATCH v2] tree-optimization: lower mempcpy to memcpy when result\n is unused [PR93556]","To":"Netanel Komm ","Cc":"gcc-patches@gcc.gnu.org, andrew.pinski@oss.qualcomm.com","Content-Type":"text/plain; charset=\"UTF-8\"","Content-Transfer-Encoding":"quoted-printable","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}}]