summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/compile/sra-1.c
blob: 06dcf1002bef1c8344f1f62e94a662ec56aca934 (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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
/* { dg-do compile } */
/* { dg-options "-O1" } */
/* Let gimple verifier check what SRA does to unions and single-field
   strucutres . */

struct sim_struct
{
  int x;
};

extern struct sim_struct get_x(void);

struct sim_struct foo (void)
{
  struct sim_struct simple;

  simple = get_x ();
  if (simple.x % 2)
    simple.x = 39;
  else
    simple.x -=8;

  return simple;
}

struct sim_cmplx
{
  _Complex double c;
};

extern struct sim_cmplx get_sc (void);

_Complex double foo_c (void)
{
  struct sim_cmplx simple;

  simple = get_sc ();
  if (__real__ simple.c > 200.3)
    __imag__ simple.c -= 2.4;

  return simple.c;
}


union sim_union
{
  int i;
  float d;
};

extern union sim_union get_y (void);

union sim_union bar (void)
{
  union sim_union simple;

  simple = get_y ();
  if (simple.d > 8.2)
    simple.i = 300;

  return simple;
}

extern int get_int (void);

int bar_i (void)
{
  union sim_union simple;

  simple = get_y ();
  if (simple.d > 8.2)
    simple.i = get_int ();

  return simple.i;
}