Builtins.cpp revision bee05c1206dcd525e0a1f066d166ad3e972a500e
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Builtins.cpp - Builtin function implementation -------------------===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file implements various things for builtin functions. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 146b15cdc1312f8fc45c86ee75e2a85106700e97f6Chris Lattner#include "clang/Basic/Builtins.h" 15c7229c338c21ef26b01ef3ecf9eec4fd373fa9ecChris Lattner#include "clang/Basic/IdentifierTable.h" 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/TargetInfo.h" 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang; 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerstatic const Builtin::Info BuiltinInfo[] = { 20b1152d842c6599e41581302a85a0f53928253addDouglas Gregor { "not a builtin function", 0, 0, 0, false }, 21b1152d842c6599e41581302a85a0f53928253addDouglas Gregor#define BUILTIN(ID, TYPE, ATTRS) { #ID, TYPE, ATTRS, 0, false }, 22b1152d842c6599e41581302a85a0f53928253addDouglas Gregor#define LIBBUILTIN(ID, TYPE, ATTRS, HEADER) { #ID, TYPE, ATTRS, HEADER, false }, 236b15cdc1312f8fc45c86ee75e2a85106700e97f6Chris Lattner#include "clang/Basic/Builtins.def" 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerconst Builtin::Info &Builtin::Context::GetRecord(unsigned ID) const { 275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (ID < Builtin::FirstTSBuiltin) 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return BuiltinInfo[ID]; 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(ID - Builtin::FirstTSBuiltin < NumTSRecords && "Invalid builtin ID!"); 305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return TSRecords[ID - Builtin::FirstTSBuiltin]; 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 33030e8fe5aabe6a50ed7da3182df8cbce446bfeabChris LattnerBuiltin::Context::Context(const TargetInfo &Target) { 34030e8fe5aabe6a50ed7da3182df8cbce446bfeabChris Lattner // Get the target specific builtins from the target. 35ff1d4d97a191ca84a703ef8d6c71ef6934090c4dChris Lattner TSRecords = 0; 36ff1d4d97a191ca84a703ef8d6c71ef6934090c4dChris Lattner NumTSRecords = 0; 371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Target.getTargetBuiltins(TSRecords, NumTSRecords); 38030e8fe5aabe6a50ed7da3182df8cbce446bfeabChris Lattner} 39030e8fe5aabe6a50ed7da3182df8cbce446bfeabChris Lattner 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// InitializeBuiltins - Mark the identifiers for all the builtins with their 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// appropriate builtin ID # and mark any non-portable builtin identifiers as 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// such. 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Builtin::Context::InitializeBuiltins(IdentifierTable &Table, 447644f0726c310ec4224085eaea5f9aff8b957d90Chris Lattner bool NoBuiltins) { 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Step #1: mark all target-independent builtins with their ID's. 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer for (unsigned i = Builtin::NotBuiltin+1; i != Builtin::FirstTSBuiltin; ++i) 473573c0c0b44a1ac8f76a00af1bc75e94ca03d704Douglas Gregor if (!BuiltinInfo[i].Suppressed && 487644f0726c310ec4224085eaea5f9aff8b957d90Chris Lattner (!NoBuiltins || !strchr(BuiltinInfo[i].Attributes, 'f'))) 493573c0c0b44a1ac8f76a00af1bc75e94ca03d704Douglas Gregor Table.get(BuiltinInfo[i].Name).setBuiltinID(i); 501b63e4f732dbc73d90abf886b4d21f8e3a165f6dChris Lattner 5171dfdb9bc91b5d81b124e6091c903e4efd87149dDouglas Gregor // Step #2: Register target-specific builtins. 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer for (unsigned i = 0, e = NumTSRecords; i != e; ++i) 533573c0c0b44a1ac8f76a00af1bc75e94ca03d704Douglas Gregor if (!TSRecords[i].Suppressed && 541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump (!NoBuiltins || 551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump (TSRecords[i].Attributes && 56e86999055974002cf213bae1a1a9f734773a6d8eDaniel Dunbar !strchr(TSRecords[i].Attributes, 'f')))) 573573c0c0b44a1ac8f76a00af1bc75e94ca03d704Douglas Gregor Table.get(TSRecords[i].Name).setBuiltinID(i+Builtin::FirstTSBuiltin); 585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpvoid 612deaea37a637dd01221d0cced343702a39d8132cDouglas GregorBuiltin::Context::GetBuiltinNames(llvm::SmallVectorImpl<const char *> &Names, 622deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor bool NoBuiltins) { 632deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor // Final all target-independent names 642deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor for (unsigned i = Builtin::NotBuiltin+1; i != Builtin::FirstTSBuiltin; ++i) 652deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor if (!BuiltinInfo[i].Suppressed && 662deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor (!NoBuiltins || !strchr(BuiltinInfo[i].Attributes, 'f'))) 672deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor Names.push_back(BuiltinInfo[i].Name); 681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 692deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor // Find target-specific names. 702deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor for (unsigned i = 0, e = NumTSRecords; i != e; ++i) 712deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor if (!TSRecords[i].Suppressed && 721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump (!NoBuiltins || 731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump (TSRecords[i].Attributes && 742deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor !strchr(TSRecords[i].Attributes, 'f')))) 752deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor Names.push_back(TSRecords[i].Name); 762deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor} 772deaea37a637dd01221d0cced343702a39d8132cDouglas Gregor 781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumpbool 791eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpBuiltin::Context::isPrintfLike(unsigned ID, unsigned &FormatIdx, 80a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor bool &HasVAListArg) { 81ea684e699ea84e61711e279f5fa7a1b9f3d46bc2Cedric Venet const char *Printf = strpbrk(GetRecord(ID).Attributes, "pP"); 82a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor if (!Printf) 83a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor return false; 84a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor 85a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor HasVAListArg = (*Printf == 'P'); 86a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor 87a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor ++Printf; 88a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor assert(*Printf == ':' && "p or P specifier must have be followed by a ':'"); 89a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor ++Printf; 90a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor 918a778d6c95b1f937e3158c638793ad06c14e6a37Chris Lattner assert(strchr(Printf, ':') && "printf specifier must end with a ':'"); 92a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor FormatIdx = strtol(Printf, 0, 10); 93a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor return true; 94a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor} 95a316e7b735b12ce6b34961a9dcfaae34f4b08d29Douglas Gregor 96bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek// FIXME: Refactor with isPrintfLike. 97bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenekbool 98bee05c1206dcd525e0a1f066d166ad3e972a500eTed KremenekBuiltin::Context::isScanfLike(unsigned ID, unsigned &FormatIdx, 99bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek bool &HasVAListArg) { 100bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek const char *Scanf = strpbrk(GetRecord(ID).Attributes, "sS"); 101bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek if (!Scanf) 102bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek return false; 103bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek 104bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek HasVAListArg = (*Scanf == 'S'); 105bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek 106bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek ++Scanf; 107bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek assert(*Scanf == ':' && "s or S specifier must have be followed by a ':'"); 108bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek ++Scanf; 109bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek 110bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek assert(strchr(Scanf, ':') && "printf specifier must end with a ':'"); 111bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek FormatIdx = strtol(Scanf, 0, 10); 112bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek return true; 113bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek} 114bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek 115bee05c1206dcd525e0a1f066d166ad3e972a500eTed Kremenek 116