Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.c-torture/execute/pr93213.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
/* 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; }