gimple-fold.h 5.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136
  1. /* Gimple folding definitions.
  2. Copyright (C) 2011-2015 Free Software Foundation, Inc.
  3. Contributed by Richard Guenther <rguenther@suse.de>
  4. This file is part of GCC.
  5. GCC is free software; you can redistribute it and/or modify it under
  6. the terms of the GNU General Public License as published by the Free
  7. Software Foundation; either version 3, or (at your option) any later
  8. version.
  9. GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  10. WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11. FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
  12. for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with GCC; see the file COPYING3. If not see
  15. <http://www.gnu.org/licenses/>. */
  16. #ifndef GCC_GIMPLE_FOLD_H
  17. #define GCC_GIMPLE_FOLD_H
  18. extern tree canonicalize_constructor_val (tree, tree);
  19. extern tree get_symbol_constant_value (tree);
  20. extern void gimplify_and_update_call_from_tree (gimple_stmt_iterator *, tree);
  21. extern bool fold_stmt (gimple_stmt_iterator *);
  22. extern bool fold_stmt (gimple_stmt_iterator *, tree (*) (tree));
  23. extern bool fold_stmt_inplace (gimple_stmt_iterator *);
  24. extern tree maybe_fold_and_comparisons (enum tree_code, tree, tree,
  25. enum tree_code, tree, tree);
  26. extern tree maybe_fold_or_comparisons (enum tree_code, tree, tree,
  27. enum tree_code, tree, tree);
  28. extern bool arith_overflowed_p (enum tree_code, const_tree, const_tree,
  29. const_tree);
  30. extern tree no_follow_ssa_edges (tree);
  31. extern tree follow_single_use_edges (tree);
  32. extern tree gimple_fold_stmt_to_constant_1 (gimple, tree (*) (tree),
  33. tree (*) (tree) = no_follow_ssa_edges);
  34. extern tree gimple_fold_stmt_to_constant (gimple, tree (*) (tree));
  35. extern tree fold_ctor_reference (tree, tree, unsigned HOST_WIDE_INT,
  36. unsigned HOST_WIDE_INT, tree);
  37. extern tree fold_const_aggregate_ref_1 (tree, tree (*) (tree));
  38. extern tree fold_const_aggregate_ref (tree);
  39. extern tree gimple_get_virt_method_for_binfo (HOST_WIDE_INT, tree,
  40. bool *can_refer = NULL);
  41. extern tree gimple_get_virt_method_for_vtable (HOST_WIDE_INT, tree,
  42. unsigned HOST_WIDE_INT,
  43. bool *can_refer = NULL);
  44. extern bool gimple_val_nonnegative_real_p (tree);
  45. extern tree gimple_fold_indirect_ref (tree);
  46. extern bool arith_code_with_undefined_signed_overflow (tree_code);
  47. extern gimple_seq rewrite_to_defined_overflow (gimple);
  48. /* gimple_build, functionally matching fold_buildN, outputs stmts
  49. int the provided sequence, matching and simplifying them on-the-fly.
  50. Supposed to replace force_gimple_operand (fold_buildN (...), ...). */
  51. extern tree gimple_build (gimple_seq *, location_t,
  52. enum tree_code, tree, tree,
  53. tree (*valueize) (tree) = NULL);
  54. inline tree
  55. gimple_build (gimple_seq *seq,
  56. enum tree_code code, tree type, tree op0)
  57. {
  58. return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0);
  59. }
  60. extern tree gimple_build (gimple_seq *, location_t,
  61. enum tree_code, tree, tree, tree,
  62. tree (*valueize) (tree) = NULL);
  63. inline tree
  64. gimple_build (gimple_seq *seq,
  65. enum tree_code code, tree type, tree op0, tree op1)
  66. {
  67. return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0, op1);
  68. }
  69. extern tree gimple_build (gimple_seq *, location_t,
  70. enum tree_code, tree, tree, tree, tree,
  71. tree (*valueize) (tree) = NULL);
  72. inline tree
  73. gimple_build (gimple_seq *seq,
  74. enum tree_code code, tree type, tree op0, tree op1, tree op2)
  75. {
  76. return gimple_build (seq, UNKNOWN_LOCATION, code, type, op0, op1, op2);
  77. }
  78. extern tree gimple_build (gimple_seq *, location_t,
  79. enum built_in_function, tree, tree,
  80. tree (*valueize) (tree) = NULL);
  81. inline tree
  82. gimple_build (gimple_seq *seq,
  83. enum built_in_function fn, tree type, tree arg0)
  84. {
  85. return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0);
  86. }
  87. extern tree gimple_build (gimple_seq *, location_t,
  88. enum built_in_function, tree, tree, tree,
  89. tree (*valueize) (tree) = NULL);
  90. inline tree
  91. gimple_build (gimple_seq *seq,
  92. enum built_in_function fn, tree type, tree arg0, tree arg1)
  93. {
  94. return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0, arg1);
  95. }
  96. extern tree gimple_build (gimple_seq *, location_t,
  97. enum built_in_function, tree, tree, tree, tree,
  98. tree (*valueize) (tree) = NULL);
  99. inline tree
  100. gimple_build (gimple_seq *seq,
  101. enum built_in_function fn, tree type,
  102. tree arg0, tree arg1, tree arg2)
  103. {
  104. return gimple_build (seq, UNKNOWN_LOCATION, fn, type, arg0, arg1, arg2);
  105. }
  106. extern tree gimple_convert (gimple_seq *, location_t, tree, tree);
  107. inline tree
  108. gimple_convert (gimple_seq *seq, tree type, tree op)
  109. {
  110. return gimple_convert (seq, UNKNOWN_LOCATION, type, op);
  111. }
  112. /* In gimple-match.c. */
  113. extern tree gimple_simplify (enum tree_code, tree, tree,
  114. gimple_seq *, tree (*)(tree));
  115. extern tree gimple_simplify (enum tree_code, tree, tree, tree,
  116. gimple_seq *, tree (*)(tree));
  117. extern tree gimple_simplify (enum tree_code, tree, tree, tree, tree,
  118. gimple_seq *, tree (*)(tree));
  119. extern tree gimple_simplify (enum built_in_function, tree, tree,
  120. gimple_seq *, tree (*)(tree));
  121. extern tree gimple_simplify (enum built_in_function, tree, tree, tree,
  122. gimple_seq *, tree (*)(tree));
  123. extern tree gimple_simplify (enum built_in_function, tree, tree, tree, tree,
  124. gimple_seq *, tree (*)(tree));
  125. #endif /* GCC_GIMPLE_FOLD_H */