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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
/** loopp counter narrowing optimizatrion test
type: unsigned long, signed long
*/
#include <testfwk.h>
#include <limits.h>
#include <setjmp.h>
#ifndef __SDCC_mcs51
unsigned char array[300];
#endif
/* A loop where the counter should be narrowed to an 8-bit unsigned type. */
void loop8(unsigned char *a, {type} n)
{
for({type} i = 0; i < n; i++)
a[i * n] = 8;
}
/* A loop where the counter should be narrowed to a 16-bit unsigned type, but not further. */
void loop16(unsigned char *a)
{
for ({type} i = 0; i < 300; i++)
a[i] = 16;
}
/* A loop where the subtraction should prevent optimization. */
void loopm(unsigned char *a)
{
for ({type} i = (1ul << 20); i < (1ul << 20) + 1; i++)
a[i - (1ul << 20)] = 1;
}
void modify1({type} *p)
{
*p = 17;
}
void modify2({type} *p)
{
*p = (1ul << 30);
}
/* Loops where access to the counter via pointers should prevent optimization. */
void address(unsigned char *a)
{
for ({type} i = (1ul << 28); i < (1ul << 30); i++)
{
modify1(&i);
a[i] = 17;
modify2(&i);
}
for ({type} i = (1ul << 28); i < (1ul << 30); i++)
{
{type} *p = &i;
*p = 18;
a[i] = 18;
*p = (1ul << 30);
}
}
void jump_func(jmp_buf *jp, {type} i)
{
ASSERT (i == (1ul << 29));
longjmp (*jp, 0);
}
/* A loop where the side-effects from jump_func() should prevent optimization. */
void jump(unsigned char *a)
{
jmp_buf j;
if (setjmp (j))
return;
for ({type} i = (1ul << 29); i < (1ul << 30); i++)
{
jump_func(&j, i);
a[i] = 14;
}
a[0] = 13;
}
void testLoop(void)
{
#ifndef __SDCC_mcs51
loop8 (array, 3);
ASSERT (array[0] == 8);
ASSERT (array[3] == 8);
ASSERT (array[6] == 8);
loop16 (array);
ASSERT (array[0] == 16);
ASSERT (array[17] == 16);
ASSERT (array[255] == 16);
ASSERT (array[256] == 16);
ASSERT (array[299] == 16);
loopm (array);
ASSERT (array[0] == 1);
address (array);
ASSERT (array[17] == 17);
ASSERT (array[18] == 18);
jump (array);
ASSERT (array[0] != 13);
#endif
}
|
