From 99da1974ef6856fa0da16e48a697bbc7ec3708fa Mon Sep 17 00:00:00 2001
From: lyken <lyken@m-labs.hk>
Date: Mon, 26 Aug 2024 16:44:54 +0800
Subject: [PATCH] standalone: reformat demo.c

---
 nac3standalone/demo/demo.c | 62 ++++++++++++++++----------------------
 1 file changed, 26 insertions(+), 36 deletions(-)

diff --git a/nac3standalone/demo/demo.c b/nac3standalone/demo/demo.c
index d07550f0..f1cef5d2 100644
--- a/nac3standalone/demo/demo.c
+++ b/nac3standalone/demo/demo.c
@@ -6,33 +6,19 @@
 #include <stdlib.h>
 #include <string.h>
 
-double dbl_nan(void) {
-  return NAN;
-}
+double dbl_nan(void) { return NAN; }
 
-double dbl_inf(void) {
-  return INFINITY;
-}
+double dbl_inf(void) { return INFINITY; }
 
-void output_bool(bool x) {
-    puts(x ? "True" : "False");
-}
+void output_bool(bool x) { puts(x ? "True" : "False"); }
 
-void output_int32(int32_t x) {
-    printf("%"PRId32"\n", x);
-}
+void output_int32(int32_t x) { printf("%" PRId32 "\n", x); }
 
-void output_int64(int64_t x) {
-    printf("%"PRId64"\n", x);
-}
+void output_int64(int64_t x) { printf("%" PRId64 "\n", x); }
 
-void output_uint32(uint32_t x) {
-    printf("%"PRIu32"\n", x);
-}
+void output_uint32(uint32_t x) { printf("%" PRIu32 "\n", x); }
 
-void output_uint64(uint64_t x) {
-    printf("%"PRIu64"\n", x);
-}
+void output_uint64(uint64_t x) { printf("%" PRIu64 "\n", x); }
 
 void output_float64(double x) {
     if (isnan(x)) {
@@ -66,7 +52,7 @@ struct cslice {
 };
 
 void output_int32_list(struct cslice *slice) {
-    const int32_t *data = (int32_t *) slice->data;
+    const int32_t *data = (int32_t *)slice->data;
 
     putchar('[');
     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) {
-    const char *data = (const char *) slice->data;
+    const char *data = (const char *)slice->data;
 
     for (size_t i = 0; i < slice->len; ++i) {
         putchar(data[i]);
@@ -95,12 +81,14 @@ void output_strln(struct cslice *slice) {
 
 uint64_t dbg_stack_address(__attribute__((unused)) struct cslice *slice) {
     int i;
-    void *ptr = (void *) &i;
-    return (uintptr_t) ptr;
+    void *ptr = (void *)&i;
+    return (uintptr_t)ptr;
 }
 
-uint32_t __nac3_personality(uint32_t state, uint32_t exception_object, uint32_t context) {
-    printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n", state, exception_object, context);
+uint32_t __nac3_personality(uint32_t state, uint32_t exception_object,
+                            uint32_t context) {
+    printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n",
+           state, exception_object, context);
     exit(101);
     __builtin_unreachable();
 }
@@ -117,13 +105,17 @@ struct Exception {
     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("          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("    Function: %*s\n" , (int) e->function.len, (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]);
+    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("    Function: %*s\n", (int)e->function.len,
+           (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);
     __builtin_unreachable();
 }
@@ -132,6 +124,4 @@ void __nac3_end_catch(void) {}
 
 extern int32_t run(void);
 
-int main(void) {
-    run();
-}
+int main(void) { run(); }