annotate gcc/cp/operators.def @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* -*-C-*-
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 This file contains definitions of the various C++ operators,
kono
parents:
diff changeset
4 including both overloadable operators (like `+') and
kono
parents:
diff changeset
5 non-overloadable operators (like the `?:' ternary operator).
kono
parents:
diff changeset
6 Written by Mark Mitchell <mark@codesourcery.com>
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 Copyright (C) 2000-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 This file is part of GCC.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
13 it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
14 the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
15 any later version.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
18 but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
19 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
20 GNU General Public License for more details.
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
23 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
24 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 /* The DEF_OPERATOR macro takes the following arguments:
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 NAME
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 The name of the operator, as a C string, but without the
kono
parents:
diff changeset
31 preceding `operator'. This is the name that would be given in
kono
parents:
diff changeset
32 the source program. For `operator +', for example, this would be
kono
parents:
diff changeset
33 `+'.
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 CODE
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 The tree_code for this operator. For `operator +', for example,
kono
parents:
diff changeset
38 this would be PLUS_EXPR. Because there are no tree codes for
kono
parents:
diff changeset
39 assignment operators, the same tree-codes are reused; i.e.,
kono
parents:
diff changeset
40 `operator +' will also have PLUS_EXPR as its CODE.
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 MANGLING
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 The mangling prefix for the operator, as a C string, and as
kono
parents:
diff changeset
45 mangled under the new ABI. For `operator +', for example, this
kono
parents:
diff changeset
46 would be "pl".
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 ARITY
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 The arity of the operator, or -1 if any arity is allowed. (As
kono
parents:
diff changeset
51 for `operator ()'.) Postincrement and postdecrement operators
kono
parents:
diff changeset
52 are marked as binary.
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 ASSN_P
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 A boolean value. If nonzero, this is an assignment operator.
kono
parents:
diff changeset
57
kono
parents:
diff changeset
58 Before including this file, you should define DEF_OPERATOR
kono
parents:
diff changeset
59 to take these arguments.
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 There is code (such as in grok_op_properties) that depends on the
kono
parents:
diff changeset
62 order the operators are presented in this file. In particular,
kono
parents:
diff changeset
63 unary operators must precede binary operators. */
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 /* Use DEF_SIMPLE_OPERATOR to define a non-assignment operator. Its
kono
parents:
diff changeset
66 arguments are as for DEF_OPERATOR, but there is no need to provide
kono
parents:
diff changeset
67 an ASSIGNMENT_P argument; it is always zero. */
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 #define DEF_SIMPLE_OPERATOR(NAME, CODE, MANGLING, ARITY) \
kono
parents:
diff changeset
70 DEF_OPERATOR(NAME, CODE, MANGLING, ARITY, cik_simple_op)
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 /* Use DEF_ASSN_OPERATOR to define an assignment operator. Its
kono
parents:
diff changeset
73 arguments are as for DEF_OPERATOR, but there is no need to provide
kono
parents:
diff changeset
74 an ASSIGNMENT_P argument; it is always one. */
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 #define DEF_ASSN_OPERATOR(NAME, CODE, MANGLING, ARITY) \
kono
parents:
diff changeset
77 DEF_OPERATOR(NAME, CODE, MANGLING, ARITY, cik_assign_op)
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 /* Memory allocation operators. */
kono
parents:
diff changeset
80 DEF_OPERATOR ("new", NEW_EXPR, "nw", -1, cik_newdel_op)
kono
parents:
diff changeset
81 DEF_OPERATOR ("new []", VEC_NEW_EXPR, "na", -1, cik_newdel_op)
kono
parents:
diff changeset
82 DEF_OPERATOR ("delete", DELETE_EXPR, "dl", -1, cik_newdel_op)
kono
parents:
diff changeset
83 DEF_OPERATOR ("delete []", VEC_DELETE_EXPR, "da", -1, cik_newdel_op)
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 /* Unary operators. */
kono
parents:
diff changeset
86 DEF_SIMPLE_OPERATOR ("+", UNARY_PLUS_EXPR, "ps", 1)
kono
parents:
diff changeset
87 DEF_SIMPLE_OPERATOR ("-", NEGATE_EXPR, "ng", 1)
kono
parents:
diff changeset
88 DEF_SIMPLE_OPERATOR ("&", ADDR_EXPR, "ad", 1)
kono
parents:
diff changeset
89 DEF_SIMPLE_OPERATOR ("*", INDIRECT_REF, "de", 1)
kono
parents:
diff changeset
90 DEF_SIMPLE_OPERATOR ("~", BIT_NOT_EXPR, "co", 1)
kono
parents:
diff changeset
91 DEF_SIMPLE_OPERATOR ("!", TRUTH_NOT_EXPR, "nt", 1)
kono
parents:
diff changeset
92 DEF_SIMPLE_OPERATOR ("++", PREINCREMENT_EXPR, "pp", 1)
kono
parents:
diff changeset
93 DEF_SIMPLE_OPERATOR ("--", PREDECREMENT_EXPR, "mm", 1)
kono
parents:
diff changeset
94 DEF_SIMPLE_OPERATOR ("sizeof", SIZEOF_EXPR, "sz", 1)
kono
parents:
diff changeset
95 /* These are extensions. */
kono
parents:
diff changeset
96 DEF_SIMPLE_OPERATOR ("alignof", ALIGNOF_EXPR, "az", 1)
kono
parents:
diff changeset
97 DEF_SIMPLE_OPERATOR ("__imag__", IMAGPART_EXPR, "v18__imag__", 1)
kono
parents:
diff changeset
98 DEF_SIMPLE_OPERATOR ("__real__", REALPART_EXPR, "v18__real__", 1)
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 /* The cast operators. */
kono
parents:
diff changeset
101 DEF_SIMPLE_OPERATOR ("", CAST_EXPR, "cv", 1)
kono
parents:
diff changeset
102 DEF_SIMPLE_OPERATOR ("dynamic_cast", DYNAMIC_CAST_EXPR, "dc", 1)
kono
parents:
diff changeset
103 DEF_SIMPLE_OPERATOR ("reinterpret_cast", REINTERPRET_CAST_EXPR, "rc", 1)
kono
parents:
diff changeset
104 DEF_SIMPLE_OPERATOR ("const_cast", CONST_CAST_EXPR, "cc", 1)
kono
parents:
diff changeset
105 DEF_SIMPLE_OPERATOR ("static_cast", STATIC_CAST_EXPR, "sc", 1)
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 /* Binary operators. */
kono
parents:
diff changeset
108 DEF_SIMPLE_OPERATOR ("+", PLUS_EXPR, "pl", 2)
kono
parents:
diff changeset
109 DEF_SIMPLE_OPERATOR ("-", MINUS_EXPR, "mi", 2)
kono
parents:
diff changeset
110 DEF_SIMPLE_OPERATOR ("*", MULT_EXPR, "ml", 2)
kono
parents:
diff changeset
111 DEF_SIMPLE_OPERATOR ("/", TRUNC_DIV_EXPR, "dv", 2)
kono
parents:
diff changeset
112 DEF_SIMPLE_OPERATOR ("%", TRUNC_MOD_EXPR, "rm", 2)
kono
parents:
diff changeset
113 DEF_SIMPLE_OPERATOR ("&", BIT_AND_EXPR, "an", 2)
kono
parents:
diff changeset
114 DEF_SIMPLE_OPERATOR ("|", BIT_IOR_EXPR, "or", 2)
kono
parents:
diff changeset
115 DEF_SIMPLE_OPERATOR ("^", BIT_XOR_EXPR, "eo", 2)
kono
parents:
diff changeset
116 DEF_SIMPLE_OPERATOR ("<<", LSHIFT_EXPR, "ls", 2)
kono
parents:
diff changeset
117 DEF_SIMPLE_OPERATOR (">>", RSHIFT_EXPR, "rs", 2)
kono
parents:
diff changeset
118 DEF_SIMPLE_OPERATOR ("==", EQ_EXPR, "eq", 2)
kono
parents:
diff changeset
119 DEF_SIMPLE_OPERATOR ("!=", NE_EXPR, "ne", 2)
kono
parents:
diff changeset
120 DEF_SIMPLE_OPERATOR ("<", LT_EXPR, "lt", 2)
kono
parents:
diff changeset
121 DEF_SIMPLE_OPERATOR (">", GT_EXPR, "gt", 2)
kono
parents:
diff changeset
122 DEF_SIMPLE_OPERATOR ("<=", LE_EXPR, "le", 2)
kono
parents:
diff changeset
123 DEF_SIMPLE_OPERATOR (">=", GE_EXPR, "ge", 2)
kono
parents:
diff changeset
124 DEF_SIMPLE_OPERATOR ("&&", TRUTH_ANDIF_EXPR, "aa", 2)
kono
parents:
diff changeset
125 DEF_SIMPLE_OPERATOR ("||", TRUTH_ORIF_EXPR, "oo", 2)
kono
parents:
diff changeset
126 DEF_SIMPLE_OPERATOR (",", COMPOUND_EXPR, "cm", 2)
kono
parents:
diff changeset
127 DEF_SIMPLE_OPERATOR ("->*", MEMBER_REF, "pm", 2)
kono
parents:
diff changeset
128 DEF_SIMPLE_OPERATOR (".*", DOTSTAR_EXPR, "ds", 2)
kono
parents:
diff changeset
129 DEF_SIMPLE_OPERATOR ("->", COMPONENT_REF, "pt", 2)
kono
parents:
diff changeset
130 DEF_SIMPLE_OPERATOR ("[]", ARRAY_REF, "ix", 2)
kono
parents:
diff changeset
131 DEF_SIMPLE_OPERATOR ("++", POSTINCREMENT_EXPR, "pp", 2)
kono
parents:
diff changeset
132 DEF_SIMPLE_OPERATOR ("--", POSTDECREMENT_EXPR, "mm", 2)
kono
parents:
diff changeset
133 /* This one is needed for mangling. */
kono
parents:
diff changeset
134 DEF_SIMPLE_OPERATOR ("::", SCOPE_REF, "sr", 2)
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 /* Assignment operators. */
kono
parents:
diff changeset
137 DEF_ASSN_OPERATOR ("=", NOP_EXPR, "aS", 2)
kono
parents:
diff changeset
138 DEF_ASSN_OPERATOR ("+=", PLUS_EXPR, "pL", 2)
kono
parents:
diff changeset
139 DEF_ASSN_OPERATOR ("-=", MINUS_EXPR, "mI", 2)
kono
parents:
diff changeset
140 DEF_ASSN_OPERATOR ("*=", MULT_EXPR, "mL", 2)
kono
parents:
diff changeset
141 DEF_ASSN_OPERATOR ("/=", TRUNC_DIV_EXPR, "dV", 2)
kono
parents:
diff changeset
142 DEF_ASSN_OPERATOR ("%=", TRUNC_MOD_EXPR, "rM", 2)
kono
parents:
diff changeset
143 DEF_ASSN_OPERATOR ("&=", BIT_AND_EXPR, "aN", 2)
kono
parents:
diff changeset
144 DEF_ASSN_OPERATOR ("|=", BIT_IOR_EXPR, "oR", 2)
kono
parents:
diff changeset
145 DEF_ASSN_OPERATOR ("^=", BIT_XOR_EXPR, "eO", 2)
kono
parents:
diff changeset
146 DEF_ASSN_OPERATOR ("<<=", LSHIFT_EXPR, "lS", 2)
kono
parents:
diff changeset
147 DEF_ASSN_OPERATOR (">>=", RSHIFT_EXPR, "rS", 2)
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 /* Ternary operators. */
kono
parents:
diff changeset
150 DEF_SIMPLE_OPERATOR ("?:", COND_EXPR, "qu", 3)
kono
parents:
diff changeset
151
kono
parents:
diff changeset
152 /* Miscellaneous. */
kono
parents:
diff changeset
153 DEF_SIMPLE_OPERATOR ("()", CALL_EXPR, "cl", -1)
kono
parents:
diff changeset
154
kono
parents:
diff changeset
155 /* Variadic templates extension. */
kono
parents:
diff changeset
156 DEF_SIMPLE_OPERATOR ("...", EXPR_PACK_EXPANSION, "sp", 1)
kono
parents:
diff changeset
157 DEF_SIMPLE_OPERATOR ("... +", UNARY_LEFT_FOLD_EXPR, "fl", 2)
kono
parents:
diff changeset
158 DEF_SIMPLE_OPERATOR ("+ ...", UNARY_RIGHT_FOLD_EXPR, "fr", 2)
kono
parents:
diff changeset
159 DEF_SIMPLE_OPERATOR ("+ ... +", BINARY_LEFT_FOLD_EXPR, "fL", 3)
kono
parents:
diff changeset
160 DEF_SIMPLE_OPERATOR ("+ ... +", BINARY_RIGHT_FOLD_EXPR, "fR", 3)