gcc/cp/expr.c

   1 /* Convert language-specific tree expression to rtl instructions,
   2    for GNU compiler.
   3    Copyright (C) 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
   4    2000, 2001 Free Software Foundation, Inc.
   5
   6 This file is part of GNU CC.
   7
   8 GNU CC is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 2, or (at your option)
  11 any later version.
  12
  13 GNU CC is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GNU CC; see the file COPYING.  If not, write to
  20 the Free Software Foundation, 59 Temple Place - Suite 330,
  21 Boston, MA 02111-1307, USA.  */
  22
  23
  24 #include "config.h"
  25 #include "system.h"
  26 #include "rtl.h"
  27 #include "tree.h"
  28 #include "flags.h"
  29 #include "expr.h"
  30 #include "cp-tree.h"
  31 #include "toplev.h"
  32 #include "except.h"
  33 #include "tm_p.h"
  34
  35 static rtx cplus_expand_expr PARAMS ((tree, rtx, enum machine_mode,
  36                                     enum expand_modifier));
  37
  38 /* Hook used by output_constant to expand language-specific
  39    constants.  */
  40
  41 tree
  42 cplus_expand_constant (cst)
  43      tree cst;
  44 {
  45   switch (TREE_CODE (cst))
  46     {
  47     case PTRMEM_CST:
  48       {
  49         tree type = TREE_TYPE (cst);
  50         tree member;
  51
  52         /* Find the member.  */
  53         member = PTRMEM_CST_MEMBER (cst);
  54
  55         if (TREE_CODE (member) == FIELD_DECL)
  56           {
  57             /* Find the offset for the field.  */
  58             tree offset = byte_position (member);
  59             cst = fold (build1 (NOP_EXPR, type, offset));
  60           }
  61         else
  62           {
  63             tree delta, idx, pfn, delta2;
  64
  65             expand_ptrmemfunc_cst (cst, &delta, &idx, &pfn, &delta2);
  66             cst = build_ptrmemfunc1 (type, delta, pfn);
  67           }
  68       }
  69       break;
  70
  71     default:
  72       /* There's nothing to do.  */
  73       break;
  74     }
  75
  76   return cst;
  77 }
  78
  79 /* Hook used by expand_expr to expand language-specific tree codes.  */
  80
  81 static rtx
  82 cplus_expand_expr (exp, target, tmode, modifier)
  83      tree exp;
  84      rtx target;
  85      enum machine_mode tmode;
  86      enum expand_modifier modifier;
  87 {
  88   tree type = TREE_TYPE (exp);
  89   register enum machine_mode mode = TYPE_MODE (type);
  90   register enum tree_code code = TREE_CODE (exp);
  91
  92   /* No sense saving up arithmetic to be done
  93      if it's all in the wrong mode to form part of an address.
  94      And force_operand won't know whether to sign-extend or zero-extend.  */
  95
  96   if (mode != Pmode && modifier == EXPAND_SUM)
  97     modifier = EXPAND_NORMAL;
  98
  99   switch (code)
 100     {
 101     case PTRMEM_CST:
 102       return expand_expr (cplus_expand_constant (exp),
 103                           target, tmode, modifier);
 104
 105     case OFFSET_REF:
 106       {
 107         return expand_expr (default_conversion (resolve_offset_ref (exp)),
 108                             target, tmode, EXPAND_NORMAL);
 109       }
 110
 111     case THROW_EXPR:
 112       expand_expr (TREE_OPERAND (exp, 0), const0_rtx, VOIDmode, 0);
 113       expand_internal_throw ();
 114       return NULL;
 115
 116     case EMPTY_CLASS_EXPR:
 117       /* We don't need to generate any code for an empty class.  */
 118       return const0_rtx;
 119
 120     default:
 121       return c_expand_expr (exp, target, tmode, modifier);
 122     }
 123   my_friendly_abort (40);
 124   /* NOTREACHED */
 125   return NULL;
 126 }
 127
 128 void
 129 init_cplus_expand ()
 130 {
 131   lang_expand_expr = cplus_expand_expr;
 132   lang_expand_constant = cplus_expand_constant;
 133 }
 134
 135 int
 136 extract_init (decl, init)
 137      tree decl ATTRIBUTE_UNUSED, init ATTRIBUTE_UNUSED;
 138 {
 139   return 0;
 140 }
 141