1 // See LICENSE for license details.
14 extern volatile uint64_t tohost
;
15 extern volatile uint64_t fromhost
;
17 static uintptr_t syscall(uintptr_t which
, uint64_t arg0
, uint64_t arg1
, uint64_t arg2
)
19 volatile uint64_t magic_mem
[8] __attribute__((aligned(64)));
26 tohost
= (uintptr_t)magic_mem
;
35 #define NUM_COUNTERS 2
36 static uintptr_t counters
[NUM_COUNTERS
];
37 static char* counter_names
[NUM_COUNTERS
];
39 void setStats(int enable
)
42 #define READ_CTR(name) do { \
43 while (i >= NUM_COUNTERS) ; \
44 uintptr_t csr = read_csr(name); \
45 if (!enable) { csr -= counters[i]; counter_names[i] = #name; } \
46 counters[i++] = csr; \
55 void __attribute__((noreturn
)) tohost_exit(uintptr_t code
)
57 tohost
= (code
<< 1) | 1;
61 uintptr_t __attribute__((weak
)) handle_trap(uintptr_t cause
, uintptr_t epc
, uintptr_t regs
[32])
71 void printstr(const char* s
)
73 syscall(SYS_write
, 1, (uintptr_t)s
, strlen(s
));
76 void __attribute__((weak
)) thread_entry(int cid
, int nc
)
78 // multi-threaded programs override this function.
79 // for the case of single-threaded programs, only let core 0 proceed.
83 int __attribute__((weak
)) main(int argc
, char** argv
)
85 // single-threaded programs override this function.
86 printstr("Implement main(), foo!\n");
90 static void init_tls()
92 register void* thread_pointer
asm("tp");
93 extern char _tls_data
;
94 extern __thread
char _tdata_begin
, _tdata_end
, _tbss_end
;
95 size_t tdata_size
= &_tdata_end
- &_tdata_begin
;
96 memcpy(thread_pointer
, &_tls_data
, tdata_size
);
97 size_t tbss_size
= &_tbss_end
- &_tdata_end
;
98 memset(thread_pointer
+ tdata_size
, 0, tbss_size
);
101 void _init(int cid
, int nc
)
104 thread_entry(cid
, nc
);
106 // only single-threaded programs should ever get here.
107 int ret
= main(0, 0);
109 char buf
[NUM_COUNTERS
* 32] __attribute__((aligned(64)));
111 for (int i
= 0; i
< NUM_COUNTERS
; i
++)
113 pbuf
+= sprintf(pbuf
, "%s = %d\n", counter_names
[i
], counters
[i
]);
123 static __thread
char buf
[64] __attribute__((aligned(64)));
124 static __thread
int buflen
= 0;
128 if (ch
== '\n' || buflen
== sizeof(buf
))
130 syscall(SYS_write
, 1, (uintptr_t)buf
, buflen
);
137 void printhex(uint64_t x
)
141 for (i
= 0; i
< 16; i
++)
143 str
[15-i
] = (x
& 0xF) + ((x
& 0xF) < 10 ? '0' : 'a'-10);
151 static inline void printnum(void (*putch
)(int, void**), void **putdat
,
152 unsigned long long num
, unsigned base
, int width
, int padc
)
154 unsigned digs
[sizeof(num
)*CHAR_BIT
];
159 digs
[pos
++] = num
% base
;
165 while (width
-- > pos
)
169 putch(digs
[pos
] + (digs
[pos
] >= 10 ? 'a' - 10 : '0'), putdat
);
172 static unsigned long long getuint(va_list *ap
, int lflag
)
175 return va_arg(*ap
, unsigned long long);
177 return va_arg(*ap
, unsigned long);
179 return va_arg(*ap
, unsigned int);
182 static long long getint(va_list *ap
, int lflag
)
185 return va_arg(*ap
, long long);
187 return va_arg(*ap
, long);
189 return va_arg(*ap
, int);
192 static void vprintfmt(void (*putch
)(int, void**), void **putdat
, const char *fmt
, va_list ap
)
194 register const char* p
;
195 const char* last_fmt
;
196 register int ch
, err
;
197 unsigned long long num
;
198 int base
, lflag
, width
, precision
, altflag
;
202 while ((ch
= *(unsigned char *) fmt
) != '%') {
210 // Process a %-escape sequence
218 switch (ch
= *(unsigned char *) fmt
++) {
220 // flag to pad on the right
225 // flag to pad with 0's instead of spaces
240 for (precision
= 0; ; ++fmt
) {
241 precision
= precision
* 10 + ch
- '0';
243 if (ch
< '0' || ch
> '9')
246 goto process_precision
;
249 precision
= va_arg(ap
, int);
250 goto process_precision
;
263 width
= precision
, precision
= -1;
266 // long flag (doubled for long long)
273 putch(va_arg(ap
, int), putdat
);
278 if ((p
= va_arg(ap
, char *)) == NULL
)
280 if (width
> 0 && padc
!= '-')
281 for (width
-= strnlen(p
, precision
); width
> 0; width
--)
283 for (; (ch
= *p
) != '\0' && (precision
< 0 || --precision
>= 0); width
--) {
287 for (; width
> 0; width
--)
293 num
= getint(&ap
, lflag
);
294 if ((long long) num
< 0) {
296 num
= -(long long) num
;
304 goto unsigned_number
;
308 // should do something with padding so it's always 3 octits
310 goto unsigned_number
;
314 static_assert(sizeof(long) == sizeof(void*));
318 /* fall through to 'x' */
320 // (unsigned) hexadecimal
324 num
= getuint(&ap
, lflag
);
326 printnum(putch
, putdat
, num
, base
, width
, padc
);
329 // escaped '%' character
334 // unrecognized escape sequence - just print it literally
343 int printf(const char* fmt
, ...)
348 vprintfmt((void*)putchar
, 0, fmt
, ap
);
351 return 0; // incorrect return value, but who cares, anyway?
354 int sprintf(char* str
, const char* fmt
, ...)
360 void sprintf_putch(int ch
, void** data
)
362 char** pstr
= (char**)data
;
367 vprintfmt(sprintf_putch
, (void**)&str
, fmt
, ap
);
374 void* memcpy(void* dest
, const void* src
, size_t len
)
376 if ((((uintptr_t)dest
| (uintptr_t)src
| len
) & (sizeof(uintptr_t)-1)) == 0) {
377 const uintptr_t* s
= src
;
379 while (d
< (uintptr_t*)(dest
+ len
))
384 while (d
< (char*)(dest
+ len
))
390 void* memset(void* dest
, int byte
, size_t len
)
392 if ((((uintptr_t)dest
| len
) & (sizeof(uintptr_t)-1)) == 0) {
393 uintptr_t word
= byte
& 0xFF;
396 word
|= word
<< 16 << 16;
399 while (d
< (uintptr_t*)(dest
+ len
))
403 while (d
< (char*)(dest
+ len
))
409 size_t strlen(const char *s
)
417 size_t strnlen(const char *s
, size_t n
)
425 int strcmp(const char* s1
, const char* s2
)
427 unsigned char c1
, c2
;
432 } while (c1
!= 0 && c1
== c2
);
437 char* strcpy(char* dest
, const char* src
)
440 while ((*d
++ = *src
++))
445 long atol(const char* str
)
453 if (*str
== '-' || *str
== '+') {
463 return sign
? -res
: res
;