gcc/expr.h

   1 /* Definitions for code generation pass of GNU compiler.
   2    Copyright (C) 1987-2014 Free Software Foundation, Inc.
   3
   4 This file is part of GCC.
   5
   6 GCC is free software; you can redistribute it and/or modify it under
   7 the terms of the GNU General Public License as published by the Free
   8 Software Foundation; either version 3, or (at your option) any later
   9 version.
  10
  11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14 for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GCC; see the file COPYING3.  If not see
  18 <http://www.gnu.org/licenses/>.  */
  19
  20 #ifndef GCC_EXPR_H
  21 #define GCC_EXPR_H
  22
  23 /* For inhibit_defer_pop */
  24 #include "hashtab.h"
  25 #include "hash-set.h"
  26 #include "vec.h"
  27 #include "machmode.h"
  28 #include "tm.h"
  29 #include "hard-reg-set.h"
  30 #include "input.h"
  31 #include "function.h"
  32 /* For XEXP, GEN_INT, rtx_code */
  33 #include "rtl.h"
  34 /* For optimize_size */
  35 #include "flags.h"
  36 /* For tree_fits_[su]hwi_p, tree_to_[su]hwi, fold_convert, size_binop,
  37    ssize_int, TREE_CODE, TYPE_SIZE, int_size_in_bytes,    */
  38 #include "tree-core.h"
  39 /* For GET_MODE_BITSIZE, word_mode */
  40 #include "insn-config.h"
  41
  42 /* This is the 4th arg to `expand_expr'.
  43    EXPAND_STACK_PARM means we are possibly expanding a call param onto
  44    the stack.
  45    EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx.
  46    EXPAND_INITIALIZER is similar but also record any labels on forced_labels.
  47    EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address
  48     is a constant that is not a legitimate address.
  49    EXPAND_WRITE means we are only going to write to the resulting rtx.
  50    EXPAND_MEMORY means we are interested in a memory result, even if
  51     the memory is constant and we could have propagated a constant value,
  52     or the memory is unaligned on a STRICT_ALIGNMENT target.  */
  53 enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM,
  54                       EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE,
  55                       EXPAND_MEMORY};
  56
  57 /* Prevent the compiler from deferring stack pops.  See
  58    inhibit_defer_pop for more information.  */
  59 #define NO_DEFER_POP (inhibit_defer_pop += 1)
  60
  61 /* Allow the compiler to defer stack pops.  See inhibit_defer_pop for
  62    more information.  */
  63 #define OK_DEFER_POP (inhibit_defer_pop -= 1)
  64 \f
  65 /* This structure is used to pass around information about exploded
  66    unary, binary and trinary expressions between expand_expr_real_1 and
  67    friends.  */
  68 typedef struct separate_ops
  69 {
  70   enum tree_code code;
  71   location_t location;
  72   tree type;
  73   tree op0, op1, op2;
  74 } *sepops;
  75 \f
  76 /* Functions from expmed.c:  */
  77
  78 /* Arguments MODE, RTX: return an rtx for the negation of that value.
  79    May emit insns.  */
  80 extern rtx negate_rtx (machine_mode, rtx);
  81
  82 /* Expand a logical AND operation.  */
  83 extern rtx expand_and (machine_mode, rtx, rtx, rtx);
  84
  85 /* Emit a store-flag operation.  */
  86 extern rtx emit_store_flag (rtx, enum rtx_code, rtx, rtx, machine_mode,
  87                             int, int);
  88
  89 /* Like emit_store_flag, but always succeeds.  */
  90 extern rtx emit_store_flag_force (rtx, enum rtx_code, rtx, rtx,
  91                                   machine_mode, int, int);
  92
  93 /* Choose a minimal N + 1 bit approximation to 1/D that can be used to
  94    replace division by D, and put the least significant N bits of the result
  95    in *MULTIPLIER_PTR and return the most significant bit.  */
  96 extern unsigned HOST_WIDE_INT choose_multiplier (unsigned HOST_WIDE_INT, int,
  97                                                  int, unsigned HOST_WIDE_INT *,
  98                                                  int *, int *);
  99 \f
 100 /* Functions from expr.c:  */
 101
 102 /* This is run during target initialization to set up which modes can be
 103    used directly in memory and to initialize the block move optab.  */
 104 extern void init_expr_target (void);
 105
 106 /* This is run at the start of compiling a function.  */
 107 extern void init_expr (void);
 108
 109 /* Emit some rtl insns to move data between rtx's, converting machine modes.
 110    Both modes must be floating or both fixed.  */
 111 extern void convert_move (rtx, rtx, int);
 112
 113 /* Convert an rtx to specified machine mode and return the result.  */
 114 extern rtx convert_to_mode (machine_mode, rtx, int);
 115
 116 /* Convert an rtx to MODE from OLDMODE and return the result.  */
 117 extern rtx convert_modes (machine_mode, machine_mode, rtx, int);
 118
 119 /* Emit code to move a block Y to a block X.  */
 120
 121 enum block_op_methods
 122 {
 123   BLOCK_OP_NORMAL,
 124   BLOCK_OP_NO_LIBCALL,
 125   BLOCK_OP_CALL_PARM,
 126   /* Like BLOCK_OP_NORMAL, but the libcall can be tail call optimized.  */
 127   BLOCK_OP_TAILCALL
 128 };
 129
 130 extern GTY(()) tree block_clear_fn;
 131 extern void init_block_move_fn (const char *);
 132 extern void init_block_clear_fn (const char *);
 133
 134 extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods);
 135 extern rtx emit_block_move_via_libcall (rtx, rtx, rtx, bool);
 136 extern rtx emit_block_move_hints (rtx, rtx, rtx, enum block_op_methods,
 137                                   unsigned int, HOST_WIDE_INT,
 138                                   unsigned HOST_WIDE_INT,
 139                                   unsigned HOST_WIDE_INT,
 140                                   unsigned HOST_WIDE_INT);
 141 extern bool emit_storent_insn (rtx to, rtx from);
 142
 143 /* Copy all or part of a value X into registers starting at REGNO.
 144    The number of registers to be filled is NREGS.  */
 145 extern void move_block_to_reg (int, rtx, int, machine_mode);
 146
 147 /* Copy all or part of a BLKmode value X out of registers starting at REGNO.
 148    The number of registers to be filled is NREGS.  */
 149 extern void move_block_from_reg (int, rtx, int);
 150
 151 /* Generate a non-consecutive group of registers represented by a PARALLEL.  */
 152 extern rtx gen_group_rtx (rtx);
 153
 154 /* Load a BLKmode value into non-consecutive registers represented by a
 155    PARALLEL.  */
 156 extern void emit_group_load (rtx, rtx, tree, int);
 157
 158 /* Similarly, but load into new temporaries.  */
 159 extern rtx emit_group_load_into_temps (rtx, rtx, tree, int);
 160
 161 /* Move a non-consecutive group of registers represented by a PARALLEL into
 162    a non-consecutive group of registers represented by a PARALLEL.  */
 163 extern void emit_group_move (rtx, rtx);
 164
 165 /* Move a group of registers represented by a PARALLEL into pseudos.  */
 166 extern rtx emit_group_move_into_temps (rtx);
 167
 168 /* Store a BLKmode value from non-consecutive registers represented by a
 169    PARALLEL.  */
 170 extern void emit_group_store (rtx, rtx, tree, int);
 171
 172 extern rtx maybe_emit_group_store (rtx, tree);
 173
 174 /* Copy BLKmode object from a set of registers.  */
 175 extern void copy_blkmode_from_reg (rtx, rtx, tree);
 176
 177 /* Mark REG as holding a parameter for the next CALL_INSN.
 178    Mode is TYPE_MODE of the non-promoted parameter, or VOIDmode.  */
 179 extern void use_reg_mode (rtx *, rtx, machine_mode);
 180 extern void clobber_reg_mode (rtx *, rtx, machine_mode);
 181
 182 extern rtx copy_blkmode_to_reg (machine_mode, tree);
 183
 184 /* Mark REG as holding a parameter for the next CALL_INSN.  */
 185 static inline void
 186 use_reg (rtx *fusage, rtx reg)
 187 {
 188   use_reg_mode (fusage, reg, VOIDmode);
 189 }
 190
 191 /* Mark REG as clobbered by the call with FUSAGE as CALL_INSN_FUNCTION_USAGE.  */
 192 static inline void
 193 clobber_reg (rtx *fusage, rtx reg)
 194 {
 195   clobber_reg_mode (fusage, reg, VOIDmode);
 196 }
 197
 198 /* Mark NREGS consecutive regs, starting at REGNO, as holding parameters
 199    for the next CALL_INSN.  */
 200 extern void use_regs (rtx *, int, int);
 201
 202 /* Mark a PARALLEL as holding a parameter for the next CALL_INSN.  */
 203 extern void use_group_regs (rtx *, rtx);
 204
 205 /* Write zeros through the storage of OBJECT.
 206    If OBJECT has BLKmode, SIZE is its length in bytes.  */
 207 extern rtx clear_storage (rtx, rtx, enum block_op_methods);
 208 extern rtx clear_storage_hints (rtx, rtx, enum block_op_methods,
 209                                 unsigned int, HOST_WIDE_INT,
 210                                 unsigned HOST_WIDE_INT,
 211                                 unsigned HOST_WIDE_INT,
 212                                 unsigned HOST_WIDE_INT);
 213 /* The same, but always output an library call.  */
 214 rtx set_storage_via_libcall (rtx, rtx, rtx, bool);
 215
 216 /* Expand a setmem pattern; return true if successful.  */
 217 extern bool set_storage_via_setmem (rtx, rtx, rtx, unsigned int,
 218                                     unsigned int, HOST_WIDE_INT,
 219                                     unsigned HOST_WIDE_INT,
 220                                     unsigned HOST_WIDE_INT,
 221                                     unsigned HOST_WIDE_INT);
 222
 223 extern unsigned HOST_WIDE_INT move_by_pieces_ninsns (unsigned HOST_WIDE_INT,
 224                                                      unsigned int,
 225                                                      unsigned int);
 226
 227 /* Return nonzero if it is desirable to store LEN bytes generated by
 228    CONSTFUN with several move instructions by store_by_pieces
 229    function.  CONSTFUNDATA is a pointer which will be passed as argument
 230    in every CONSTFUN call.
 231    ALIGN is maximum alignment we can assume.
 232    MEMSETP is true if this is a real memset/bzero, not a copy
 233    of a const string.  */
 234 extern int can_store_by_pieces (unsigned HOST_WIDE_INT,
 235                                 rtx (*) (void *, HOST_WIDE_INT,
 236                                          machine_mode),
 237                                 void *, unsigned int, bool);
 238
 239 /* Generate several move instructions to store LEN bytes generated by
 240    CONSTFUN to block TO.  (A MEM rtx with BLKmode).  CONSTFUNDATA is a
 241    pointer which will be passed as argument in every CONSTFUN call.
 242    ALIGN is maximum alignment we can assume.
 243    MEMSETP is true if this is a real memset/bzero, not a copy.
 244    Returns TO + LEN.  */
 245 extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT,
 246                             rtx (*) (void *, HOST_WIDE_INT, machine_mode),
 247                             void *, unsigned int, bool, int);
 248
 249 /* Emit insns to set X from Y.  */
 250 extern rtx_insn *emit_move_insn (rtx, rtx);
 251 extern rtx gen_move_insn (rtx, rtx);
 252
 253 /* Emit insns to set X from Y, with no frills.  */
 254 extern rtx_insn *emit_move_insn_1 (rtx, rtx);
 255
 256 extern rtx_insn *emit_move_complex_push (machine_mode, rtx, rtx);
 257 extern rtx_insn *emit_move_complex_parts (rtx, rtx);
 258 extern void write_complex_part (rtx, rtx, bool);
 259 extern rtx emit_move_resolve_push (machine_mode, rtx);
 260
 261 /* Push a block of length SIZE (perhaps variable)
 262    and return an rtx to address the beginning of the block.  */
 263 extern rtx push_block (rtx, int, int);
 264
 265 /* Generate code to push something onto the stack, given its mode and type.  */
 266 extern void emit_push_insn (rtx, machine_mode, tree, rtx, unsigned int,
 267                             int, rtx, int, rtx, rtx, int, rtx);
 268
 269 /* Expand an assignment that stores the value of FROM into TO.  */
 270 extern void expand_assignment (tree, tree, bool);
 271
 272 /* Generate code for computing expression EXP,
 273    and storing the value into TARGET.
 274    If SUGGEST_REG is nonzero, copy the value through a register
 275    and return that register, if that is possible.  */
 276 extern rtx store_expr_with_bounds (tree, rtx, int, bool, tree);
 277 extern rtx store_expr (tree, rtx, int, bool);
 278
 279 /* Given an rtx that may include add and multiply operations,
 280    generate them as insns and return a pseudo-reg containing the value.
 281    Useful after calling expand_expr with 1 as sum_ok.  */
 282 extern rtx force_operand (rtx, rtx);
 283
 284 /* Work horses for expand_expr.  */
 285 extern rtx expand_expr_real (tree, rtx, machine_mode,
 286                              enum expand_modifier, rtx *, bool);
 287 extern rtx expand_expr_real_1 (tree, rtx, machine_mode,
 288                                enum expand_modifier, rtx *, bool);
 289 extern rtx expand_expr_real_2 (sepops, rtx, machine_mode,
 290                                enum expand_modifier);
 291
 292 /* Generate code for computing expression EXP.
 293    An rtx for the computed value is returned.  The value is never null.
 294    In the case of a void EXP, const0_rtx is returned.  */
 295 static inline rtx
 296 expand_expr (tree exp, rtx target, machine_mode mode,
 297              enum expand_modifier modifier)
 298 {
 299   return expand_expr_real (exp, target, mode, modifier, NULL, false);
 300 }
 301
 302 static inline rtx
 303 expand_normal (tree exp)
 304 {
 305   return expand_expr_real (exp, NULL_RTX, VOIDmode, EXPAND_NORMAL, NULL, false);
 306 }
 307
 308 /* At the start of a function, record that we have no previously-pushed
 309    arguments waiting to be popped.  */
 310 extern void init_pending_stack_adjust (void);
 311
 312 /* Discard any pending stack adjustment.  */
 313 extern void discard_pending_stack_adjust (void);
 314
 315 /* When exiting from function, if safe, clear out any pending stack adjust
 316    so the adjustment won't get done.  */
 317 extern void clear_pending_stack_adjust (void);
 318
 319 /* Pop any previously-pushed arguments that have not been popped yet.  */
 320 extern void do_pending_stack_adjust (void);
 321
 322 /* Struct for saving/restoring of pending_stack_adjust/stack_pointer_delta
 323    values.  */
 324
 325 struct saved_pending_stack_adjust
 326 {
 327   /* Saved value of pending_stack_adjust.  */
 328   int x_pending_stack_adjust;
 329
 330   /* Saved value of stack_pointer_delta.  */
 331   int x_stack_pointer_delta;
 332 };
 333
 334 /* Remember pending_stack_adjust/stack_pointer_delta.
 335    To be used around code that may call do_pending_stack_adjust (),
 336    but the generated code could be discarded e.g. using delete_insns_since.  */
 337
 338 extern void save_pending_stack_adjust (saved_pending_stack_adjust *);
 339
 340 /* Restore the saved pending_stack_adjust/stack_pointer_delta.  */
 341
 342 extern void restore_pending_stack_adjust (saved_pending_stack_adjust *);
 343
 344 /* Return the tree node and offset if a given argument corresponds to
 345    a string constant.  */
 346 extern tree string_constant (tree, tree *);
 347
 348 /* Generate code to evaluate EXP and jump to LABEL if the value is zero.  */
 349 extern void jumpifnot (tree, rtx, int);
 350 extern void jumpifnot_1 (enum tree_code, tree, tree, rtx, int);
 351
 352 /* Generate code to evaluate EXP and jump to LABEL if the value is nonzero.  */
 353 extern void jumpif (tree, rtx, int);
 354 extern void jumpif_1 (enum tree_code, tree, tree, rtx, int);
 355
 356 /* Generate code to evaluate EXP and jump to IF_FALSE_LABEL if
 357    the result is zero, or IF_TRUE_LABEL if the result is one.  */
 358 extern void do_jump (tree, rtx, rtx, int);
 359 extern void do_jump_1 (enum tree_code, tree, tree, rtx, rtx, int);
 360
 361 extern void do_compare_rtx_and_jump (rtx, rtx, enum rtx_code, int,
 362                                      machine_mode, rtx, rtx, rtx, int);
 363
 364 /* Two different ways of generating switch statements.  */
 365 extern int try_casesi (tree, tree, tree, tree, rtx, rtx, rtx, int);
 366 extern int try_tablejump (tree, tree, tree, tree, rtx, rtx, int);
 367
 368 /* Functions from alias.c */
 369 #include "alias.h"
 370
 371 \f
 372 /* rtl.h and tree.h were included.  */
 373 /* Return an rtx for the size in bytes of the value of an expr.  */
 374 extern rtx expr_size (tree);
 375
 376 /* Return a wide integer for the size in bytes of the value of EXP, or -1
 377    if the size can vary or is larger than an integer.  */
 378 extern HOST_WIDE_INT int_expr_size (tree);
 379
 380 /* Return an rtx that refers to the value returned by a function
 381    in its original home.  This becomes invalid if any more code is emitted.  */
 382 extern rtx hard_function_value (const_tree, const_tree, const_tree, int);
 383
 384 extern rtx prepare_call_address (tree, rtx, rtx, rtx *, int, int);
 385
 386 extern bool shift_return_value (machine_mode, bool, rtx);
 387
 388 extern rtx expand_call (tree, rtx, int);
 389
 390 extern void fixup_tail_calls (void);
 391
 392 #ifdef TREE_CODE
 393 extern rtx expand_variable_shift (enum tree_code, machine_mode,
 394                                   rtx, tree, rtx, int);
 395 extern rtx expand_shift (enum tree_code, machine_mode, rtx, int, rtx,
 396                              int);
 397 extern rtx expand_divmod (int, enum tree_code, machine_mode, rtx, rtx,
 398                           rtx, int);
 399 #endif
 400
 401 /* Return the CODE_LABEL rtx for a LABEL_DECL, creating it if necessary.  */
 402 extern rtx label_rtx (tree);
 403
 404 /* As label_rtx, but additionally the label is placed on the forced label
 405    list of its containing function (i.e. it is treated as reachable even
 406    if how is not obvious).  */
 407 extern rtx force_label_rtx (tree);
 408
 409 /* Return an rtx like arg but sans any constant terms.
 410    Returns the original rtx if it has no constant terms.
 411    The constant terms are added and stored via a second arg.  */
 412 extern rtx eliminate_constant_term (rtx, rtx *);
 413
 414 /* Convert arg to a valid memory address for specified machine mode that points
 415    to a specific named address space, by emitting insns to perform arithmetic
 416    if necessary.  */
 417 extern rtx memory_address_addr_space (machine_mode, rtx, addr_space_t);
 418
 419 /* Like memory_address_addr_space, except assume the memory address points to
 420    the generic named address space.  */
 421 #define memory_address(MODE,RTX) \
 422         memory_address_addr_space ((MODE), (RTX), ADDR_SPACE_GENERIC)
 423
 424 /* Return a memory reference like MEMREF, but with its mode changed
 425    to MODE and its address changed to ADDR.
 426    (VOIDmode means don't change the mode.
 427    NULL for ADDR means don't change the address.)  */
 428 extern rtx change_address (rtx, machine_mode, rtx);
 429
 430 /* Return a memory reference like MEMREF, but with its mode changed
 431    to MODE and its address offset by OFFSET bytes.  */
 432 #define adjust_address(MEMREF, MODE, OFFSET) \
 433   adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 0, 0)
 434
 435 /* Likewise, but the reference is not required to be valid.  */
 436 #define adjust_address_nv(MEMREF, MODE, OFFSET) \
 437   adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 0, 0)
 438
 439 /* Return a memory reference like MEMREF, but with its mode changed
 440    to MODE and its address offset by OFFSET bytes.  Assume that it's
 441    for a bitfield and conservatively drop the underlying object if we
 442    cannot be sure to stay within its bounds.  */
 443 #define adjust_bitfield_address(MEMREF, MODE, OFFSET) \
 444   adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, 0)
 445
 446 /* As for adjust_bitfield_address, but specify that the width of
 447    BLKmode accesses is SIZE bytes.  */
 448 #define adjust_bitfield_address_size(MEMREF, MODE, OFFSET, SIZE) \
 449   adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, SIZE)
 450
 451 /* Likewise, but the reference is not required to be valid.  */
 452 #define adjust_bitfield_address_nv(MEMREF, MODE, OFFSET) \
 453   adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 1, 0)
 454
 455 /* Return a memory reference like MEMREF, but with its mode changed
 456    to MODE and its address changed to ADDR, which is assumed to be
 457    increased by OFFSET bytes from MEMREF.  */
 458 #define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \
 459   adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1)
 460
 461 /* Likewise, but the reference is not required to be valid.  */
 462 #define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \
 463   adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0)
 464
 465 extern rtx adjust_address_1 (rtx, machine_mode, HOST_WIDE_INT, int, int,
 466                              int, HOST_WIDE_INT);
 467 extern rtx adjust_automodify_address_1 (rtx, machine_mode, rtx,
 468                                         HOST_WIDE_INT, int);
 469
 470 /* Return a memory reference like MEMREF, but whose address is changed by
 471    adding OFFSET, an RTX, to it.  POW2 is the highest power of two factor
 472    known to be in OFFSET (possibly 1).  */
 473 extern rtx offset_address (rtx, rtx, unsigned HOST_WIDE_INT);
 474
 475 /* Definitions from emit-rtl.c */
 476 #include "emit-rtl.h"
 477
 478 /* Return a memory reference like MEMREF, but with its mode widened to
 479    MODE and adjusted by OFFSET.  */
 480 extern rtx widen_memory_access (rtx, machine_mode, HOST_WIDE_INT);
 481
 482 /* Return a memory reference like MEMREF, but which is known to have a
 483    valid address.  */
 484 extern rtx validize_mem (rtx);
 485
 486 extern rtx use_anchored_address (rtx);
 487
 488 /* Given REF, a MEM, and T, either the type of X or the expression
 489    corresponding to REF, set the memory attributes.  OBJECTP is nonzero
 490    if we are making a new object of this type.  */
 491 extern void set_mem_attributes (rtx, tree, int);
 492
 493 /* Similar, except that BITPOS has not yet been applied to REF, so if
 494    we alter MEM_OFFSET according to T then we should subtract BITPOS
 495    expecting that it'll be added back in later.  */
 496 extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT);
 497
 498 /* Return OFFSET if XEXP (MEM, 0) - OFFSET is known to be ALIGN
 499    bits aligned for 0 <= OFFSET < ALIGN / BITS_PER_UNIT, or
 500    -1 if not known.  */
 501 extern int get_mem_align_offset (rtx, unsigned int);
 502
 503 /* Assemble the static constant template for function entry trampolines.  */
 504 extern rtx assemble_trampoline_template (void);
 505
 506 /* Copy given rtx to a new temp reg and return that.  */
 507 extern rtx copy_to_reg (rtx);
 508
 509 /* Like copy_to_reg but always make the reg Pmode.  */
 510 extern rtx copy_addr_to_reg (rtx);
 511
 512 /* Like copy_to_reg but always make the reg the specified mode MODE.  */
 513 extern rtx copy_to_mode_reg (machine_mode, rtx);
 514
 515 /* Copy given rtx to given temp reg and return that.  */
 516 extern rtx copy_to_suggested_reg (rtx, rtx, machine_mode);
 517
 518 /* Copy a value to a register if it isn't already a register.
 519    Args are mode (in case value is a constant) and the value.  */
 520 extern rtx force_reg (machine_mode, rtx);
 521
 522 /* Return given rtx, copied into a new temp reg if it was in memory.  */
 523 extern rtx force_not_mem (rtx);
 524
 525 /* Return mode and signedness to use when an argument or result in the
 526    given mode is promoted.  */
 527 extern machine_mode promote_function_mode (const_tree, machine_mode, int *,
 528                                                 const_tree, int);
 529
 530 /* Return mode and signedness to use when an object in the given mode
 531    is promoted.  */
 532 extern machine_mode promote_mode (const_tree, machine_mode, int *);
 533
 534 /* Return mode and signedness to use when object is promoted.  */
 535 machine_mode promote_decl_mode (const_tree, int *);
 536
 537 /* Remove some bytes from the stack.  An rtx says how many.  */
 538 extern void adjust_stack (rtx);
 539
 540 /* Add some bytes to the stack.  An rtx says how many.  */
 541 extern void anti_adjust_stack (rtx);
 542
 543 /* Add some bytes to the stack while probing it.  An rtx says how many. */
 544 extern void anti_adjust_stack_and_probe (rtx, bool);
 545
 546 /* This enum is used for the following two functions.  */
 547 enum save_level {SAVE_BLOCK, SAVE_FUNCTION, SAVE_NONLOCAL};
 548
 549 /* Save the stack pointer at the specified level.  */
 550 extern void emit_stack_save (enum save_level, rtx *);
 551
 552 /* Restore the stack pointer from a save area of the specified level.  */
 553 extern void emit_stack_restore (enum save_level, rtx);
 554
 555 /* Invoke emit_stack_save for the nonlocal_goto_save_area.  */
 556 extern void update_nonlocal_goto_save_area (void);
 557
 558 /* Allocate some space on the stack dynamically and return its address.  */
 559 extern rtx allocate_dynamic_stack_space (rtx, unsigned, unsigned, bool);
 560
 561 /* Emit one stack probe at ADDRESS, an address within the stack.  */
 562 extern void emit_stack_probe (rtx);
 563
 564 /* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive.
 565    FIRST is a constant and size is a Pmode RTX.  These are offsets from
 566    the current stack pointer.  STACK_GROWS_DOWNWARD says whether to add
 567    or subtract them from the stack pointer.  */
 568 extern void probe_stack_range (HOST_WIDE_INT, rtx);
 569
 570 /* Return an rtx that refers to the value returned by a library call
 571    in its original home.  This becomes invalid if any more code is emitted.  */
 572 extern rtx hard_libcall_value (machine_mode, rtx);
 573
 574 extern void store_bit_field (rtx, unsigned HOST_WIDE_INT,
 575                              unsigned HOST_WIDE_INT,
 576                              unsigned HOST_WIDE_INT,
 577                              unsigned HOST_WIDE_INT,
 578                              machine_mode, rtx);
 579 extern rtx extract_bit_field (rtx, unsigned HOST_WIDE_INT,
 580                               unsigned HOST_WIDE_INT, int, rtx,
 581                               machine_mode, machine_mode);
 582 extern rtx extract_low_bits (machine_mode, machine_mode, rtx);
 583 extern rtx expand_mult (machine_mode, rtx, rtx, rtx, int);
 584 extern rtx expand_mult_highpart_adjust (machine_mode, rtx, rtx, rtx, rtx, int);
 585
 586 extern rtx assemble_static_space (unsigned HOST_WIDE_INT);
 587 extern int safe_from_p (const_rtx, tree, int);
 588 extern bool split_comparison (enum rtx_code, machine_mode,
 589                               enum rtx_code *, enum rtx_code *);
 590
 591 /* Get the personality libfunc for a function decl.  */
 592 rtx get_personality_function (tree);
 593
 594
 595 /* In stmt.c */
 596
 597 /* Expand a GIMPLE_SWITCH statement.  */
 598 extern void expand_case (gswitch *);
 599
 600 /* Like expand_case but special-case for SJLJ exception dispatching.  */
 601 extern void expand_sjlj_dispatch_table (rtx, vec<tree> );
 602
 603 /* Determine whether the LEN bytes can be moved by using several move
 604    instructions.  Return nonzero if a call to move_by_pieces should
 605    succeed.  */
 606 extern int can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int);
 607
 608 extern unsigned HOST_WIDE_INT highest_pow2_factor (const_tree);
 609 bool array_at_struct_end_p (tree);
 610
 611 /* Return a tree of sizetype representing the size, in bytes, of the element
 612    of EXP, an ARRAY_REF or an ARRAY_RANGE_REF.  */
 613 extern tree array_ref_element_size (tree);
 614
 615 extern bool categorize_ctor_elements (const_tree, HOST_WIDE_INT *,
 616                                       HOST_WIDE_INT *, bool *);
 617
 618 /* Return a tree representing the offset, in bytes, of the field referenced
 619    by EXP.  This does not include any offset in DECL_FIELD_BIT_OFFSET.  */
 620 extern tree component_ref_field_offset (tree);
 621
 622 extern void expand_operands (tree, tree, rtx, rtx*, rtx*,
 623                              enum expand_modifier);
 624 #endif /* GCC_EXPR_H */