From 09585d4e4353dd9df83718a9cfd98f01880cab6b Mon Sep 17 00:00:00 2001
From: aadanen <aaron.danen@gmail.com>
Date: Wed, 9 Sep 2026 10:29:04 -0700
Subject: [PATCH] Add gnu bit operation builtins

---
 cfg/gnu.cfg | 84 +++++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 81 insertions(+), 3 deletions(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 1c8d1597a7f..f83ed44294a 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -241,16 +241,94 @@
   <function name="__builtin_trap,__builtin_unreachable">
     <noreturn>true</noreturn>
   </function>
+  <!-- https://gcc.gnu.org/onlinedocs/gcc/Bit-Operation-Builtins.html -->
   <!-- int __builtin_popcount (unsigned int x) -->
+  <!-- int __builtin_popcountl (unsigned long x) -->
+  <!-- int __builtin_popcountll (unsigned long long x) -->
   <!-- int __builtin_parity (unsigned int x) -->
+  <!-- int __builtin_parityl (unsigned long x) -->
+  <!-- int __builtin_parityll (unsigned long long x) -->
   <!-- int __builtin_ffs (int x) -->
-  <!-- int __builtin_ffsl (long) -->
-  <!-- int __builtin_ffsll (long long) -->
+  <!-- int __builtin_ffsl (long x) -->
+  <!-- int __builtin_ffsll (long long x) -->
+  <!-- int __builtin_clrsb (int x) -->
+  <!-- int __builtin_clrsbl (long x) -->
+  <!-- int __builtin_clrsbll (long long x) -->
+  <function name="__builtin_popcount,__builtin_popcountl,__builtin_popcountll,__builtin_parity,__builtin_parityl,__builtin_parityll,__builtin_ffs,__builtin_ffsl,__builtin_ffsll,__builtin_clrsb,__builtin_clrsbl,__builtin_clrsbll">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- int __builtin_clz (unsigned int x) -->
-  <function name="__builtin_popcount,__builtin_parity,__builtin_ffs,__builtin_ffsl,__builtin_ffsll,__builtin_clz">
+  <!-- int __builtin_clzl (unsigned long x) -->
+  <!-- int __builtin_clzll (unsigned long long x) -->
+  <!-- int __builtin_ctz (unsigned int x) -->
+  <!-- int __builtin_ctzl (unsigned long x) -->
+  <!-- int __builtin_ctzll (unsigned long long x) -->
+  <function name="__builtin_clz,__builtin_clzl,__builtin_clzll,__builtin_ctz,__builtin_ctzl,__builtin_ctzll">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
     <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <!-- result is undefined if x is 0 -->
+      <valid>1:</valid>
+    </arg>
+  </function>
+  <!-- int __builtin_ffsg (...) -->
+  <!-- int __builtin_clrsbg (...) -->
+  <!-- int __builtin_popcountg (...) -->
+  <!-- int __builtin_parityg (...) -->
+  <function name="__builtin_ffsg,__builtin_clrsbg,__builtin_popcountg,__builtin_parityg">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int __builtin_clzg (...) -->
+  <!-- int __builtin_ctzg (...) -->
+  <function name="__builtin_clzg,__builtin_ctzg">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <use-retval/>
+    <const/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="variadic" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- unsigned int __builtin_stdc_bit_width (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_count_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_count_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_leading_one (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_leading_zero (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_trailing_one (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_first_trailing_zero (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_leading_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_leading_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_trailing_ones (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_trailing_zeros (uintX_t x) -->
+  <!-- unsigned int __builtin_stdc_has_single_bit (uintX_t x) -->
+  <function name="__builtin_stdc_bit_width,__builtin_stdc_count_ones,__builtin_stdc_count_zeros,__builtin_stdc_first_leading_one,__builtin_stdc_first_leading_zero,__builtin_stdc_first_trailing_one,__builtin_stdc_first_trailing_zero,__builtin_stdc_leading_ones,__builtin_stdc_leading_zeros,__builtin_stdc_trailing_ones,__builtin_stdc_trailing_zeros,__builtin_stdc_has_single_bit">
+    <noreturn>false</noreturn>
+    <returnValue type="unsigned int"/>
+    <use-retval/>
+    <const/>
     <arg nr="1" direction="in">
       <not-uninit/>
       <not-bool/>