Viewing file:  ssa-fre-54.c (1.2 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do run } */
/* { dg-require-effective-target int32plus } */
/* { dg-options "-O -fdump-tree-forwprop4 -fdump-tree-dse1" } */
extern void abort (void);
union U { int i; char c[4]; short s[2]; };
char __attribute__((noinline,noclone)) foo(int i)
{
union U u;
u.i = i;
/* This should be equivalent to (char) i. */
#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
return u.c[0];
#elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
return u.c[3];
#else
return 0x04;
#endif
}
short __attribute__((noinline,noclone)) baz(int i)
{
union U u;
u.i = i;
/* This should be equivalent to (char) i. */
#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
return u.s[0];
#elif __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
return u.s[1];
#else
return 0x0304;
#endif
}
char __attribute__((noinline,noclone)) bar(int j)
{
union U u;
u.i = j;
/* This gets simplified to a BIT_FIELD_REF. */
return u.c[2];
}
int main()
{
if (foo (0x01020304) != 0x04)
abort ();
if (baz (0x01020304) != 0x0304)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump "\\(char\\) i_" "forwprop4" } } */
/* { dg-final { scan-tree-dump "\\(short int\\) i_" "forwprop4" } } */
/* { dg-final { scan-tree-dump-not "u.i =" "dse1" } } */
|
