X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=builtins.h;h=cc946437e919c32fe88b2020ffdfb0619bfc41d1;hb=7473d9545525216a1276296dbc1759e07972cf96;hp=0db7cb733e729d430b98a77ffb46e5747252cc6d;hpb=f9e3296bcef96ce8c60c422c17e6fc84f0b991c7;p=cparser

diff --git a/builtins.h b/builtins.h
index 0db7cb7..cc94643 100644
--- a/builtins.h
+++ b/builtins.h
@@ -1,115 +1,23 @@
 /*
  * This file is part of cparser.
- * Copyright (C) 2007-2010 Matthias Braun <matze@braunis.de>
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
- * 02111-1307, USA.
+ * Copyright (C) 2012 Matthias Braun <matze@braunis.de>
  */
 #ifndef BUILTINS_H
 #define BUILTINS_H
 
-#include <stdbool.h>
-
-/**
- * GNU builtin or MS intrinsic functions.
- */
-typedef enum builtin_kind_t {
-	bk_none = 0,
-
-	bk_gnu_builtin___memcpy_chk,
-	bk_gnu_builtin___memmove_chk,
-	bk_gnu_builtin___memset_chk,
-	bk_gnu_builtin___snprintf_chk,
-	bk_gnu_builtin___sprintf_chk,
-	bk_gnu_builtin___stpcpy_chk,
-	bk_gnu_builtin___strcat_chk,
-	bk_gnu_builtin___strcpy_chk,
-	bk_gnu_builtin___strncat_chk,
-	bk_gnu_builtin___strncpy_chk,
-	bk_gnu_builtin___vsnprintf_chk,
-	bk_gnu_builtin___vsprintf_chk,
-	bk_gnu_builtin_abort,
-	bk_gnu_builtin_abs,
-	bk_gnu_builtin_alloca,
-	bk_gnu_builtin_clz,
-	bk_gnu_builtin_ctz,
-	bk_gnu_builtin_exit,
-	bk_gnu_builtin_expect,
-	bk_gnu_builtin_ffs,
-	bk_gnu_builtin_frame_address,
-	bk_gnu_builtin_huge_val,
-	bk_gnu_builtin_huge_valf,
-	bk_gnu_builtin_huge_vall,
-	bk_gnu_builtin_inf,
-	bk_gnu_builtin_inff,
-	bk_gnu_builtin_infl,
-	bk_gnu_builtin_labs,
-	bk_gnu_builtin_llabs,
-	bk_gnu_builtin_malloc,
-	bk_gnu_builtin_memcmp,
-	bk_gnu_builtin_memcpy,
-	bk_gnu_builtin_memmove,
-	bk_gnu_builtin_memset,
-	bk_gnu_builtin_nan,
-	bk_gnu_builtin_nanf,
-	bk_gnu_builtin_nanl,
-	bk_gnu_builtin_object_size,
-	bk_gnu_builtin_parity,
-	bk_gnu_builtin_popcount,
-	bk_gnu_builtin_prefetch,
-	bk_gnu_builtin_return_address,
-	bk_gnu_builtin_snprintf,
-	bk_gnu_builtin_sprintf,
-	bk_gnu_builtin_stpcpy,
-	bk_gnu_builtin_strcat,
-	bk_gnu_builtin_strcmp,
-	bk_gnu_builtin_strcpy,
-	bk_gnu_builtin_strlen,
-	bk_gnu_builtin_strncat,
-	bk_gnu_builtin_strncpy,
-	bk_gnu_builtin_trap,
-	bk_gnu_builtin_va_end,
-	bk_gnu_builtin_vsnprintf,
-	bk_gnu_builtin_vsprintf,
-
-	bk_ms_AddressOfReturnAddress,
-	bk_ms_BitScanForward,
-	bk_ms_BitScanReverse,
-	bk_ms_InterlockedExchange,
-	bk_ms_InterlockedExchange64,
-	bk_ms_ReturnAddress,
-	bk_ms__debugbreak,
-	bk_ms__inbyte,
-	bk_ms__indword,
-	bk_ms__inword,
-	bk_ms__outbyte,
-	bk_ms__outdword,
-	bk_ms__outword,
-	bk_ms__popcount,
-	bk_ms__readeflags,
-	bk_ms__ud2,
-	bk_ms__writeeflags,
-	bk_ms_byteswap_uint64,
-	bk_ms_byteswap_ulong,
-	bk_ms_byteswap_ushort,
-	bk_ms_disable,
-	bk_ms_enable,
-	bk_ms_rotl,
-	bk_ms_rotl64,
-	bk_ms_rotr,
-	bk_ms_rotr64,
+typedef enum {
+	BUILTIN_NONE,
+	BUILTIN_ALLOCA,
+	BUILTIN_INF,
+	BUILTIN_NAN,
+	BUILTIN_EXPECT,
+	BUILTIN_VA_END,
+	BUILTIN_OBJECT_SIZE,
+	BUILTIN_ROTL,
+	BUILTIN_ROTR,
+	BUILTIN_LIBC,
+	BUILTIN_LIBC_CHECK,
+	BUILTIN_FIRM,
 } builtin_kind_t;
 
 /**
@@ -123,12 +31,12 @@ void create_gnu_builtins(void);
 void create_microsoft_intrinsics(void);
 
 /**
- * Some of the gnu builtins are simply more elaborate declarations of
- * library functions. Return the library function name so we can simply
- * replace the builtins with these during code generation
+ * Some functions like setjmp,longjmp are known from libc and need special
+ * attributes like noreturn or returns_twice.
+ * (Adding __attribute__(())s in the libc headers would be enough but apparently
+ *  this is not done in most cases since people rely on a list of hardcoded
+ *  names in gcc, so we have to duplicate this here)
  */
-entity_t *get_builtin_replacement(const entity_t *builtin_entity);
-
-int get_builtin_chk_arg_pos(builtin_kind_t kind);
+void adapt_special_functions(function_t *function);
 
 #endif