Home | History | Annotate | Line # | Download | only in cp
      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