forked from GaloisInc/BESSPIN-mibench2
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsupportFuncs.c
99 lines (80 loc) · 1.2 KB
/
supportFuncs.c
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
void putchar(char);
void exit(int);
extern unsigned int end;
//extern unsigned int heapCurrent;
char heap[1<<16];
char * heapCurrent = heap;
void _fini() {}
void __exidx_start() {}
void __exidx_end() {}
void __errno() {}
int _isatty()
{
return 0;
}
int _fstat()
{
return 0;
}
void puts(char *string)
{
int index = 0;
while(string[index] != '\0')
{
putchar(string[index]);
++index;
}
}
void * malloc(int increment)
{
void * retval = (void *) heapCurrent;
heapCurrent += increment;
if(heapCurrent >= (heap + (1<<16)))
{
exit(1);
}
return retval;
}
void free(void * ignorned) {}
void * _sbrk(int increment)
{
heapCurrent += increment;
if(heapCurrent >= (heap + (1<<16)))
{
exit(1);
}
return (void *)heapCurrent;
}
/*
int rand(void)
{
return 7;
}
int srand(void)
{
return 11;
}
*/
// Default behavior is for GCC to send printf output here
int _write(int fd, const unsigned char *buf, int count)
{
int cnt;
for(cnt = 0; cnt < count; ++cnt)
{
putchar(*buf);
++buf;
}
return cnt;
}
void _close()
{
return;
}
void _read()
{
return;
}
void _lseek()
{
return;
}