expr.h 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303
  1. /* Definitions for code generation pass of GNU compiler.
  2. Copyright (C) 1987-2015 Free Software Foundation, Inc.
  3. This file is part of GCC.
  4. GCC is free software; you can redistribute it and/or modify it under
  5. the terms of the GNU General Public License as published by the Free
  6. Software Foundation; either version 3, or (at your option) any later
  7. version.
  8. GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  9. WARRANTY; without even the implied warranty of MERCHANTABILITY or
  10. FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
  11. for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with GCC; see the file COPYING3. If not see
  14. <http://www.gnu.org/licenses/>. */
  15. #ifndef GCC_EXPR_H
  16. #define GCC_EXPR_H
  17. /* This is the 4th arg to `expand_expr'.
  18. EXPAND_STACK_PARM means we are possibly expanding a call param onto
  19. the stack.
  20. EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx.
  21. EXPAND_INITIALIZER is similar but also record any labels on forced_labels.
  22. EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address
  23. is a constant that is not a legitimate address.
  24. EXPAND_WRITE means we are only going to write to the resulting rtx.
  25. EXPAND_MEMORY means we are interested in a memory result, even if
  26. the memory is constant and we could have propagated a constant value,
  27. or the memory is unaligned on a STRICT_ALIGNMENT target. */
  28. enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM,
  29. EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE,
  30. EXPAND_MEMORY};
  31. /* Prevent the compiler from deferring stack pops. See
  32. inhibit_defer_pop for more information. */
  33. #define NO_DEFER_POP (inhibit_defer_pop += 1)
  34. /* Allow the compiler to defer stack pops. See inhibit_defer_pop for
  35. more information. */
  36. #define OK_DEFER_POP (inhibit_defer_pop -= 1)
  37. /* This structure is used to pass around information about exploded
  38. unary, binary and trinary expressions between expand_expr_real_1 and
  39. friends. */
  40. typedef struct separate_ops
  41. {
  42. enum tree_code code;
  43. location_t location;
  44. tree type;
  45. tree op0, op1, op2;
  46. } *sepops;
  47. /* This is run during target initialization to set up which modes can be
  48. used directly in memory and to initialize the block move optab. */
  49. extern void init_expr_target (void);
  50. /* This is run at the start of compiling a function. */
  51. extern void init_expr (void);
  52. /* Emit some rtl insns to move data between rtx's, converting machine modes.
  53. Both modes must be floating or both fixed. */
  54. extern void convert_move (rtx, rtx, int);
  55. /* Convert an rtx to specified machine mode and return the result. */
  56. extern rtx convert_to_mode (machine_mode, rtx, int);
  57. /* Convert an rtx to MODE from OLDMODE and return the result. */
  58. extern rtx convert_modes (machine_mode, machine_mode, rtx, int);
  59. /* Emit code to move a block Y to a block X. */
  60. enum block_op_methods
  61. {
  62. BLOCK_OP_NORMAL,
  63. BLOCK_OP_NO_LIBCALL,
  64. BLOCK_OP_CALL_PARM,
  65. /* Like BLOCK_OP_NORMAL, but the libcall can be tail call optimized. */
  66. BLOCK_OP_TAILCALL
  67. };
  68. extern GTY(()) tree block_clear_fn;
  69. extern void init_block_move_fn (const char *);
  70. extern void init_block_clear_fn (const char *);
  71. extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods);
  72. extern rtx emit_block_move_via_libcall (rtx, rtx, rtx, bool);
  73. extern rtx emit_block_move_hints (rtx, rtx, rtx, enum block_op_methods,
  74. unsigned int, HOST_WIDE_INT,
  75. unsigned HOST_WIDE_INT,
  76. unsigned HOST_WIDE_INT,
  77. unsigned HOST_WIDE_INT);
  78. extern bool emit_storent_insn (rtx to, rtx from);
  79. /* Copy all or part of a value X into registers starting at REGNO.
  80. The number of registers to be filled is NREGS. */
  81. extern void move_block_to_reg (int, rtx, int, machine_mode);
  82. /* Copy all or part of a BLKmode value X out of registers starting at REGNO.
  83. The number of registers to be filled is NREGS. */
  84. extern void move_block_from_reg (int, rtx, int);
  85. /* Generate a non-consecutive group of registers represented by a PARALLEL. */
  86. extern rtx gen_group_rtx (rtx);
  87. /* Load a BLKmode value into non-consecutive registers represented by a
  88. PARALLEL. */
  89. extern void emit_group_load (rtx, rtx, tree, int);
  90. /* Similarly, but load into new temporaries. */
  91. extern rtx emit_group_load_into_temps (rtx, rtx, tree, int);
  92. /* Move a non-consecutive group of registers represented by a PARALLEL into
  93. a non-consecutive group of registers represented by a PARALLEL. */
  94. extern void emit_group_move (rtx, rtx);
  95. /* Move a group of registers represented by a PARALLEL into pseudos. */
  96. extern rtx emit_group_move_into_temps (rtx);
  97. /* Store a BLKmode value from non-consecutive registers represented by a
  98. PARALLEL. */
  99. extern void emit_group_store (rtx, rtx, tree, int);
  100. extern rtx maybe_emit_group_store (rtx, tree);
  101. /* Copy BLKmode object from a set of registers. */
  102. extern void copy_blkmode_from_reg (rtx, rtx, tree);
  103. /* Mark REG as holding a parameter for the next CALL_INSN.
  104. Mode is TYPE_MODE of the non-promoted parameter, or VOIDmode. */
  105. extern void use_reg_mode (rtx *, rtx, machine_mode);
  106. extern void clobber_reg_mode (rtx *, rtx, machine_mode);
  107. extern rtx copy_blkmode_to_reg (machine_mode, tree);
  108. /* Mark REG as holding a parameter for the next CALL_INSN. */
  109. static inline void
  110. use_reg (rtx *fusage, rtx reg)
  111. {
  112. use_reg_mode (fusage, reg, VOIDmode);
  113. }
  114. /* Mark REG as clobbered by the call with FUSAGE as CALL_INSN_FUNCTION_USAGE. */
  115. static inline void
  116. clobber_reg (rtx *fusage, rtx reg)
  117. {
  118. clobber_reg_mode (fusage, reg, VOIDmode);
  119. }
  120. /* Mark NREGS consecutive regs, starting at REGNO, as holding parameters
  121. for the next CALL_INSN. */
  122. extern void use_regs (rtx *, int, int);
  123. /* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */
  124. extern void use_group_regs (rtx *, rtx);
  125. /* Write zeros through the storage of OBJECT.
  126. If OBJECT has BLKmode, SIZE is its length in bytes. */
  127. extern rtx clear_storage (rtx, rtx, enum block_op_methods);
  128. extern rtx clear_storage_hints (rtx, rtx, enum block_op_methods,
  129. unsigned int, HOST_WIDE_INT,
  130. unsigned HOST_WIDE_INT,
  131. unsigned HOST_WIDE_INT,
  132. unsigned HOST_WIDE_INT);
  133. /* The same, but always output an library call. */
  134. rtx set_storage_via_libcall (rtx, rtx, rtx, bool);
  135. /* Expand a setmem pattern; return true if successful. */
  136. extern bool set_storage_via_setmem (rtx, rtx, rtx, unsigned int,
  137. unsigned int, HOST_WIDE_INT,
  138. unsigned HOST_WIDE_INT,
  139. unsigned HOST_WIDE_INT,
  140. unsigned HOST_WIDE_INT);
  141. extern unsigned HOST_WIDE_INT move_by_pieces_ninsns (unsigned HOST_WIDE_INT,
  142. unsigned int,
  143. unsigned int);
  144. /* Return nonzero if it is desirable to store LEN bytes generated by
  145. CONSTFUN with several move instructions by store_by_pieces
  146. function. CONSTFUNDATA is a pointer which will be passed as argument
  147. in every CONSTFUN call.
  148. ALIGN is maximum alignment we can assume.
  149. MEMSETP is true if this is a real memset/bzero, not a copy
  150. of a const string. */
  151. extern int can_store_by_pieces (unsigned HOST_WIDE_INT,
  152. rtx (*) (void *, HOST_WIDE_INT,
  153. machine_mode),
  154. void *, unsigned int, bool);
  155. /* Generate several move instructions to store LEN bytes generated by
  156. CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a
  157. pointer which will be passed as argument in every CONSTFUN call.
  158. ALIGN is maximum alignment we can assume.
  159. MEMSETP is true if this is a real memset/bzero, not a copy.
  160. Returns TO + LEN. */
  161. extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT,
  162. rtx (*) (void *, HOST_WIDE_INT, machine_mode),
  163. void *, unsigned int, bool, int);
  164. /* Emit insns to set X from Y. */
  165. extern rtx_insn *emit_move_insn (rtx, rtx);
  166. extern rtx gen_move_insn (rtx, rtx);
  167. /* Emit insns to set X from Y, with no frills. */
  168. extern rtx_insn *emit_move_insn_1 (rtx, rtx);
  169. extern rtx_insn *emit_move_complex_push (machine_mode, rtx, rtx);
  170. extern rtx_insn *emit_move_complex_parts (rtx, rtx);
  171. extern void write_complex_part (rtx, rtx, bool);
  172. extern rtx emit_move_resolve_push (machine_mode, rtx);
  173. /* Push a block of length SIZE (perhaps variable)
  174. and return an rtx to address the beginning of the block. */
  175. extern rtx push_block (rtx, int, int);
  176. /* Generate code to push something onto the stack, given its mode and type. */
  177. extern void emit_push_insn (rtx, machine_mode, tree, rtx, unsigned int,
  178. int, rtx, int, rtx, rtx, int, rtx);
  179. /* Expand an assignment that stores the value of FROM into TO. */
  180. extern void expand_assignment (tree, tree, bool);
  181. /* Generate code for computing expression EXP,
  182. and storing the value into TARGET.
  183. If SUGGEST_REG is nonzero, copy the value through a register
  184. and return that register, if that is possible. */
  185. extern rtx store_expr_with_bounds (tree, rtx, int, bool, tree);
  186. extern rtx store_expr (tree, rtx, int, bool);
  187. /* Given an rtx that may include add and multiply operations,
  188. generate them as insns and return a pseudo-reg containing the value.
  189. Useful after calling expand_expr with 1 as sum_ok. */
  190. extern rtx force_operand (rtx, rtx);
  191. /* Work horses for expand_expr. */
  192. extern rtx expand_expr_real (tree, rtx, machine_mode,
  193. enum expand_modifier, rtx *, bool);
  194. extern rtx expand_expr_real_1 (tree, rtx, machine_mode,
  195. enum expand_modifier, rtx *, bool);
  196. extern rtx expand_expr_real_2 (sepops, rtx, machine_mode,
  197. enum expand_modifier);
  198. /* Generate code for computing expression EXP.
  199. An rtx for the computed value is returned. The value is never null.
  200. In the case of a void EXP, const0_rtx is returned. */
  201. static inline rtx
  202. expand_expr (tree exp, rtx target, machine_mode mode,
  203. enum expand_modifier modifier)
  204. {
  205. return expand_expr_real (exp, target, mode, modifier, NULL, false);
  206. }
  207. static inline rtx
  208. expand_normal (tree exp)
  209. {
  210. return expand_expr_real (exp, NULL_RTX, VOIDmode, EXPAND_NORMAL, NULL, false);
  211. }
  212. /* Return the tree node and offset if a given argument corresponds to
  213. a string constant. */
  214. extern tree string_constant (tree, tree *);
  215. /* Two different ways of generating switch statements. */
  216. extern int try_casesi (tree, tree, tree, tree, rtx, rtx, rtx, int);
  217. extern int try_tablejump (tree, tree, tree, tree, rtx, rtx, int);
  218. extern int safe_from_p (const_rtx, tree, int);
  219. /* Get the personality libfunc for a function decl. */
  220. rtx get_personality_function (tree);
  221. /* Determine whether the LEN bytes can be moved by using several move
  222. instructions. Return nonzero if a call to move_by_pieces should
  223. succeed. */
  224. extern int can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int);
  225. extern unsigned HOST_WIDE_INT highest_pow2_factor (const_tree);
  226. bool array_at_struct_end_p (tree);
  227. /* Return a tree of sizetype representing the size, in bytes, of the element
  228. of EXP, an ARRAY_REF or an ARRAY_RANGE_REF. */
  229. extern tree array_ref_element_size (tree);
  230. extern bool categorize_ctor_elements (const_tree, HOST_WIDE_INT *,
  231. HOST_WIDE_INT *, bool *);
  232. /* Return a tree representing the offset, in bytes, of the field referenced
  233. by EXP. This does not include any offset in DECL_FIELD_BIT_OFFSET. */
  234. extern tree component_ref_field_offset (tree);
  235. extern void expand_operands (tree, tree, rtx, rtx*, rtx*,
  236. enum expand_modifier);
  237. /* rtl.h and tree.h were included. */
  238. /* Return an rtx for the size in bytes of the value of an expr. */
  239. extern rtx expr_size (tree);
  240. #endif /* GCC_EXPR_H */