Do not clang-format builtin headers

tautschnig · tautschnig · commit 4e05bc13129d · 2021-12-04T11:33:54.000Z
We want each declaration to be on a single line to simplify automatic
manipulation, e.g., using get-gcc-builtins.sh.
diff --git a/src/ansi-c/arm_builtin_headers.h b/src/ansi-c/arm_builtin_headers.h
@@ -1,3 +1,4 @@
+// clang-format off
 void __breakpoint(int val);
 void __cdp(unsigned int coproc, unsigned int ops, unsigned int regs);
 void __clrex(void);
@@ -41,3 +42,4 @@ int __usat(unsigned int val, unsigned int sat);
 void __wfe(void);
 void __wfi(void);
 void __yield(void);
+// clang-format on
diff --git a/src/ansi-c/clang_builtin_headers.h b/src/ansi-c/clang_builtin_headers.h
@@ -1,8 +1,8 @@
+// clang-format off
 __gcc_v2di __builtin_ia32_undef128(void);
 __gcc_v4di __builtin_ia32_undef256(void);
 __gcc_v8di __builtin_ia32_undef512(void);
 
-// clang-format off
 __gcc_v8hi __builtin_ia32_cvtne2ps2bf16_128(__gcc_v4sf, __gcc_v4sf);
 __gcc_v16hi __builtin_ia32_cvtne2ps2bf16_256(__gcc_v8sf, __gcc_v8sf);
 __gcc_v32hi __builtin_ia32_cvtne2ps2bf16_512(__gcc_v16sf, __gcc_v16sf);
@@ -54,7 +54,6 @@ void __builtin_nontemporal_load();
 
 int __builtin_flt_rounds(void);
 
-// clang-format off
 unsigned char __builtin_rotateleft8(unsigned char, unsigned char);
 unsigned short __builtin_rotateleft16(unsigned short, unsigned short);
 unsigned int __builtin_rotateleft32(unsigned int, unsigned int);
diff --git a/src/ansi-c/cprover_builtin_headers.h b/src/ansi-c/cprover_builtin_headers.h
@@ -1,3 +1,4 @@
+// clang-format off
 void __CPROVER_assume(__CPROVER_bool assumption);
 void __VERIFIER_assume(__CPROVER_bool assumption);
 void __CPROVER_assert(__CPROVER_bool assertion, const char *description);
@@ -121,3 +122,4 @@ __CPROVER_bool __CPROVER_overflow_unary_minus();
 
 // enumerations
 __CPROVER_bool __CPROVER_enum_is_in_range();
+// clang-format on
diff --git a/src/ansi-c/cw_builtin_headers.h b/src/ansi-c/cw_builtin_headers.h
@@ -1,3 +1,5 @@
+// clang-format off
 int __abs(int);
 void __builtin_va_info();
 __CPROVER_size_t __builtin_force_const(__CPROVER_size_t);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_alpha.h b/src/ansi-c/gcc_builtin_headers_alpha.h
@@ -1,3 +1,4 @@
+// clang-format off
 long __builtin_alpha_implver(void);
 long __builtin_alpha_rpcc(void);
 long __builtin_alpha_amask(long);
@@ -44,3 +45,4 @@ long __builtin_alpha_ctlz(long);
 long __builtin_alpha_ctpop(long);
 void *__builtin_thread_pointer(void);
 void __builtin_set_thread_pointer(void *);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_arm.h b/src/ansi-c/gcc_builtin_headers_arm.h
@@ -1,3 +1,4 @@
+// clang-format off
 int __builtin_arm_getwcx(int);
 void __builtin_arm_setwcx(int, int);
 int __builtin_arm_textrmsb(__gcc_v8qi, int);
@@ -132,3 +133,4 @@ __gcc_v4hi __builtin_arm_wunpckilh(__gcc_v4hi, __gcc_v4hi);
 __gcc_v2si __builtin_arm_wunpckilw(__gcc_v2si, __gcc_v2si);
 long long __builtin_arm_wxor(long long, long long);
 long long __builtin_arm_wzero();
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_generic.h b/src/ansi-c/gcc_builtin_headers_generic.h
@@ -1,3 +1,4 @@
+// clang-format off
 // stdarg
 void* __builtin_apply_args();
 void __builtin_ms_va_end(void *ap);
@@ -92,3 +93,4 @@ void __builtin_return(void*);
 void* __builtin_saveregs();
 int __builtin_setjmp(void*);
 void __builtin_update_setjmp_buf(void*);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_ia32-2.h b/src/ansi-c/gcc_builtin_headers_ia32-2.h
@@ -1,3 +1,4 @@
+// clang-format off
 void __builtin_ia32_emms();
 __gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi);
 __gcc_v2si __builtin_ia32_vec_init_v2si(int, int);
@@ -651,3 +652,4 @@ void __builtin_ia32_scatterpfdpd(char, __gcc_v8si,const long*, int, int);
 void __builtin_ia32_scatterpfdps( short, __gcc_v16si, const int*, int, int);
 void __builtin_ia32_scatterpfqpd(char, __gcc_v8di,const long*, int, int);
 void __builtin_ia32_scatterpfqps(char, __gcc_v8di, const int*, int, int);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_ia32-3.h b/src/ansi-c/gcc_builtin_headers_ia32-3.h
@@ -1,3 +1,4 @@
+// clang-format off
 __gcc_v32hi __builtin_ia32_loaddquhi512_mask(const short*, __gcc_v32hi, unsigned);
 __gcc_v64qi __builtin_ia32_loaddquqi512_mask(const char*, __gcc_v64qi, unsigned long long);
 void __builtin_ia32_storedquhi512_mask(short*, __gcc_v32hi, unsigned);
