1 /* PR tree-optimization/93213 - wrong code on a multibyte store with
2 -Og -foptimize-strlen
3 { dg-require-effective-target int128 }
4 { dg-additional-options "-Og -foptimize-strlen" } */
5
6 typedef unsigned __INT16_TYPE__ u16;
7 typedef unsigned __INT32_TYPE__ u32;
8 typedef unsigned __int128 u128;
9
10 static inline u128
foo(u16 u16_1,u32 u32_1,u128 u128_1)11 foo (u16 u16_1, u32 u32_1, u128 u128_1)
12 {
13 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
14 u128 u128_0 = 0;
15 u128_1 -= __builtin_mul_overflow (u32_1, u16_1, &u32_1);
16 __builtin_memmove (&u16_1, &u128_0, 2);
17 __builtin_memmove (&u16_1, &u128_1, 1);
18 return u16_1;
19 #else
20 return 0xff;
21 #endif
22 }
23
24 __attribute__ ((noipa)) void
bar(void)25 bar (void)
26 {
27 char a[] = { 1, 2 };
28 const char b[] = { 0, 0 };
29 const char c[] = { 2 };
30 __builtin_memcpy (a, b, 2);
31 // The above is transformed into
32 // MEM <short unsigned int> [(char * {ref-all})&a] = 0;
33 // which was then dropped because of the non-nul store below.
34 __builtin_memcpy (a, c, 1);
35
36 volatile char *p = a;
37 if (p[0] != 2 || p[1] != 0)
38 __builtin_abort ();
39 }
40
41 int
main(void)42 main (void)
43 {
44 u16 x = foo (-1, -1, 0);
45 if (x != 0xff)
46 __builtin_abort ();
47
48 bar ();
49 return 0;
50 }
51