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

tautschnig · web-flow · commit 77b4d4dc9797 · 2024-06-14T10:36:00.000+02:00
Expand list of known compiler built-ins
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'
             }
         }
 
diff --git a/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-7.h b/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-7.h
diff --git a/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-8.h b/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-8.h
diff --git a/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-9.h b/src/ansi-c/compiler_headers/gcc_builtin_headers_ia32-9.h

Original file line number	Diff line number	Diff line change
`@@ -115,6 +115,11 @@`
`115`	`115`	`2: '__gcc_v2df',`
`116`	`116`	`4: '__gcc_v4df',`
`117`	`117`	`8: '__gcc_v8df'`
	`118`	`+ },`
	`119`	`+ '__bf16': {`
	`120`	`+ 8: '__gcc_v8hf',`
	`121`	`+ 16: '__gcc_v16hf',`
	`122`	`+ 32: '__gcc_v32hf'`
`118`	`123`	`}`
`119`	`124`	`}`
`120`	`125`