@@ -664,3 +665,4 @@ unsigned char __builtin_ia32_ptestnmd128(__gcc_v4si, __gcc_v4si, unsigned char);
 unsigned char __builtin_ia32_ptestnmd256(__gcc_v8si, __gcc_v8si, unsigned char);
 unsigned char __builtin_ia32_ptestnmq128(__gcc_v2di, __gcc_v2di, unsigned char);
 unsigned char __builtin_ia32_ptestnmq256(__gcc_v4di, __gcc_v4di, unsigned char);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_ia32-4.h b/src/ansi-c/gcc_builtin_headers_ia32-4.h
@@ -1,3 +1,4 @@
+// clang-format off
 __gcc_v2di __builtin_ia32_broadcastmb128(unsigned char);
 __gcc_v4di __builtin_ia32_broadcastmb256(unsigned char);
 __gcc_v4si __builtin_ia32_broadcastmw128(unsigned short);
@@ -339,3 +340,4 @@ __gcc_v8di __builtin_ia32_vpopcountq_v8di(__gcc_v8di);
 __gcc_v8di __builtin_ia32_vpopcountq_v8di_mask(__gcc_v8di, __gcc_v8di, unsigned char);
 unsigned __builtin_ia32_rdpid();
 unsigned long __builtin_ia32_sizeof(void);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_ia32.h b/src/ansi-c/gcc_builtin_headers_ia32.h
@@ -1,3 +1,4 @@
+// clang-format off
 // from
 // http://gcc.gnu.org/onlinedocs/gcc-4.7.0/gcc/X86-Built_002din-Functions.html
 
@@ -1165,3 +1166,4 @@ double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int);
 __gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int);
 float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int);
 int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_math.h b/src/ansi-c/gcc_builtin_headers_math.h
@@ -1,3 +1,4 @@
+// clang-format off
 int __builtin_abs(int);
 double __builtin_acos(double);
 float __builtin_acosf(float);
@@ -377,3 +378,4 @@ long double __builtin_y1l(long double);
 double __builtin_yn(int, double);
 float __builtin_ynf(int, float);
 long double __builtin_ynl(int, long double);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_mem_string.h b/src/ansi-c/gcc_builtin_headers_mem_string.h
@@ -1,3 +1,4 @@
+// clang-format off
 void __builtin___bnd_chk_ptr_bounds(const void*, __CPROVER_size_t);
 void __builtin___bnd_chk_ptr_lbounds(const void*);
 void __builtin___bnd_chk_ptr_ubounds(const void*);
@@ -116,3 +117,4 @@ char* __builtin_strstr(const char*, const char*);
 int __builtin_toascii(int);
 int __builtin_tolower(int);
 int __builtin_toupper(int);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_omp.h b/src/ansi-c/gcc_builtin_headers_omp.h
@@ -1,3 +1,4 @@
+// clang-format off
 int __builtin_omp_get_thread_num();
 int __builtin_omp_get_num_threads();
 int __builtin_omp_get_team_num();
@@ -88,3 +89,4 @@ void __builtin_GOMP_target_end_data();
 void __builtin_GOMP_target_update_ext(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*);
 void __builtin_GOMP_target_enter_exit_data(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*);
 void __builtin_GOMP_teams(unsigned, unsigned);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_tm.h b/src/ansi-c/gcc_builtin_headers_tm.h
@@ -1,3 +1,4 @@
+// clang-format off
 unsigned __builtin__ITM_beginTransaction(unsigned, ...);
 void __builtin__ITM_commitTransaction();
 void __builtin__ITM_commitTransactionEH(void*);
@@ -42,3 +43,4 @@ long double __builtin__ITM_RE(volatile void*);
 long double __builtin__ITM_RaRE(volatile void*);
 long double __builtin__ITM_RaWE(volatile void*);
 long double __builtin__ITM_RfWE(volatile void*);
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_types.h b/src/ansi-c/gcc_builtin_headers_types.h
@@ -1,3 +1,4 @@
+// clang-format off
 typedef void ** __builtin_va_list;
 typedef void ** __builtin_ms_va_list;
 
@@ -31,3 +32,4 @@ typedef unsigned long long __gcc_di;
 enum __gcc_atomic_memmodels {
   __ATOMIC_RELAXED, __ATOMIC_CONSUME, __ATOMIC_ACQUIRE, __ATOMIC_RELEASE, __ATOMIC_ACQ_REL, __ATOMIC_SEQ_CST
 };
+// clang-format on
diff --git a/src/ansi-c/gcc_builtin_headers_ubsan.h b/src/ansi-c/gcc_builtin_headers_ubsan.h
@@ -1,3 +1,4 @@
+// clang-format off
 void __builtin___asan_init();
 void __builtin___asan_version_mismatch_check_v8();
 void __builtin___asan_report_load1(void*);
@@ -90,3 +91,4 @@ void __builtin___ubsan_handle_nonnull_return_abort(void*);
 void __builtin___ubsan_handle_dynamic_type_cache_miss(void*, void*, void*);
 void __builtin___ubsan_handle_dynamic_type_cache_miss_abort(void*, void*, void*);
 void __builtin___sanitizer_cov_trace_pc();
+// clang-format on
diff --git a/src/ansi-c/windows_builtin_headers.h b/src/ansi-c/windows_builtin_headers.h
@@ -1,4 +1,6 @@
+// clang-format off
 int __assume(int);
 unsigned short __lzcnt16(unsigned short value);
 unsigned int __lzcnt(unsigned int value);
 unsigned __int64 __lzcnt64(unsigned __int64 value);
+// clang-format on
