M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 100 Pull Requests 20 Releases Wiki Activity

standalone: reformat demo.c

This commit is contained in:
lyken 2024-08-26 16:44:54 +08:00
parent 6f483aed6c
commit 99da1974ef
No known key found for this signature in database
GPG Key ID: 3BD5FC6AC8325DD8
1 changed files with 26 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
nac3standalone/demo/demo.c
View File

@ -6,33 +6,19 @@
#include <stdlib.h> #include <stdlib.h>
#include <string.h> #include <string.h>
double dbl_nan(void) { double dbl_nan(void) { return NAN; }
return NAN;
}
double dbl_inf(void) { double dbl_inf(void) { return INFINITY; }
return INFINITY;
}
void output_bool(bool x) { void output_bool(bool x) { puts(x ? "True" : "False"); }
puts(x ? "True" : "False");
}
void output_int32(int32_t x) { void output_int32(int32_t x) { printf("%" PRId32 "\n", x); }
printf("%"PRId32"\n", x);
}
void output_int64(int64_t x) { void output_int64(int64_t x) { printf("%" PRId64 "\n", x); }
printf("%"PRId64"\n", x);
}
void output_uint32(uint32_t x) { void output_uint32(uint32_t x) { printf("%" PRIu32 "\n", x); }
printf("%"PRIu32"\n", x);
}
void output_uint64(uint64_t x) { void output_uint64(uint64_t x) { printf("%" PRIu64 "\n", x); }
printf("%"PRIu64"\n", x);
}
void output_float64(double x) { void output_float64(double x) {
if (isnan(x)) { if (isnan(x)) {
@ -66,7 +52,7 @@ struct cslice {
}; };
void output_int32_list(struct cslice *slice) { void output_int32_list(struct cslice *slice) {
const int32_t *data = (int32_t *) slice->data; const int32_t *data = (int32_t *)slice->data;
putchar('['); putchar('[');
for (size_t i = 0; i < slice->len; ++i) { for (size_t i = 0; i < slice->len; ++i) {
@ -81,7 +67,7 @@ void output_int32_list(struct cslice *slice) {
} }
void output_str(struct cslice *slice) { void output_str(struct cslice *slice) {
const char *data = (const char *) slice->data; const char *data = (const char *)slice->data;
for (size_t i = 0; i < slice->len; ++i) { for (size_t i = 0; i < slice->len; ++i) {
putchar(data[i]); putchar(data[i]);
@ -95,12 +81,14 @@ void output_strln(struct cslice *slice) {
uint64_t dbg_stack_address(__attribute__((unused)) struct cslice *slice) { uint64_t dbg_stack_address(__attribute__((unused)) struct cslice *slice) {
int i; int i;
void *ptr = (void *) &i; void *ptr = (void *)&i;
return (uintptr_t) ptr; return (uintptr_t)ptr;
} }
uint32_t __nac3_personality(uint32_t state, uint32_t exception_object, uint32_t context) { uint32_t __nac3_personality(uint32_t state, uint32_t exception_object,
printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n", state, exception_object, context); uint32_t context) {
printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n",
state, exception_object, context);
exit(101); exit(101);
__builtin_unreachable(); __builtin_unreachable();
} }
@ -117,13 +105,17 @@ struct Exception {
int64_t param[3]; int64_t param[3];
}; };
uint32_t __nac3_raise(struct Exception* e) { uint32_t __nac3_raise(struct Exception *e) {
printf("__nac3_raise called. Exception details:\n"); printf("__nac3_raise called. Exception details:\n");
printf(" ID: %"PRIu32"\n", e->id); printf(" ID: %" PRIu32 "\n", e->id);
printf(" Location: %*s:%"PRIu32":%"PRIu32"\n" , (int) e->file.len, (const char*) e->file.data, e->line, e->column); printf(" Location: %*s:%" PRIu32 ":%" PRIu32 "\n", (int)e->file.len,
printf(" Function: %*s\n" , (int) e->function.len, (const char*) e->function.data); (const char *)e->file.data, e->line, e->column);
printf(" Message: \"%*s\"\n" , (int) e->message.len, (const char*) e->message.data); printf(" Function: %*s\n", (int)e->function.len,
printf(" Params: {0}=%"PRId64", {1}=%"PRId64", {2}=%"PRId64"\n", e->param[0], e->param[1], e->param[2]); (const char *)e->function.data);
printf(" Message: \"%*s\"\n", (int)e->message.len,
(const char *)e->message.data);
printf(" Params: {0}=%" PRId64 ", {1}=%" PRId64 ", {2}=%" PRId64 "\n",
e->param[0], e->param[1], e->param[2]);
exit(101); exit(101);
__builtin_unreachable(); __builtin_unreachable();
} }
@ -132,6 +124,4 @@ void __nac3_end_catch(void) {}
extern int32_t run(void); extern int32_t run(void);
int main(void) { int main(void) { run(); }
run();
}