2015-03-04 Robert Dewar <dewar@adacore.com>
[official-gcc.git] / gcc / explow.h
blob48f18599122f0002a7e5c2f96e927dfb17ecfe86
1 /* Export function prototypes from explow.c.
2 Copyright (C) 2015-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #ifndef GCC_EXPLOW_H
21 #define GCC_EXPLOW_H
23 /* Return a memory reference like MEMREF, but which is known to have a
24 valid address. */
25 extern rtx validize_mem (rtx);
27 extern rtx use_anchored_address (rtx);
29 /* Copy given rtx to a new temp reg and return that. */
30 extern rtx copy_to_reg (rtx);
32 /* Like copy_to_reg but always make the reg Pmode. */
33 extern rtx copy_addr_to_reg (rtx);
35 /* Like copy_to_reg but always make the reg the specified mode MODE. */
36 extern rtx copy_to_mode_reg (machine_mode, rtx);
38 /* Copy given rtx to given temp reg and return that. */
39 extern rtx copy_to_suggested_reg (rtx, rtx, machine_mode);
41 /* Copy a value to a register if it isn't already a register.
42 Args are mode (in case value is a constant) and the value. */
43 extern rtx force_reg (machine_mode, rtx);
45 /* Return given rtx, copied into a new temp reg if it was in memory. */
46 extern rtx force_not_mem (rtx);
48 /* Return mode and signedness to use when an argument or result in the
49 given mode is promoted. */
50 extern machine_mode promote_function_mode (const_tree, machine_mode, int *,
51 const_tree, int);
53 /* Return mode and signedness to use when an object in the given mode
54 is promoted. */
55 extern machine_mode promote_mode (const_tree, machine_mode, int *);
57 /* Return mode and signedness to use when object is promoted. */
58 machine_mode promote_decl_mode (const_tree, int *);
60 /* Remove some bytes from the stack. An rtx says how many. */
61 extern void adjust_stack (rtx);
63 /* Add some bytes to the stack. An rtx says how many. */
64 extern void anti_adjust_stack (rtx);
66 /* Add some bytes to the stack while probing it. An rtx says how many. */
67 extern void anti_adjust_stack_and_probe (rtx, bool);
69 /* This enum is used for the following two functions. */
70 enum save_level {SAVE_BLOCK, SAVE_FUNCTION, SAVE_NONLOCAL};
72 /* Save the stack pointer at the specified level. */
73 extern void emit_stack_save (enum save_level, rtx *);
75 /* Restore the stack pointer from a save area of the specified level. */
76 extern void emit_stack_restore (enum save_level, rtx);
78 /* Invoke emit_stack_save for the nonlocal_goto_save_area. */
79 extern void update_nonlocal_goto_save_area (void);
81 /* Allocate some space on the stack dynamically and return its address. */
82 extern rtx allocate_dynamic_stack_space (rtx, unsigned, unsigned, bool);
84 /* Emit one stack probe at ADDRESS, an address within the stack. */
85 extern void emit_stack_probe (rtx);
87 /* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive.
88 FIRST is a constant and size is a Pmode RTX. These are offsets from
89 the current stack pointer. STACK_GROWS_DOWNWARD says whether to add
90 or subtract them from the stack pointer. */
91 extern void probe_stack_range (HOST_WIDE_INT, rtx);
93 /* Return an rtx that refers to the value returned by a library call
94 in its original home. This becomes invalid if any more code is emitted. */
95 extern rtx hard_libcall_value (machine_mode, rtx);
97 /* Return an rtx that refers to the value returned by a function
98 in its original home. This becomes invalid if any more code is emitted. */
99 extern rtx hard_function_value (const_tree, const_tree, const_tree, int);
101 /* Convert arg to a valid memory address for specified machine mode that points
102 to a specific named address space, by emitting insns to perform arithmetic
103 if necessary. */
104 extern rtx memory_address_addr_space (machine_mode, rtx, addr_space_t);
106 extern rtx eliminate_constant_term (rtx, rtx *);
108 /* Like memory_address_addr_space, except assume the memory address points to
109 the generic named address space. */
110 #define memory_address(MODE,RTX) \
111 memory_address_addr_space ((MODE), (RTX), ADDR_SPACE_GENERIC)
113 #endif /* GCC_EXPLOW_H */