2013-08-05 Yvan Roux <yvan.roux@linaro.org>
[official-gcc.git] / gcc-4_8-branch / gcc / config / aarch64 / aarch64-protos.h
blob2a66bf332eb659dd2d8d1efbea321643a1948015
1 /* Machine description for AArch64 architecture.
2 Copyright (C) 2009-2013 Free Software Foundation, Inc.
3 Contributed by ARM Ltd.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 #ifndef GCC_AARCH64_PROTOS_H
23 #define GCC_AARCH64_PROTOS_H
26 SYMBOL_CONTEXT_ADR
27 The symbol is used in a load-address operation.
28 SYMBOL_CONTEXT_MEM
29 The symbol is used as the address in a MEM.
31 enum aarch64_symbol_context
33 SYMBOL_CONTEXT_MEM,
34 SYMBOL_CONTEXT_ADR
37 /* SYMBOL_SMALL_ABSOLUTE: Generate symbol accesses through
38 high and lo relocs that calculate the base address using a PC
39 relative reloc.
40 So to get the address of foo, we generate
41 adrp x0, foo
42 add x0, x0, :lo12:foo
44 To load or store something to foo, we could use the corresponding
45 load store variants that generate an
46 ldr x0, [x0,:lo12:foo]
48 str x1, [x0, :lo12:foo]
50 This corresponds to the small code model of the compiler.
52 SYMBOL_SMALL_GOT: Similar to the one above but this
53 gives us the GOT entry of the symbol being referred to :
54 Thus calculating the GOT entry for foo is done using the
55 following sequence of instructions. The ADRP instruction
56 gets us to the page containing the GOT entry of the symbol
57 and the got_lo12 gets us the actual offset in it.
59 adrp x0, :got:foo
60 ldr x0, [x0, :gotoff_lo12:foo]
62 This corresponds to the small PIC model of the compiler.
64 SYMBOL_SMALL_TLSGD
65 SYMBOL_SMALL_TLSDESC
66 SYMBOL_SMALL_GOTTPREL
67 SYMBOL_SMALL_TPREL
68 Each of of these represents a thread-local symbol, and corresponds to the
69 thread local storage relocation operator for the symbol being referred to.
71 SYMBOL_FORCE_TO_MEM : Global variables are addressed using
72 constant pool. All variable addresses are spilled into constant
73 pools. The constant pools themselves are addressed using PC
74 relative accesses. This only works for the large code model.
76 enum aarch64_symbol_type
78 SYMBOL_SMALL_ABSOLUTE,
79 SYMBOL_SMALL_GOT,
80 SYMBOL_SMALL_TLSGD,
81 SYMBOL_SMALL_TLSDESC,
82 SYMBOL_SMALL_GOTTPREL,
83 SYMBOL_SMALL_TPREL,
84 SYMBOL_TINY_ABSOLUTE,
85 SYMBOL_FORCE_TO_MEM
88 /* A set of tuning parameters contains references to size and time
89 cost models and vectors for address cost calculations, register
90 move costs and memory move costs. */
92 /* Extra costs for specific insns. Only records the cost above a
93 single insn. */
95 struct cpu_rtx_cost_table
97 const int memory_load;
98 const int memory_store;
99 const int register_shift;
100 const int int_divide;
101 const int float_divide;
102 const int double_divide;
103 const int int_multiply;
104 const int int_multiply_extend;
105 const int int_multiply_add;
106 const int int_multiply_extend_add;
107 const int float_multiply;
108 const int double_multiply;
111 /* Additional cost for addresses. */
112 struct cpu_addrcost_table
114 const int pre_modify;
115 const int post_modify;
116 const int register_offset;
117 const int register_extend;
118 const int imm_offset;
121 /* Additional costs for register copies. Cost is for one register. */
122 struct cpu_regmove_cost
124 const int GP2GP;
125 const int GP2FP;
126 const int FP2GP;
127 const int FP2FP;
130 struct tune_params
132 const struct cpu_rtx_cost_table *const insn_extra_cost;
133 const struct cpu_addrcost_table *const addr_cost;
134 const struct cpu_regmove_cost *const regmove_cost;
135 const int memmov_cost;
138 HOST_WIDE_INT aarch64_initial_elimination_offset (unsigned, unsigned);
139 bool aarch64_bitmask_imm (HOST_WIDE_INT val, enum machine_mode);
140 enum aarch64_symbol_type
141 aarch64_classify_symbolic_expression (rtx, enum aarch64_symbol_context);
142 bool aarch64_constant_address_p (rtx);
143 bool aarch64_float_const_zero_rtx_p (rtx);
144 bool aarch64_function_arg_regno_p (unsigned);
145 bool aarch64_gen_movmemqi (rtx *);
146 bool aarch64_gimple_fold_builtin (gimple_stmt_iterator *);
147 bool aarch64_is_extend_from_extract (enum machine_mode, rtx, rtx);
148 bool aarch64_is_long_call_p (rtx);
149 bool aarch64_label_mentioned_p (rtx);
150 bool aarch64_legitimate_pic_operand_p (rtx);
151 bool aarch64_move_imm (HOST_WIDE_INT, enum machine_mode);
152 bool aarch64_mov_operand_p (rtx, enum aarch64_symbol_context,
153 enum machine_mode);
154 char *aarch64_output_scalar_simd_mov_immediate (rtx, enum machine_mode);
155 char *aarch64_output_simd_mov_immediate (rtx, enum machine_mode, unsigned);
156 bool aarch64_pad_arg_upward (enum machine_mode, const_tree);
157 bool aarch64_pad_reg_upward (enum machine_mode, const_tree, bool);
158 bool aarch64_regno_ok_for_base_p (int, bool);
159 bool aarch64_regno_ok_for_index_p (int, bool);
160 bool aarch64_simd_imm_scalar_p (rtx x, enum machine_mode mode);
161 bool aarch64_simd_imm_zero_p (rtx, enum machine_mode);
162 bool aarch64_simd_scalar_immediate_valid_for_move (rtx, enum machine_mode);
163 bool aarch64_simd_shift_imm_p (rtx, enum machine_mode, bool);
164 bool aarch64_simd_valid_immediate (rtx, enum machine_mode, bool,
165 struct simd_immediate_info *);
166 bool aarch64_symbolic_address_p (rtx);
167 bool aarch64_uimm12_shift (HOST_WIDE_INT);
168 const char *aarch64_output_casesi (rtx *);
169 enum aarch64_symbol_type aarch64_classify_symbol (rtx,
170 enum aarch64_symbol_context);
171 enum aarch64_symbol_type aarch64_classify_tls_symbol (rtx);
172 enum reg_class aarch64_regno_regclass (unsigned);
173 int aarch64_asm_preferred_eh_data_format (int, int);
174 int aarch64_hard_regno_mode_ok (unsigned, enum machine_mode);
175 int aarch64_hard_regno_nregs (unsigned, enum machine_mode);
176 int aarch64_simd_attr_length_move (rtx);
177 int aarch64_simd_immediate_valid_for_move (rtx, enum machine_mode, rtx *,
178 int *, unsigned char *, int *,
179 int *);
180 int aarch64_uxt_size (int, HOST_WIDE_INT);
181 rtx aarch64_final_eh_return_addr (void);
182 rtx aarch64_legitimize_reload_address (rtx *, enum machine_mode, int, int, int);
183 const char *aarch64_output_move_struct (rtx *operands);
184 rtx aarch64_return_addr (int, rtx);
185 rtx aarch64_simd_gen_const_vector_dup (enum machine_mode, int);
186 bool aarch64_simd_mem_operand_p (rtx);
187 rtx aarch64_simd_vect_par_cnst_half (enum machine_mode, bool);
188 rtx aarch64_tls_get_addr (void);
189 tree aarch64_fold_builtin (tree, int, tree *, bool);
190 unsigned aarch64_dbx_register_number (unsigned);
191 unsigned aarch64_trampoline_size (void);
192 void aarch64_asm_output_labelref (FILE *, const char *);
193 void aarch64_elf_asm_named_section (const char *, unsigned, tree);
194 void aarch64_expand_epilogue (bool);
195 void aarch64_expand_mov_immediate (rtx, rtx);
196 void aarch64_expand_prologue (void);
197 void aarch64_expand_vector_init (rtx, rtx);
198 void aarch64_function_profiler (FILE *, int);
199 void aarch64_init_cumulative_args (CUMULATIVE_ARGS *, const_tree, rtx,
200 const_tree, unsigned);
201 void aarch64_init_expanders (void);
202 void aarch64_print_operand (FILE *, rtx, char);
203 void aarch64_print_operand_address (FILE *, rtx);
205 /* Initialize builtins for SIMD intrinsics. */
206 void init_aarch64_simd_builtins (void);
208 void aarch64_simd_const_bounds (rtx, HOST_WIDE_INT, HOST_WIDE_INT);
209 void aarch64_simd_disambiguate_copy (rtx *, rtx *, rtx *, unsigned int);
211 /* Emit code to place a AdvSIMD pair result in memory locations (with equal
212 registers). */
213 void aarch64_simd_emit_pair_result_insn (enum machine_mode,
214 rtx (*intfn) (rtx, rtx, rtx), rtx,
215 rtx);
217 /* Expand builtins for SIMD intrinsics. */
218 rtx aarch64_simd_expand_builtin (int, tree, rtx);
220 void aarch64_simd_lane_bounds (rtx, HOST_WIDE_INT, HOST_WIDE_INT);
222 /* Emit code for reinterprets. */
223 void aarch64_simd_reinterpret (rtx, rtx);
225 void aarch64_split_128bit_move (rtx, rtx);
227 bool aarch64_split_128bit_move_p (rtx, rtx);
229 void aarch64_split_simd_move (rtx, rtx);
231 /* Check for a legitimate floating point constant for FMOV. */
232 bool aarch64_float_const_representable_p (rtx);
234 #if defined (RTX_CODE)
236 bool aarch64_legitimate_address_p (enum machine_mode, rtx, RTX_CODE, bool);
237 enum machine_mode aarch64_select_cc_mode (RTX_CODE, rtx, rtx);
238 rtx aarch64_gen_compare_reg (RTX_CODE, rtx, rtx);
239 rtx aarch64_load_tp (rtx);
241 void aarch64_expand_compare_and_swap (rtx op[]);
242 void aarch64_split_compare_and_swap (rtx op[]);
243 void aarch64_split_atomic_op (enum rtx_code, rtx, rtx, rtx, rtx, rtx, rtx);
245 #endif /* RTX_CODE */
247 void aarch64_init_builtins (void);
248 rtx aarch64_expand_builtin (tree exp,
249 rtx target,
250 rtx subtarget ATTRIBUTE_UNUSED,
251 enum machine_mode mode ATTRIBUTE_UNUSED,
252 int ignore ATTRIBUTE_UNUSED);
253 tree aarch64_builtin_decl (unsigned, bool ATTRIBUTE_UNUSED);
255 tree
256 aarch64_builtin_vectorized_function (tree fndecl,
257 tree type_out,
258 tree type_in);
260 extern void aarch64_split_combinev16qi (rtx operands[3]);
261 extern void aarch64_expand_vec_perm (rtx target, rtx op0, rtx op1, rtx sel);
262 extern bool
263 aarch64_expand_vec_perm_const (rtx target, rtx op0, rtx op1, rtx sel);
264 #endif /* GCC_AARCH64_PROTOS_H */