1/* Exported functions from emit-rtl.c
2   Copyright (C) 2004-2015 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3.  If not see
18<http://www.gnu.org/licenses/>.  */
19
20#ifndef GCC_EMIT_RTL_H
21#define GCC_EMIT_RTL_H
22
23/* Return whether two MEM_ATTRs are equal.  */
24bool mem_attrs_eq_p (const struct mem_attrs *, const struct mem_attrs *);
25
26/* Set the alias set of MEM to SET.  */
27extern void set_mem_alias_set (rtx, alias_set_type);
28
29/* Set the alignment of MEM to ALIGN bits.  */
30extern void set_mem_align (rtx, unsigned int);
31
32/* Set the address space of MEM to ADDRSPACE.  */
33extern void set_mem_addr_space (rtx, addr_space_t);
34
35/* Set the expr for MEM to EXPR.  */
36extern void set_mem_expr (rtx, tree);
37
38/* Set the offset for MEM to OFFSET.  */
39extern void set_mem_offset (rtx, HOST_WIDE_INT);
40
41/* Clear the offset recorded for MEM.  */
42extern void clear_mem_offset (rtx);
43
44/* Set the size for MEM to SIZE.  */
45extern void set_mem_size (rtx, HOST_WIDE_INT);
46
47/* Clear the size recorded for MEM.  */
48extern void clear_mem_size (rtx);
49
50/* Set the attributes for MEM appropriate for a spill slot.  */
51extern void set_mem_attrs_for_spill (rtx);
52extern tree get_spill_slot_decl (bool);
53
54/* Return a memory reference like MEMREF, but with its address changed to
55   ADDR.  The caller is asserting that the actual piece of memory pointed
56   to is the same, just the form of the address is being changed, such as
57   by putting something into a register.  */
58extern rtx replace_equiv_address (rtx, rtx, bool = false);
59
60/* Likewise, but the reference is not required to be valid.  */
61extern rtx replace_equiv_address_nv (rtx, rtx, bool = false);
62
63extern rtx gen_blockage (void);
64extern rtvec gen_rtvec (int, ...);
65extern rtx copy_insn_1 (rtx);
66extern rtx copy_insn (rtx);
67extern rtx_insn *copy_delay_slot_insn (rtx_insn *);
68extern rtx gen_int_mode (HOST_WIDE_INT, machine_mode);
69extern rtx_insn *emit_copy_of_insn_after (rtx_insn *, rtx_insn *);
70extern void set_reg_attrs_from_value (rtx, rtx);
71extern void set_reg_attrs_for_parm (rtx, rtx);
72extern void set_reg_attrs_for_decl_rtl (tree t, rtx x);
73extern void adjust_reg_mode (rtx, machine_mode);
74extern int mem_expr_equal_p (const_tree, const_tree);
75
76extern bool need_atomic_barrier_p (enum memmodel, bool);
77
78/* Return the first insn of the current sequence or current function.  */
79
80static inline rtx_insn *
81get_insns (void)
82{
83  return crtl->emit.x_first_insn;
84}
85
86/* Specify a new insn as the first in the chain.  */
87
88static inline void
89set_first_insn (rtx_insn *insn)
90{
91  gcc_checking_assert (!insn || !PREV_INSN (insn));
92  crtl->emit.x_first_insn = insn;
93}
94
95/* Return the last insn emitted in current sequence or current function.  */
96
97static inline rtx_insn *
98get_last_insn (void)
99{
100  return crtl->emit.x_last_insn;
101}
102
103/* Specify a new insn as the last in the chain.  */
104
105static inline void
106set_last_insn (rtx_insn *insn)
107{
108  gcc_checking_assert (!insn || !NEXT_INSN (insn));
109  crtl->emit.x_last_insn = insn;
110}
111
112/* Return a number larger than any instruction's uid in this function.  */
113
114static inline int
115get_max_uid (void)
116{
117  return crtl->emit.x_cur_insn_uid;
118}
119
120extern void set_decl_incoming_rtl (tree, rtx, bool);
121
122/* Return a memory reference like MEMREF, but with its mode changed
123   to MODE and its address changed to ADDR.
124   (VOIDmode means don't change the mode.
125   NULL for ADDR means don't change the address.)  */
126extern rtx change_address (rtx, machine_mode, rtx);
127
128/* Return a memory reference like MEMREF, but with its mode changed
129   to MODE and its address offset by OFFSET bytes.  */
130#define adjust_address(MEMREF, MODE, OFFSET) \
131  adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 0, 0)
132
133/* Likewise, but the reference is not required to be valid.  */
134#define adjust_address_nv(MEMREF, MODE, OFFSET) \
135  adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 0, 0)
136
137/* Return a memory reference like MEMREF, but with its mode changed
138   to MODE and its address offset by OFFSET bytes.  Assume that it's
139   for a bitfield and conservatively drop the underlying object if we
140   cannot be sure to stay within its bounds.  */
141#define adjust_bitfield_address(MEMREF, MODE, OFFSET) \
142  adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, 0)
143
144/* As for adjust_bitfield_address, but specify that the width of
145   BLKmode accesses is SIZE bytes.  */
146#define adjust_bitfield_address_size(MEMREF, MODE, OFFSET, SIZE) \
147  adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1, 1, SIZE)
148
149/* Likewise, but the reference is not required to be valid.  */
150#define adjust_bitfield_address_nv(MEMREF, MODE, OFFSET) \
151  adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1, 1, 0)
152
153/* Return a memory reference like MEMREF, but with its mode changed
154   to MODE and its address changed to ADDR, which is assumed to be
155   increased by OFFSET bytes from MEMREF.  */
156#define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \
157  adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1)
158
159/* Likewise, but the reference is not required to be valid.  */
160#define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \
161  adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0)
162
163extern rtx adjust_address_1 (rtx, machine_mode, HOST_WIDE_INT, int, int,
164			     int, HOST_WIDE_INT);
165extern rtx adjust_automodify_address_1 (rtx, machine_mode, rtx,
166					HOST_WIDE_INT, int);
167
168/* Return a memory reference like MEMREF, but whose address is changed by
169   adding OFFSET, an RTX, to it.  POW2 is the highest power of two factor
170   known to be in OFFSET (possibly 1).  */
171extern rtx offset_address (rtx, rtx, unsigned HOST_WIDE_INT);
172
173/* Given REF, a MEM, and T, either the type of X or the expression
174   corresponding to REF, set the memory attributes.  OBJECTP is nonzero
175   if we are making a new object of this type.  */
176extern void set_mem_attributes (rtx, tree, int);
177
178/* Similar, except that BITPOS has not yet been applied to REF, so if
179   we alter MEM_OFFSET according to T then we should subtract BITPOS
180   expecting that it'll be added back in later.  */
181extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT);
182
183/* Return OFFSET if XEXP (MEM, 0) - OFFSET is known to be ALIGN
184   bits aligned for 0 <= OFFSET < ALIGN / BITS_PER_UNIT, or
185   -1 if not known.  */
186extern int get_mem_align_offset (rtx, unsigned int);
187
188/* Return a memory reference like MEMREF, but with its mode widened to
189   MODE and adjusted by OFFSET.  */
190extern rtx widen_memory_access (rtx, machine_mode, HOST_WIDE_INT);
191
192#endif /* GCC_EMIT_RTL_H */
193