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 (at) codesourcery.com> 7 8 Copyright (C) 2000-2022 Free Software Foundation, Inc. 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 48 FLAGS 49 50 ovl_op_flags bits. Postincrement and postdecrement operators are 51 marked as binary. 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 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. */ 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 63 FLAGS (OVL_OP_FLAG_BINARY). */ 64 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 69 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) 78 79 /* Unary operators. */ 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 DEF_OPERATOR ("co_await", CO_AWAIT_EXPR, "aw", OVL_OP_FLAG_UNARY) 91 92 /* These are extensions. */ 93 DEF_OPERATOR ("alignof", ALIGNOF_EXPR, "az", OVL_OP_FLAG_UNARY) 94 DEF_OPERATOR ("__imag__", IMAGPART_EXPR, "v18__imag__", OVL_OP_FLAG_UNARY) 95 DEF_OPERATOR ("__real__", REALPART_EXPR, "v18__real__", OVL_OP_FLAG_UNARY) 96 97 /* Binary operators. */ 98 DEF_OPERATOR ("+", PLUS_EXPR, "pl", OVL_OP_FLAG_BINARY) 99 DEF_OPERATOR ("-", MINUS_EXPR, "mi", OVL_OP_FLAG_BINARY) 100 DEF_OPERATOR ("*", MULT_EXPR, "ml", OVL_OP_FLAG_BINARY) 101 DEF_OPERATOR ("/", TRUNC_DIV_EXPR, "dv", OVL_OP_FLAG_BINARY) 102 DEF_OPERATOR ("%", TRUNC_MOD_EXPR, "rm", OVL_OP_FLAG_BINARY) 103 DEF_OPERATOR ("&", BIT_AND_EXPR, "an", OVL_OP_FLAG_BINARY) 104 DEF_OPERATOR ("|", BIT_IOR_EXPR, "or", OVL_OP_FLAG_BINARY) 105 DEF_OPERATOR ("^", BIT_XOR_EXPR, "eo", OVL_OP_FLAG_BINARY) 106 DEF_OPERATOR ("<<", LSHIFT_EXPR, "ls", OVL_OP_FLAG_BINARY) 107 DEF_OPERATOR (">>", RSHIFT_EXPR, "rs", OVL_OP_FLAG_BINARY) 108 109 /* defaultable_fn_check relies on the ordering of the comparison operators. */ 110 DEF_OPERATOR ("==", EQ_EXPR, "eq", OVL_OP_FLAG_BINARY) 111 DEF_OPERATOR ("!=", NE_EXPR, "ne", OVL_OP_FLAG_BINARY) 112 DEF_OPERATOR ("<", LT_EXPR, "lt", OVL_OP_FLAG_BINARY) 113 DEF_OPERATOR (">", GT_EXPR, "gt", OVL_OP_FLAG_BINARY) 114 DEF_OPERATOR ("<=", LE_EXPR, "le", OVL_OP_FLAG_BINARY) 115 DEF_OPERATOR (">=", GE_EXPR, "ge", OVL_OP_FLAG_BINARY) 116 DEF_OPERATOR ("<=>", SPACESHIP_EXPR, "ss", OVL_OP_FLAG_BINARY) 117 118 DEF_OPERATOR ("&&", TRUTH_ANDIF_EXPR, "aa", OVL_OP_FLAG_BINARY) 119 DEF_OPERATOR ("||", TRUTH_ORIF_EXPR, "oo", OVL_OP_FLAG_BINARY) 120 DEF_OPERATOR (",", COMPOUND_EXPR, "cm", OVL_OP_FLAG_BINARY) 121 DEF_OPERATOR ("->*", MEMBER_REF, "pm", OVL_OP_FLAG_BINARY) 122 DEF_OPERATOR (".*", DOTSTAR_EXPR, "ds", OVL_OP_FLAG_BINARY) 123 DEF_OPERATOR ("[]", ARRAY_REF, "ix", OVL_OP_FLAG_BINARY) 124 DEF_OPERATOR ("++", POSTINCREMENT_EXPR, "pp", OVL_OP_FLAG_BINARY) 125 DEF_OPERATOR ("--", POSTDECREMENT_EXPR, "mm", OVL_OP_FLAG_BINARY) 126 127 /* Miscellaneous. */ 128 DEF_OPERATOR ("?:", COND_EXPR, "qu", OVL_OP_FLAG_NONE) 129 DEF_OPERATOR ("()", CALL_EXPR, "cl", OVL_OP_FLAG_NONE) 130 131 /* Operators needed for mangling. */ 132 DEF_OPERATOR (NULL, CAST_EXPR, "cv", OVL_OP_FLAG_UNARY) 133 DEF_OPERATOR (NULL, DYNAMIC_CAST_EXPR, "dc", OVL_OP_FLAG_UNARY) 134 DEF_OPERATOR (NULL, REINTERPRET_CAST_EXPR, "rc", OVL_OP_FLAG_UNARY) 135 DEF_OPERATOR (NULL, CONST_CAST_EXPR, "cc", OVL_OP_FLAG_UNARY) 136 DEF_OPERATOR (NULL, STATIC_CAST_EXPR, "sc", OVL_OP_FLAG_UNARY) 137 DEF_OPERATOR (NULL, SCOPE_REF, "sr", OVL_OP_FLAG_NONE) 138 DEF_OPERATOR (NULL, EXPR_PACK_EXPANSION, "sp", OVL_OP_FLAG_NONE) 139 DEF_OPERATOR (NULL, UNARY_LEFT_FOLD_EXPR, "fl", OVL_OP_FLAG_NONE) 140 DEF_OPERATOR (NULL, UNARY_RIGHT_FOLD_EXPR, "fr", OVL_OP_FLAG_NONE) 141 DEF_OPERATOR (NULL, BINARY_LEFT_FOLD_EXPR, "fL", OVL_OP_FLAG_NONE) 142 DEF_OPERATOR (NULL, BINARY_RIGHT_FOLD_EXPR, "fR", OVL_OP_FLAG_NONE) 143 144 #ifdef OPERATOR_TRANSITION 145 OPERATOR_TRANSITION 146 #undef OPERATOR_TRANSITION 147 #endif 148 149 /* Assignment operators. */ 150 DEF_ASSN_OPERATOR ("=", NOP_EXPR, "aS") 151 DEF_ASSN_OPERATOR ("+=", PLUS_EXPR, "pL") 152 DEF_ASSN_OPERATOR ("-=", MINUS_EXPR, "mI") 153 DEF_ASSN_OPERATOR ("*=", MULT_EXPR, "mL") 154 DEF_ASSN_OPERATOR ("/=", TRUNC_DIV_EXPR, "dV") 155 DEF_ASSN_OPERATOR ("%=", TRUNC_MOD_EXPR, "rM") 156 DEF_ASSN_OPERATOR ("&=", BIT_AND_EXPR, "aN") 157 DEF_ASSN_OPERATOR ("|=", BIT_IOR_EXPR, "oR") 158 DEF_ASSN_OPERATOR ("^=", BIT_XOR_EXPR, "eO") 159 DEF_ASSN_OPERATOR ("<<=", LSHIFT_EXPR, "lS") 160 DEF_ASSN_OPERATOR (">>=", RSHIFT_EXPR, "rS") 161 162 #undef DEF_ASSN_OPERATOR 163 #undef DEF_OPERATOR 164