blob: d6726c473558b9211122558c393eee8b4dabceac (
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
|
/* Testcase derived from 20111227-1.c to ensure that REE is combining
redundant sign extends with sign extend to wider mode. */
/* { dg-options "-fdump-rtl-ree -O" } */
extern void abort (void);
signed short s;
signed int i;
signed long l;
signed char v = -1;
void __attribute__((noinline,noclone))
bar (int t)
{
if (t == 2 && s != -1)
abort ();
if (t == 1 && i != -1)
abort ();
if (t == 0 && l != -1)
abort ();
}
void __attribute__((noinline,noclone))
foo (signed char *a, int t)
{
signed char r = v;
if (t == 2)
s = (signed short) r;
else if (t == 1)
i = (signed int) r;
else if (t == 0)
l = (signed 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" } } */
|