1 /* This file contains the definitions for the builtins exclusively used
2 in the GNU Ada compiler.
4 Copyright (C
) 2019-2023 Free Software Foundation
, Inc.
6 This file is part of GCC.
8 GCC is free software
; you can redistribute it and
/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation
; either version
3, or (at your option
) any later
13 GCC is distributed in the hope that it will be useful
, but WITHOUT ANY
14 WARRANTY
; without even the implied warranty of MERCHANTABILITY or
15 FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC
; see the file COPYING3. If not see
20 <http
://www.gnu.org
/licenses
/>.
*/
22 /* Before including this file
, you should define a macro
:
24 DEF_ADA_BUILTIN (ENUM
, NAME
, TYPE, ATTRS
)
26 See builtins.def for details.
*/
28 DEF_ADA_BUILTIN (BUILT_IN_EXPECT
, "expect", BT_FN_BOOL_BOOL_BOOL
, ATTR_CONST_NOTHROW_LEAF_LIST
)
29 DEF_ADA_BUILTIN (BUILT_IN_LIKELY
, "likely", BT_FN_BOOL_BOOL
, ATTR_CONST_NOTHROW_LEAF_LIST
)
30 DEF_ADA_BUILTIN (BUILT_IN_UNLIKELY
, "unlikely", BT_FN_BOOL_BOOL
, ATTR_CONST_NOTHROW_LEAF_LIST
)
31 DEF_ADA_BUILTIN (BUILT_IN_RETURN_SLOT
, "return_slot", BT_FN_PTR_SSIZE
, ATTR_CONST_NOTHROW_LEAF_LIST
)