tmp: reformat nac3standalone/demo/demo.c

.clang-format

@@ -1,3 +1,32 @@
 BasedOnStyle: LLVM
+
+Language: Cpp
+Standard: Cpp11
+
+AccessModifierOffset: -1
+AlignEscapedNewlines: Left
+AlwaysBreakAfterReturnType: None
+AlwaysBreakTemplateDeclarations: Yes
+AllowAllParametersOfDeclarationOnNextLine: false
+AllowShortFunctionsOnASingleLine: Inline
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
+BreakBeforeTernaryOperators: true
+BreakConstructorInitializers: AfterColon
+BreakInheritanceList: AfterColon
+ColumnLimit: 120
+ConstructorInitializerAllOnOneLineOrOnePerLine: true
+ContinuationIndentWidth: 4
+DerivePointerAlignment: false
+IndentCaseLabels: true
+IndentPPDirectives: None
 IndentWidth: 4
-ReflowComments: false
+MaxEmptyLinesToKeep: 1
+PointerAlignment: Left
+ReflowComments: true
+SortIncludes: false
+SortUsingDeclarations: true
+SpaceAfterTemplateKeyword: false
+SpacesBeforeTrailingComments: 2
+TabWidth: 4
+UseTab: Never

nac3core/irrt/irrt/cslice.hpp

@@ -2,7 +2,8 @@
 
 #include <irrt/int_types.hpp>
 
