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