From: Tamar Christina <tamar.christina@arm.com>
Date: Mon, 15 Dec 2025 09:36:15 +0000 (+0000)
Subject: vect: add testcase from [PR123032]
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e658b6febc5d94e0c7a06d76d6df2a3d0b218667;p=thirdparty%2Fgcc.git

vect: add testcase from [PR123032]

Adding tests to testsuite, fixed by gcc-16-6031-g8aa4ef38bd1

gcc/testsuite/ChangeLog:

	PR tree-optimization/123032
	* gcc.dg/vect/pr123032.c: New test.
---

diff --git a/gcc/testsuite/gcc.dg/vect/pr123032.c b/gcc/testsuite/gcc.dg/vect/pr123032.c
new file mode 100644
index 00000000000..b5da7fb7e90
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr123032.c
@@ -0,0 +1,55 @@
+/* { dg-require-effective-target vect_int } */
+/* { dg-final { scan-tree-dump "loop vectorized" "vect" } } */
+
+#include "tree-vect.h"
+
+typedef unsigned char u8;
+typedef unsigned int u32;
+
+typedef struct {
+    u32 pad; // important
+    u8  buf[64];
+} s_t;
+
+__attribute__((noipa))
+void h_bad(s_t *state, const u8 *in, u32 inlen) {
+    for (u32 i = 0; i < inlen; i++) {
+        state->buf[i] = in[i];
+    }
+}
+
+__attribute__((noipa))
+void h_good(s_t *state, const u8 *in, u32 inlen) {
+    for (u32 i = 0; i < inlen; i++) {
+        asm volatile("" ::: "memory"); // break vectorizer
+        state->buf[i] = in[i];
+    }
+}
+
+void h(s_t *state, const u8 *in, u32 inlen) {
+    s_t s1 = {};
+    s_t s2 = {};
+    h_good(&s1, in, inlen);
+    h_bad(&s2, in, inlen);
+    if (__builtin_memcmp(&s1, &s2, sizeof(s1)) != 0) {
+        __builtin_trap();
+    }
+}
+
+int main(void) {
+
+   check_vect ();
+
+    s_t s = {};
+    const u8 in[] =
+        "0123456789" /* 0 */
+        " 0123456789"
+        " 0123456789"
+        " 0123456789"
+        " 0123456789"
+    ;
+    for (u32 o = 0; o < 10; o++) {
+        __builtin_memset(&s, 0, sizeof(s));
+        h(&s, &in[o], 33);
+    }
+}