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
|
/* generic pointer comparison
*/
#include <testfwk.h>
#include <stdlib.h>
#if !((defined __SDCC_stm8) && defined (__SDCC_MODEL_LARGE))
#define CAN_ASSIGN_VOID_TO_FPTR 1
#pragma disable_warning 244
#endif
char eq(void * p1, void * p2)
{
return (p1 == p2);
}
char neq(void * p1, void * p2)
{
return (p1 != p2);
}
char smaller(void * p1, void * p2)
{
return (p1 < p2);
}
char greater(void * p1, void * p2)
{
return (p1 > p2);
}
char __xdata * xp0 = NULL;
char __xdata * xp1 = (char __xdata *)0x0001;
char __idata * ip0 = NULL;
char __idata * ip1 = (char __idata *)0x0001;
char __pdata * pp0 = NULL;
char __pdata * pp1 = (char __pdata *)0x0001;
char __code * cp0 = NULL;
char __code * cp1 = (char __code *)0x0001;
void (* fp0)(void) = NULL;
void (* fp1)(void) = (void (*)(void))0x0001;
#if defined (__SDCC_MODEL_HUGE)
void (* fpE)(void) = (void (*)(void))0x7E8000; //SDCC assumes banked pointers have physical address != 0
void (* fpF)(void) = (void (*)(void))0x7F8000; //choose the banks to be mapped to 0x8000 for the test
#endif
char * gp0 = NULL;
char * gp2 = (char __pdata *)0x0002;
void testPtrs(void)
{
#ifndef __SDCC_pic16
#if defined (__SDCC_MODEL_HUGE)
char __code * cp2 = (char __code *)0x0002;
void (* fp2)(void) = (void (*)(void))0x0002;
ASSERT (eq(cp2, fp2));
ASSERT (smaller(fpE, fpF));
#endif
ASSERT (xp0 == NULL);
ASSERT (ip0 == NULL);
ASSERT (pp0 == NULL);
ASSERT (cp0 == NULL);
ASSERT (fp0 == NULL);
ASSERT (gp0 == NULL);
ASSERT (xp1 != NULL);
ASSERT (ip1 != NULL);
ASSERT (pp1 != NULL);
ASSERT (cp1 != NULL);
ASSERT (fp1 != NULL);
ASSERT (gp2 != NULL);
ASSERT (eq(xp0, ip0));
ASSERT (eq(xp0, pp0));
ASSERT (eq(xp0, cp0));
#ifdef CAN_ASSIGN_VOID_TO_FPTR
ASSERT (eq(xp0, fp0));
#endif
ASSERT (eq(xp0, gp0));
#if defined(__SDCC_mcs51) || defined(__SDCC_ds390)
ASSERT (neq(xp1, ip1));
ASSERT (neq(xp1, pp1));
ASSERT (neq(xp1, cp1));
ASSERT (neq(xp1, fp1));
ASSERT (neq(xp1, gp2));
ASSERT (smaller(xp1, ip1) || greater(xp1, ip1));
ASSERT (smaller(xp1, pp1) || greater(xp1, pp1));
ASSERT (smaller(xp1, cp1) || greater(xp1, cp1));
ASSERT (smaller(xp1, fp1) || greater(xp1, fp1));
ASSERT (smaller(xp1, gp2) || greater(xp1, gp2));
ASSERT (!smaller(xp0, ip0) && !greater(xp0, ip0));
ASSERT (!smaller(xp0, pp0) && !greater(xp0, pp0));
ASSERT (!smaller(xp0, cp0) && !greater(xp0, cp0));
ASSERT (!smaller(xp0, fp0) && !greater(xp0, fp0));
ASSERT (!smaller(xp0, gp0) && !greater(xp0, gp0));
#endif
#ifdef CAN_ASSIGN_VOID_TO_FPTR
ASSERT (eq(cp1, fp1));
#endif
ASSERT (smaller(pp1, gp2));
#endif
}
|
