blob: 692c947e9a8d1dec93dcb4f2d36042de6efbb1e2 (
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
|
/* Testcase derived from 20111227-1.c to ensure that REE is combining
redundant zero extends with zero extend to wider mode. */
/* { dg-options "-fdump-rtl-ree -O" } */
extern void abort (void);
unsigned short s;
unsigned int i;
unsigned long l;
unsigned char v = -1;
void __attribute__((noinline,noclone))
bar (int t)
{
if (t == 2 && s != 0xff)
abort ();
if (t == 1 && i != 0xff)
abort ();
if (t == 0 && l != 0xff)
abort ();
}
void __attribute__((noinline,noclone))
foo (unsigned char *a, int t)
{
unsigned char r = v;
if (t == 2)
s = (unsigned short) r;
else if (t == 1)
i = (unsigned int) r;
else if (t == 0)
l = (unsigned long) r;
bar (t);
}
int main(void)
{
foo (&v, 0);
foo (&v, 1);
foo (&v, 2);
return 0;
}
/* { dg-final { scan-rtl-dump "Elimination opportunities = 3 realized = 3" "ree" } } */
/* { dg-final { cleanup-rtl-dump "ree" } } */
|