-template <typename SizeT> struct CSlice {
+template<typename SizeT>
+struct CSlice {
     uint8_t* base;
     SizeT len;
 };

nac3core/irrt/irrt/debug.hpp

@@ -8,8 +8,7 @@
 #endif
 
 #define raise_debug_assert(SizeT, msg, param1, param2, param3) \
-    raise_exception(SizeT, EXN_ASSERTION_ERROR,                                \
+    raise_exception(SizeT, EXN_ASSERTION_ERROR, "IRRT debug assert failed: " msg, param1, param2, param3);
-                    "IRRT debug assert failed: " msg, param1, param2, param3);
 
 #define debug_assert_eq(SizeT, lhs, rhs) if constexpr (IRRT_DEBUG_ASSERT_BOOL)
 {

nac3core/irrt/irrt/exception.hpp

@@ -31,7 +31,8 @@ namespace {
 /**
  * @brief NAC3's Exception struct
  */
-template <typename SizeT> struct Exception {
+template<typename SizeT>
+struct Exception {
     ExceptionId id;
     CSlice<SizeT> filename;
     int32_t line;
@@ -44,19 +45,21 @@ template <typename SizeT> struct Exception {
 constexpr int64_t NO_PARAM = 0;
 
 template<typename SizeT>
-void _raise_exception_helper(ExceptionId id, const char *filename, int32_t line,
+void _raise_exception_helper(ExceptionId id,
-                             const char *function, const char *msg,
+                             const char* filename,
-                             int64_t param0, int64_t param1, int64_t param2) {
+                             int32_t line,
+                             const char* function,
+                             const char* msg,
+                             int64_t param0,
+                             int64_t param1,
+                             int64_t param2) {
     Exception<SizeT> e = {
         .id = id,
-        .filename = {.base = reinterpret_cast<const uint8_t *>(filename),
+        .filename = {.base = reinterpret_cast<const uint8_t*>(filename), .len = __builtin_strlen(filename)},
-                     .len = __builtin_strlen(filename)},
         .line = line,
         .column = 0,
-        .function = {.base = reinterpret_cast<const uint8_t *>(function),
+        .function = {.base = reinterpret_cast<const uint8_t*>(function), .len = __builtin_strlen(function)},
-                     .len = __builtin_strlen(function)},
+        .msg = {.base = reinterpret_cast<const uint8_t*>(msg), .len = __builtin_strlen(msg)},
-        .msg = {.base = reinterpret_cast<const uint8_t *>(msg),
-                .len = __builtin_strlen(msg)},
     };
     e.params[0] = param0;
     e.params[1] = param1;
@@ -75,6 +78,5 @@ void _raise_exception_helper(ExceptionId id, const char *filename, int32_t line,
  * `NO_PARAM` to indicate they are unused.
  */
 #define raise_exception(SizeT, id, msg, param0, param1, param2) \
-    _raise_exception_helper<SizeT>(id, __FILE__, __LINE__, __FUNCTION__, msg,  \
+    _raise_exception_helper<SizeT>(id, __FILE__, __LINE__, __FUNCTION__, msg, param0, param1, param2)
-                                   param0, param1, param2)
 }  // namespace

nac3core/irrt/irrt/list.hpp

@@ -10,48 +10,47 @@ extern "C" {
 // - The end index is *inclusive*,
 // - The length of src and dest slice size should already
 // be checked: if dest.step == 1 then len(src) <= len(dest) else len(src) == len(dest)
-SliceIndex __nac3_list_slice_assign_var_size(
+SliceIndex __nac3_list_slice_assign_var_size(SliceIndex dest_start,
-    SliceIndex dest_start, SliceIndex dest_end, SliceIndex dest_step,
+                                             SliceIndex dest_end,
-    uint8_t *dest_arr, SliceIndex dest_arr_len, SliceIndex src_start,
+                                             SliceIndex dest_step,
-    SliceIndex src_end, SliceIndex src_step, uint8_t *src_arr,
+                                             uint8_t* dest_arr,
-    SliceIndex src_arr_len, const SliceIndex size) {
+                                             SliceIndex dest_arr_len,
+                                             SliceIndex src_start,
+                                             SliceIndex src_end,
+                                             SliceIndex src_step,
+                                             uint8_t* src_arr,
+                                             SliceIndex src_arr_len,
+                                             const SliceIndex size) {
     /* if dest_arr_len == 0, do nothing since we do not support extending list */
     if (dest_arr_len == 0)
         return dest_arr_len;
     /* if both step is 1, memmove directly, handle the dropping of the list, and shrink size */
     if (src_step == dest_step && dest_step == 1) {
-        const SliceIndex src_len =
+        const SliceIndex src_len = (src_end >= src_start) ? (src_end - src_start + 1) : 0;
-            (src_end >= src_start) ? (src_end - src_start + 1) : 0;
+        const SliceIndex dest_len = (dest_end >= dest_start) ? (dest_end - dest_start + 1) : 0;
-        const SliceIndex dest_len =
-            (dest_end >= dest_start) ? (dest_end - dest_start + 1) : 0;
         if (src_len > 0) {
-            __builtin_memmove(dest_arr + dest_start * size,
+            __builtin_memmove(dest_arr + dest_start * size, src_arr + src_start * size, src_len * size);
-                              src_arr + src_start * size, src_len * size);
         }
         if (dest_len > 0) {
             /* dropping */
-            __builtin_memmove(dest_arr + (dest_start + src_len) * size,
+            __builtin_memmove(dest_arr + (dest_start + src_len) * size, dest_arr + (dest_end + 1) * size,
-                              dest_arr + (dest_end + 1) * size,
                               (dest_arr_len - dest_end - 1) * size);
         }
         /* shrink size */
         return dest_arr_len - (dest_len - src_len);
     }
     /* if two range overlaps, need alloca */
-    uint8_t need_alloca =
+    uint8_t need_alloca = (dest_arr == src_arr)
-        (dest_arr == src_arr) &&
+                          && !(max(dest_start, dest_end) < min(src_start, src_end)
-        !(max(dest_start, dest_end) < min(src_start, src_end) ||
+                               || max(src_start, src_end) < min(dest_start, dest_end));
-          max(src_start, src_end) < min(dest_start, dest_end));
     if (need_alloca) {
-        uint8_t *tmp =
+        uint8_t* tmp = reinterpret_cast<uint8_t*>(__builtin_alloca(src_arr_len * size));
-            reinterpret_cast<uint8_t *>(__builtin_alloca(src_arr_len * size));
         __builtin_memcpy(tmp, src_arr, src_arr_len * size);
         src_arr = tmp;
     }
     SliceIndex src_ind = src_start;
     SliceIndex dest_ind = dest_start;
-    for (; (src_step > 0) ? (src_ind <= src_end) : (src_ind >= src_end);
+    for (; (src_step > 0) ? (src_ind <= src_end) : (src_ind >= src_end); src_ind += src_step, dest_ind += dest_step) {
-         src_ind += src_step, dest_ind += dest_step) {
         /* for constant optimization */
         if (size == 1) {
             __builtin_memcpy(dest_arr + dest_ind, src_arr + src_ind, 1);
@@ -61,15 +60,13 @@ SliceIndex __nac3_list_slice_assign_var_size(
             __builtin_memcpy(dest_arr + dest_ind * 8, src_arr + src_ind * 8, 8);
         } else {
             /* memcpy for var size, cannot overlap after previous alloca */
-            __builtin_memcpy(dest_arr + dest_ind * size,
+            __builtin_memcpy(dest_arr + dest_ind * size, src_arr + src_ind * size, size);
-                             src_arr + src_ind * size, size);
         }
     }
     /* only dest_step == 1 can we shrink the dest list. */
     /* size should be ensured prior to calling this function */
     if (dest_step == 1 && dest_end >= dest_start) {
-        __builtin_memmove(dest_arr + dest_ind * size,
+        __builtin_memmove(dest_arr + dest_ind * size, dest_arr + (dest_end + 1) * size,
-                          dest_arr + (dest_end + 1) * size,
                           (dest_arr_len - dest_end - 1) * size);
         return dest_arr_len - (dest_end - dest_ind) - 1;
     }

nac3core/irrt/irrt/math.hpp

@@ -3,7 +3,8 @@
 namespace {
 // adapted from GNU Scientific Library: https://git.savannah.gnu.org/cgit/gsl.git/tree/sys/pow_int.c
 // need to make sure `exp >= 0` before calling this function
-template <typename T> T __nac3_int_exp_impl(T base, T exp) {
+template<typename T>
+T __nac3_int_exp_impl(T base, T exp) {
     T res = 1;
     /* repeated squaring method */
     do {
@@ -31,9 +32,13 @@ DEF_nac3_int_exp_(int64_t);
 DEF_nac3_int_exp_(uint32_t);
 DEF_nac3_int_exp_(uint64_t);
 
-int32_t __nac3_isinf(double x) { return __builtin_isinf(x); }
+int32_t __nac3_isinf(double x) {
+    return __builtin_isinf(x);
+}
 
-int32_t __nac3_isnan(double x) { return __builtin_isnan(x); }
+int32_t __nac3_isnan(double x) {
+    return __builtin_isnan(x);
+}
 
 double tgamma(double arg);
 

nac3core/irrt/irrt/math_util.hpp

@@ -1,11 +1,13 @@
 #pragma once
 
 namespace {
-template <typename T> const T &max(const T &a, const T &b) {
+template<typename T>
+const T& max(const T& a, const T& b) {
     return a > b ? a : b;
 }
 
-template <typename T> const T &min(const T &a, const T &b) {
+template<typename T>
+const T& min(const T& a, const T& b) {
     return a > b ? b : a;
 }
 }  // namespace

nac3core/irrt/irrt/ndarray.hpp

@@ -4,8 +4,7 @@
 
 namespace {
 template<typename SizeT>
-SizeT __nac3_ndarray_calc_size_impl(const SizeT *list_data, SizeT list_len,
+SizeT __nac3_ndarray_calc_size_impl(const SizeT* list_data, SizeT list_len, SizeT begin_idx, SizeT end_idx) {
-                                    SizeT begin_idx, SizeT end_idx) {
     __builtin_assume(end_idx <= list_len);
 
     SizeT num_elems = 1;
@@ -18,8 +17,7 @@ SizeT __nac3_ndarray_calc_size_impl(const SizeT *list_data, SizeT list_len,
 }
 
 template<typename SizeT>
-void __nac3_ndarray_calc_nd_indices_impl(SizeT index, const SizeT *dims,
+void __nac3_ndarray_calc_nd_indices_impl(SizeT index, const SizeT* dims, SizeT num_dims, NDIndex* idxs) {
-                                         SizeT num_dims, NDIndex *idxs) {
     SizeT stride = 1;
     for (SizeT dim = 0; dim < num_dims; dim++) {
         SizeT i = num_dims - dim - 1;
@@ -30,9 +28,7 @@ void __nac3_ndarray_calc_nd_indices_impl(SizeT index, const SizeT *dims,
 }
 
 template<typename SizeT>
-SizeT __nac3_ndarray_flatten_index_impl(const SizeT *dims, SizeT num_dims,
+SizeT __nac3_ndarray_flatten_index_impl(const SizeT* dims, SizeT num_dims, const NDIndex* indices, SizeT num_indices) {
-                                        const NDIndex *indices,
-                                        SizeT num_indices) {
     SizeT idx = 0;
     SizeT stride = 1;
     for (SizeT i = 0; i < num_dims; ++i) {
@@ -48,16 +44,16 @@ SizeT __nac3_ndarray_flatten_index_impl(const SizeT *dims, SizeT num_dims,
 }
 
 template<typename SizeT>
-void __nac3_ndarray_calc_broadcast_impl(const SizeT *lhs_dims, SizeT lhs_ndims,
+void __nac3_ndarray_calc_broadcast_impl(const SizeT* lhs_dims,
-                                        const SizeT *rhs_dims, SizeT rhs_ndims,
+                                        SizeT lhs_ndims,
+                                        const SizeT* rhs_dims,
+                                        SizeT rhs_ndims,
                                         SizeT* out_dims) {
     SizeT max_ndims = lhs_ndims > rhs_ndims ? lhs_ndims : rhs_ndims;
 
     for (SizeT i = 0; i < max_ndims; ++i) {
-        const SizeT *lhs_dim_sz =
+        const SizeT* lhs_dim_sz = i < lhs_ndims ? &lhs_dims[lhs_ndims - i - 1] : nullptr;
-            i < lhs_ndims ? &lhs_dims[lhs_ndims - i - 1] : nullptr;
+        const SizeT* rhs_dim_sz = i < rhs_ndims ? &rhs_dims[rhs_ndims - i - 1] : nullptr;
-        const SizeT *rhs_dim_sz =
-            i < rhs_ndims ? &rhs_dims[rhs_ndims - i - 1] : nullptr;
         SizeT* out_dim = &out_dims[max_ndims - i - 1];
 
         if (lhs_dim_sz == nullptr) {
@@ -89,71 +85,60 @@ void __nac3_ndarray_calc_broadcast_idx_impl(const SizeT *src_dims,
 }  // namespace
 
 extern "C" {
-uint32_t __nac3_ndarray_calc_size(const uint32_t *list_data, uint32_t list_len,
+uint32_t __nac3_ndarray_calc_size(const uint32_t* list_data, uint32_t list_len, uint32_t begin_idx, uint32_t end_idx) {
-                                  uint32_t begin_idx, uint32_t end_idx) {
+    return __nac3_ndarray_calc_size_impl(list_data, list_len, begin_idx, end_idx);
-    return __nac3_ndarray_calc_size_impl(list_data, list_len, begin_idx,
-                                         end_idx);
 }
 
-uint64_t __nac3_ndarray_calc_size64(const uint64_t *list_data,
+uint64_t
-                                    uint64_t list_len, uint64_t begin_idx,
+__nac3_ndarray_calc_size64(const uint64_t* list_data, uint64_t list_len, uint64_t begin_idx, uint64_t end_idx) {
-                                    uint64_t end_idx) {
+    return __nac3_ndarray_calc_size_impl(list_data, list_len, begin_idx, end_idx);
-    return __nac3_ndarray_calc_size_impl(list_data, list_len, begin_idx,
-                                         end_idx);
 }
 
-void __nac3_ndarray_calc_nd_indices(uint32_t index, const uint32_t *dims,
+void __nac3_ndarray_calc_nd_indices(uint32_t index, const uint32_t* dims, uint32_t num_dims, NDIndex* idxs) {
-                                    uint32_t num_dims, NDIndex *idxs) {
     __nac3_ndarray_calc_nd_indices_impl(index, dims, num_dims, idxs);
 }
 
-void __nac3_ndarray_calc_nd_indices64(uint64_t index, const uint64_t *dims,
+void __nac3_ndarray_calc_nd_indices64(uint64_t index, const uint64_t* dims, uint64_t num_dims, NDIndex* idxs) {
-                                      uint64_t num_dims, NDIndex *idxs) {
     __nac3_ndarray_calc_nd_indices_impl(index, dims, num_dims, idxs);
 }
 
-uint32_t __nac3_ndarray_flatten_index(const uint32_t *dims, uint32_t num_dims,
+uint32_t
-                                      const NDIndex *indices,
+__nac3_ndarray_flatten_index(const uint32_t* dims, uint32_t num_dims, const NDIndex* indices, uint32_t num_indices) {
-                                      uint32_t num_indices) {
+    return __nac3_ndarray_flatten_index_impl(dims, num_dims, indices, num_indices);
-    return __nac3_ndarray_flatten_index_impl(dims, num_dims, indices,
-                                             num_indices);
 }
 
-uint64_t __nac3_ndarray_flatten_index64(const uint64_t *dims, uint64_t num_dims,
+uint64_t
-                                        const NDIndex *indices,
+__nac3_ndarray_flatten_index64(const uint64_t* dims, uint64_t num_dims, const NDIndex* indices, uint64_t num_indices) {
-                                        uint64_t num_indices) {
+    return __nac3_ndarray_flatten_index_impl(dims, num_dims, indices, num_indices);
-    return __nac3_ndarray_flatten_index_impl(dims, num_dims, indices,
-                                             num_indices);
 }
 
-void __nac3_ndarray_calc_broadcast(const uint32_t *lhs_dims, uint32_t lhs_ndims,
+void __nac3_ndarray_calc_broadcast(const uint32_t* lhs_dims,
-                                   const uint32_t *rhs_dims, uint32_t rhs_ndims,
+                                   uint32_t lhs_ndims,
+                                   const uint32_t* rhs_dims,
+                                   uint32_t rhs_ndims,
                                    uint32_t* out_dims) {
-    return __nac3_ndarray_calc_broadcast_impl(lhs_dims, lhs_ndims, rhs_dims,
+    return __nac3_ndarray_calc_broadcast_impl(lhs_dims, lhs_ndims, rhs_dims, rhs_ndims, out_dims);
-                                              rhs_ndims, out_dims);
 }
 
 void __nac3_ndarray_calc_broadcast64(const uint64_t* lhs_dims,
                                      uint64_t lhs_ndims,
                                      const uint64_t* rhs_dims,
-                                     uint64_t rhs_ndims, uint64_t *out_dims) {
+                                     uint64_t rhs_ndims,
-    return __nac3_ndarray_calc_broadcast_impl(lhs_dims, lhs_ndims, rhs_dims,
+                                     uint64_t* out_dims) {
-                                              rhs_ndims, out_dims);
+    return __nac3_ndarray_calc_broadcast_impl(lhs_dims, lhs_ndims, rhs_dims, rhs_ndims, out_dims);
 }
 
 void __nac3_ndarray_calc_broadcast_idx(const uint32_t* src_dims,
                                        uint32_t src_ndims,
                                        const NDIndex* in_idx,
                                        NDIndex* out_idx) {
-    __nac3_ndarray_calc_broadcast_idx_impl(src_dims, src_ndims, in_idx,
+    __nac3_ndarray_calc_broadcast_idx_impl(src_dims, src_ndims, in_idx, out_idx);
-                                           out_idx);
 }
 
 void __nac3_ndarray_calc_broadcast_idx64(const uint64_t* src_dims,
                                          uint64_t src_ndims,
                                          const NDIndex* in_idx,
                                          NDIndex* out_idx) {
-    __nac3_ndarray_calc_broadcast_idx_impl(src_dims, src_ndims, in_idx,
+    __nac3_ndarray_calc_broadcast_idx_impl(src_dims, src_ndims, in_idx, out_idx);
-                                           out_idx);
 }
 }

nac3core/irrt/irrt/slice.hpp

@@ -15,8 +15,7 @@ SliceIndex __nac3_slice_index_bound(SliceIndex i, const SliceIndex len) {
     return i;
 }
 
-SliceIndex __nac3_range_slice_len(const SliceIndex start, const SliceIndex end,
+SliceIndex __nac3_range_slice_len(const SliceIndex start, const SliceIndex end, const SliceIndex step) {
-                                  const SliceIndex step) {
     SliceIndex diff = end - start;
     if (diff > 0 && step > 0) {
         return ((diff - 1) / step) + 1;

nac3standalone/demo/demo.c

@@ -6,19 +6,33 @@
 #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)) {
@@ -85,10 +99,8 @@ uint64_t dbg_stack_address(__attribute__((unused)) struct cslice *slice) {
     return (uintptr_t)ptr;
 }
 
-uint32_t __nac3_personality(uint32_t state, uint32_t exception_object,
+uint32_t __nac3_personality(uint32_t state, uint32_t exception_object, uint32_t context) {
-                            uint32_t context) {
+    printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n", state, exception_object, context);
-    printf("__nac3_personality(state: %u, exception_object: %u, context: %u)\n",
-           state, exception_object, context);
     exit(101);
     __builtin_unreachable();
 }
@@ -108,15 +120,11 @@ struct Exception {
 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",
+    printf("    Location: %*s:%" PRIu32 ":%" PRIu32 "\n", static_cast<int>(e->file.len),
-           static_cast<int>(e->file.len),
            reinterpret_cast<const char*>(e->file.data), e->line, e->column);
-    printf("    Function: %*s\n", static_cast<int>(e->function.len),
+    printf("    Function: %*s\n", static_cast<int>(e->function.len), reinterpret_cast<const char*>(e->function.data));
-           reinterpret_cast<const char *>(e->function.data));
+    printf("     Message: \"%*s\"\n", static_cast<int>(e->message.len), reinterpret_cast<const char*>(e->message.data));
-    printf("     Message: \"%*s\"\n", static_cast<int>(e->message.len),
+    printf("      Params: {0}=%" PRId64 ", {1}=%" PRId64 ", {2}=%" PRId64 "\n", e->param[0], e->param[1], e->param[2]);
-           reinterpret_cast<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();
 }
@@ -125,4 +133,6 @@ void __nac3_end_catch(void) {}
 
 extern int32_t run(void);
 
-int main(void) { run(); }
+int main(void) {
+    run();
+}