blob: c6b4d63aa78d0281b1aea41b834748d439cbb42f (
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
|
/* { dg-do compile } */
/* { dg-options "-O2 -fipa-sra -fdump-tree-eipa_sra-details" } */
/* { dg-require-effective-target non_strict_align } */
struct bovid
{
float red;
int green;
void *blue;
};
static int
__attribute__((noinline))
ox (struct bovid *cow)
{
cow->red = cow->red + cow->green + cow->green;
return 0;
}
int something;
static int
__attribute__((noinline))
ox_improved (struct bovid *calf)
{
if (something > 0)
calf->red = calf->red + calf->green;
else
calf->red = calf->green + 87;
something = 77;
return 0;
}
int main (int argc, char *argv[])
{
struct bovid cow;
cow.red = 7.4;
cow.green = 6;
cow.blue = &cow;
ox (&cow);
ox_improved (&cow);
return 0;
}
/* { dg-final { scan-tree-dump "About to replace expr cow_.*D.->red with \\*ISRA" "eipa_sra" } } */
/* { dg-final { scan-tree-dump "About to replace expr cow_.*D.->green with ISRA" "eipa_sra" } } */
/* { dg-final { scan-tree-dump "About to replace expr calf_.*D.->red with \\*ISRA" "eipa_sra" } } */
/* { dg-final { scan-tree-dump "About to replace expr calf_.*D.->green with ISRA" "eipa_sra" } } */
/* { dg-final { cleanup-tree-dump "eipa_sra" } } */
|