Merge pull request #8321 from tautschnig/update-compiler-headers

Expand list of known compiler built-ins
diffblue · Jun 14, 2024 · 77b4d4d · 77b4d4d
2 parents 780b687 + 8f85cb3
commit 77b4d4d
Show file tree

Hide file tree

Showing 10 changed files with 2,136 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -44,6 +44,9 @@ src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-3.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-4.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-5.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-6.inc
+src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-7.inc
+src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-8.inc
+src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-9.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_ia32.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_math.inc
 src/ansi-c/compiler_headers/gcc_builtin_headers_mem_string.inc

diff --git a/src/ansi-c/CMakeLists.txt b/src/ansi-c/CMakeLists.txt
@@ -72,6 +72,9 @@ make_inc(compiler_headers/gcc_builtin_headers_ia32-3)
 make_inc(compiler_headers/gcc_builtin_headers_ia32-4)
 make_inc(compiler_headers/gcc_builtin_headers_ia32-5)
 make_inc(compiler_headers/gcc_builtin_headers_ia32-6)
+make_inc(compiler_headers/gcc_builtin_headers_ia32-7)
+make_inc(compiler_headers/gcc_builtin_headers_ia32-8)
+make_inc(compiler_headers/gcc_builtin_headers_ia32-9)
 make_inc(compiler_headers/gcc_builtin_headers_math)
 make_inc(compiler_headers/gcc_builtin_headers_mem_string)
 make_inc(compiler_headers/gcc_builtin_headers_mips)
@@ -95,6 +98,9 @@ set(extra_dependencies
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-4.inc
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-5.inc
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-6.inc
+    ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-7.inc
+    ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-8.inc
+    ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32-9.inc
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_ia32.inc
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_math.inc
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/gcc_builtin_headers_mem_string.inc

diff --git a/src/ansi-c/Makefile b/src/ansi-c/Makefile
@@ -77,6 +77,9 @@ BUILTIN_FILES = \
   compiler_headers/gcc_builtin_headers_ia32-4.inc \
   compiler_headers/gcc_builtin_headers_ia32-5.inc \
   compiler_headers/gcc_builtin_headers_ia32-6.inc \
+  compiler_headers/gcc_builtin_headers_ia32-7.inc \
+  compiler_headers/gcc_builtin_headers_ia32-8.inc \
+  compiler_headers/gcc_builtin_headers_ia32-9.inc \
   compiler_headers/gcc_builtin_headers_ia32.inc \
   compiler_headers/gcc_builtin_headers_math.inc \
   compiler_headers/gcc_builtin_headers_mem_string.inc \

diff --git a/src/ansi-c/ansi_c_internal_additions.cpp b/src/ansi-c/ansi_c_internal_additions.cpp
@@ -70,6 +70,15 @@ const char gcc_builtin_headers_ia32_5[] =
 const char gcc_builtin_headers_ia32_6[] =
 #include "compiler_headers/gcc_builtin_headers_ia32-6.inc" // IWYU pragma: keep
   ; // NOLINT(whitespace/semicolon)
+const char gcc_builtin_headers_ia32_7[] =
+#include "compiler_headers/gcc_builtin_headers_ia32-7.inc" // IWYU pragma: keep
+  ; // NOLINT(whitespace/semicolon)
+const char gcc_builtin_headers_ia32_8[] =
+#include "compiler_headers/gcc_builtin_headers_ia32-8.inc" // IWYU pragma: keep
+  ; // NOLINT(whitespace/semicolon)
+const char gcc_builtin_headers_ia32_9[] =
+#include "compiler_headers/gcc_builtin_headers_ia32-9.inc" // IWYU pragma: keep
+  ; // NOLINT(whitespace/semicolon)
 
 const char gcc_builtin_headers_alpha[] =
   "#line 1 \"gcc_builtin_headers_alpha.h\"\n"

diff --git a/src/ansi-c/ansi_c_internal_additions.h b/src/ansi-c/ansi_c_internal_additions.h
@@ -30,6 +30,9 @@ extern const char gcc_builtin_headers_ia32_3[];
 extern const char gcc_builtin_headers_ia32_4[];
 extern const char gcc_builtin_headers_ia32_5[];
 extern const char gcc_builtin_headers_ia32_6[];
+extern const char gcc_builtin_headers_ia32_7[];
+extern const char gcc_builtin_headers_ia32_8[];
+extern const char gcc_builtin_headers_ia32_9[];
 extern const char gcc_builtin_headers_alpha[];
 extern const char gcc_builtin_headers_arm[];
 extern const char gcc_builtin_headers_mips[];

diff --git a/src/ansi-c/builtin_factory.cpp b/src/ansi-c/builtin_factory.cpp
@@ -186,6 +186,15 @@ bool builtin_factory(
 
       if(find_pattern(pattern, gcc_builtin_headers_ia32_6, s))
         return convert(identifier, s, symbol_table, mh);
+
+      if(find_pattern(pattern, gcc_builtin_headers_ia32_7, s))
+        return convert(identifier, s, symbol_table, mh);
+
+      if(find_pattern(pattern, gcc_builtin_headers_ia32_8, s))
+        return convert(identifier, s, symbol_table, mh);
+
+      if(find_pattern(pattern, gcc_builtin_headers_ia32_9, s))
+        return convert(identifier, s, symbol_table, mh);
     }
     else if(config.ansi_c.arch=="arm64" ||
             config.ansi_c.arch=="armel" ||

diff --git a/src/ansi-c/compiler_headers/clang_builtins.py b/src/ansi-c/compiler_headers/clang_builtins.py
@@ -115,6 +115,11 @@
             2: '__gcc_v2df',
             4: '__gcc_v4df',
             8: '__gcc_v8df'
+            },
+        '__bf16': {
+            8: '__gcc_v8hf',
+            16: '__gcc_v16hf',
+            32: '__gcc_v32hf'
             }
         }