summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-30.c
blob: 68a7a7f826ece4957ffafdc2c4ff87dd674f1c3e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-pre-details" } */

int f;
int g;
unsigned int
foo (int b, int x)
{
  if (b)
    x = *(int *)&f;
  g = x;
  return *(unsigned int*)&f;
}
float
bar (int b, int x)
{
  if (b)
    x = *(int *)&f;
  g = x;
  return *(float *)&f;
}

/* We should see the partial redundant loads of f even though they
   are using different types (of the same size).  */

/* { dg-final { scan-tree-dump-times "Replaced MEM" 2 "pre" } } */
/* { dg-final { cleanup-tree-dump "pre" } } */