145
|
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
|
|
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
|
|
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
|
|
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 }
|