nsz Git - cparser/blob - builtins.c

   1 /*
   2  * This file is part of cparser.
   3  * Copyright (C) 2007-2009 Matthias Braun <matze@braunis.de>
   4  *
   5  * This program is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU General Public License
   7  * as published by the Free Software Foundation; either version 2
   8  * of the License, or (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  18  * 02111-1307, USA.
  19  */
  20 #include "config.h"
  21
  22 #include "type_t.h"
  23 #include "types.h"
  24 #include "entity_t.h"
  25 #include "ast_t.h"
  26 #include "parser.h"
  27 #include "builtins.h"
  28 #include "lang_features.h"
  29
  30 static entity_t *create_builtin_function(builtin_kind_t kind, const char *name,
  31                                          type_t *function_type)
  32 {
  33         symbol_t *symbol = symbol_table_insert(name);
  34         entity_t *entity = allocate_entity_zero(ENTITY_FUNCTION);
  35         entity->declaration.storage_class          = STORAGE_CLASS_EXTERN;
  36         entity->declaration.declared_storage_class = STORAGE_CLASS_EXTERN;
  37         entity->declaration.type                   = function_type;
  38         entity->declaration.implicit               = true;
  39         entity->base.symbol                        = symbol;
  40         entity->base.source_position               = builtin_source_position;
  41
  42         entity->function.btk                       = kind;
  43
  44         record_entity(entity, /*is_definition=*/false);
  45         return entity;
  46 }
  47
  48 void create_gnu_builtins(void)
  49 {
  50 #define GNU_BUILTIN(a, b) create_builtin_function(bk_gnu_builtin_##a, "__builtin_" #a, b)
  51
  52         GNU_BUILTIN(alloca,         make_function_1_type(type_void_ptr, type_size_t));
  53         GNU_BUILTIN(huge_val,       make_function_0_type(type_double));
  54         GNU_BUILTIN(huge_valf,      make_function_0_type(type_float));
  55         GNU_BUILTIN(huge_vall,      make_function_0_type(type_long_double));
  56         GNU_BUILTIN(inf,            make_function_0_type(type_double));
  57         GNU_BUILTIN(inff,           make_function_0_type(type_float));
  58         GNU_BUILTIN(infl,           make_function_0_type(type_long_double));
  59         GNU_BUILTIN(nan,            make_function_1_type(type_double, type_char_ptr));
  60         GNU_BUILTIN(nanf,           make_function_1_type(type_float, type_char_ptr));
  61         GNU_BUILTIN(nanl,           make_function_1_type(type_long_double, type_char_ptr));
  62         GNU_BUILTIN(va_end,         make_function_1_type(type_void, type_valist));
  63         GNU_BUILTIN(expect,         make_function_2_type(type_long, type_long, type_long));
  64         GNU_BUILTIN(return_address, make_function_1_type(type_void_ptr, type_unsigned_int));
  65         GNU_BUILTIN(frame_address,  make_function_1_type(type_void_ptr, type_unsigned_int));
  66         GNU_BUILTIN(ffs,            make_function_1_type(type_int, type_unsigned_int));
  67         GNU_BUILTIN(clz,            make_function_1_type(type_int, type_unsigned_int));
  68         GNU_BUILTIN(ctz,            make_function_1_type(type_int, type_unsigned_int));
  69         GNU_BUILTIN(popcount,       make_function_1_type(type_int, type_unsigned_int));
  70         GNU_BUILTIN(parity,         make_function_1_type(type_int, type_unsigned_int));
  71         GNU_BUILTIN(prefetch,       make_function_1_type_variadic(type_float, type_void_ptr));
  72         GNU_BUILTIN(trap,           make_function_type(type_void, 0, NULL, DM_NORETURN));
  73         GNU_BUILTIN(object_size,    make_function_2_type(type_size_t, type_void_ptr, type_int));
  74         GNU_BUILTIN(abort,          make_function_type(type_void, 0, NULL, DM_NORETURN));
  75         GNU_BUILTIN(abs,            make_function_type(type_int, 1, (type_t *[]) { type_int }, DM_CONST));
  76         GNU_BUILTIN(labs,           make_function_type(type_long, 1, (type_t *[]) { type_long }, DM_CONST));
  77         GNU_BUILTIN(llabs,          make_function_type(type_long_long, 1, (type_t *[]) { type_long_long }, DM_CONST));
  78         GNU_BUILTIN(memcpy,         make_function_type(type_void_ptr, 3, (type_t *[]) { type_void_ptr_restrict, type_void_ptr_restrict, type_size_t }, DM_NONE));
  79         GNU_BUILTIN(__memcpy_chk,   make_function_type(type_void_ptr, 4, (type_t *[]) { type_void_ptr_restrict, type_void_ptr_restrict, type_size_t, type_size_t}, DM_NONE));
  80         GNU_BUILTIN(exit,           make_function_type(type_void, 1, (type_t *[]) { type_int }, DM_NORETURN));
  81         GNU_BUILTIN(malloc,         make_function_type(type_void_ptr, 1, (type_t *[]) { type_size_t }, DM_MALLOC));
  82         GNU_BUILTIN(memcmp,         make_function_type(type_int, 3, (type_t *[]) { type_const_void_ptr, type_const_void_ptr, type_size_t }, DM_PURE));
  83         GNU_BUILTIN(memset,         make_function_type(type_void_ptr, 3, (type_t *[]) { type_void_ptr, type_int, type_size_t }, DM_NONE));
  84         GNU_BUILTIN(strlen,         make_function_type(type_size_t, 1, (type_t *[]) { type_const_char_ptr }, DM_PURE));
  85         GNU_BUILTIN(strcmp,         make_function_type(type_int, 2, (type_t *[]) { type_const_char_ptr, type_const_char_ptr }, DM_PURE));
  86         GNU_BUILTIN(strcpy,         make_function_type(type_char_ptr, 2, (type_t *[]) { type_char_ptr_restrict, type_const_char_ptr_restrict }, DM_NONE));
  87
  88         /* TODO: gcc has a LONG list of builtin functions (nearly everything from
  89          * C89-C99 and others. Complete this */
  90
  91 #undef GNU_BUILTIN
  92 }
  93
  94 static const char *get_builtin_replacement_name(builtin_kind_t kind)
  95 {
  96         switch (kind) {
  97         case bk_gnu_builtin_abort:  return "abort";
  98         case bk_gnu_builtin_abs:    return "abs";
  99         case bk_gnu_builtin_labs:   return "labs";
 100         case bk_gnu_builtin_llabs:  return "llabs";
 101         case bk_gnu_builtin_exit:   return "exit";
 102         case bk_gnu_builtin_malloc: return "malloc";
 103         case bk_gnu_builtin_memcmp: return "memcmp";
 104         case bk_gnu_builtin_memcpy: return "memcpy";
 105         case bk_gnu_builtin_memset: return "memset";
 106         case bk_gnu_builtin_strlen: return "strlen";
 107         case bk_gnu_builtin_strcmp: return "strcmp";
 108         case bk_gnu_builtin_strcpy: return "strcpy";
 109
 110         default:
 111                 break;
 112         }
 113         return NULL;
 114 }
 115
 116 entity_t *get_builtin_replacement(const entity_t *builtin_entity)
 117 {
 118         builtin_kind_t  kind        = builtin_entity->function.btk;
 119         const char     *replacement = get_builtin_replacement_name(kind);
 120         if (replacement == NULL)
 121                 return NULL;
 122
 123         entity_t *entity = allocate_entity_zero(ENTITY_FUNCTION);
 124         entity->base.symbol           = symbol_table_insert(replacement);
 125         entity->base.namespc          = NAMESPACE_NORMAL;
 126         entity->base.source_position  = builtin_source_position;
 127         entity->declaration.storage_class          = STORAGE_CLASS_EXTERN;
 128         entity->declaration.declared_storage_class = STORAGE_CLASS_EXTERN;
 129         entity->declaration.type      = builtin_entity->declaration.type;
 130         entity->declaration.implicit  = true;
 131         entity->declaration.modifiers = builtin_entity->declaration.modifiers;
 132
 133         return entity;
 134 }
 135
 136 void create_microsoft_intrinsics(void)
 137 {
 138 #define MS_BUILTIN(a, b) create_builtin_function(bk_ms##a, #a, b)
 139
 140         /* intrinsics for all architectures */
 141         MS_BUILTIN(_rotl,                  make_function_2_type(type_unsigned_int,   type_unsigned_int, type_int));
 142         MS_BUILTIN(_rotr,                  make_function_2_type(type_unsigned_int,   type_unsigned_int, type_int));
 143         MS_BUILTIN(_rotl64,                make_function_2_type(type_unsigned_int64, type_unsigned_int64, type_int));
 144         MS_BUILTIN(_rotr64,                make_function_2_type(type_unsigned_int64, type_unsigned_int64, type_int));
 145         MS_BUILTIN(_byteswap_ushort,       make_function_1_type(type_unsigned_short, type_unsigned_short));
 146         MS_BUILTIN(_byteswap_ulong,        make_function_1_type(type_unsigned_long,  type_unsigned_long));
 147         MS_BUILTIN(_byteswap_uint64,       make_function_1_type(type_unsigned_int64, type_unsigned_int64));
 148
 149         MS_BUILTIN(__debugbreak,            make_function_0_type(type_void));
 150         MS_BUILTIN(_ReturnAddress,          make_function_0_type(type_void_ptr));
 151         MS_BUILTIN(_AddressOfReturnAddress, make_function_0_type(type_void_ptr));
 152         MS_BUILTIN(__popcount,              make_function_1_type(type_unsigned_int, type_unsigned_int));
 153
 154         /* x86/x64 only */
 155         MS_BUILTIN(_enable,                make_function_0_type(type_void));
 156         MS_BUILTIN(_disable,               make_function_0_type(type_void));
 157         MS_BUILTIN(__inbyte,               make_function_1_type(type_unsigned_char, type_unsigned_short));
 158         MS_BUILTIN(__inword,               make_function_1_type(type_unsigned_short, type_unsigned_short));
 159         MS_BUILTIN(__indword,              make_function_1_type(type_unsigned_long, type_unsigned_short));
 160         MS_BUILTIN(__outbyte,              make_function_2_type(type_void, type_unsigned_short, type_unsigned_char));
 161         MS_BUILTIN(__outword,              make_function_2_type(type_void, type_unsigned_short, type_unsigned_short));
 162         MS_BUILTIN(__outdword,             make_function_2_type(type_void, type_unsigned_short, type_unsigned_long));
 163         MS_BUILTIN(__ud2,                  make_function_type(type_void, 0, NULL, DM_NORETURN));
 164         MS_BUILTIN(_BitScanForward,        make_function_2_type(type_unsigned_char, type_unsigned_long_ptr, type_unsigned_long));
 165         MS_BUILTIN(_BitScanReverse,        make_function_2_type(type_unsigned_char, type_unsigned_long_ptr, type_unsigned_long));
 166         MS_BUILTIN(_InterlockedExchange,   make_function_2_type(type_long, type_long_ptr, type_long));
 167         MS_BUILTIN(_InterlockedExchange64, make_function_2_type(type_int64, type_int64_ptr, type_int64));
 168
 169         if (machine_size <= 32) {
 170                 MS_BUILTIN(__readeflags,           make_function_0_type(type_unsigned_int));
 171                 MS_BUILTIN(__writeeflags,          make_function_1_type(type_void, type_unsigned_int));
 172         } else {
 173                 MS_BUILTIN(__readeflags,           make_function_0_type(type_unsigned_int64));
 174                 MS_BUILTIN(__writeeflags,          make_function_1_type(type_void, type_unsigned_int64));
 175         }
 176
 177 #undef MS_BUILTIN
 178 }