#include "config.h"#include "system.h"#include "coretypes.h"#include "realmpfr.h"#include "tree.h"#include "stor-layout.h"#include "options.h"#include "fold-const.h"#include "fold-const-call.h"#include "case-cfn-macros.h"#include "tm.h"#include "builtins.h"#include "gimple-expr.h"#include "tree-vector-builder.h"
Function Documentation
◆ build_cmp_result()
RES is the result of a comparison in which < 0 means "less", 0 means "equal" and > 0 means "more". Canonicalize it to -1, 0 or 1 and return it in type TYPE.
References build_int_cst(), and ggc_alloc().
Referenced by fold_const_call(), fold_const_call(), and gimple_fold_builtin_string_compare().
◆ complex_cst_p()
References ggc_alloc(), and TREE_CODE.
Referenced by fold_const_call_1(), and fold_const_call_1().
◆ do_mpc_arg1()
|
static |
Try to evaluate: RESULT = f (ARG) in format FORMAT, given that FUNC is the mpc implementation of f. Return true on success. Both RESULT and ARG are represented as real and imaginary pairs.
References real_format::b, do_mpc_ckconv(), ggc_alloc(), mpfr_from_real(), real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_cc().
◆ do_mpc_arg2()
|
static |
Try to evaluate: RESULT = f (ARG0, ARG1) in format FORMAT, given that FUNC is the mpc implementation of f. Return true on success. RESULT, ARG0 and ARG1 are represented as real and imaginary pairs.
References do_mpc_ckconv(), ggc_alloc(), mpfr_from_real(), real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_ccc().
◆ do_mpc_ckconv()
|
static |
M is the result of trying to constant-fold an expression (starting with clear MPFR flags) and INEXACT says whether the result in M is exact or inexact. Return true if M can be used as a constant-folded result in which the real and imaginary parts have format FORMAT. Store those parts in *RESULT_REAL and *RESULT_IMAG if so.
References ggc_alloc(), real_convert(), real_from_mpfr(), real_identical(), real_isfinite(), REAL_VALUE_TYPE, and rvc_zero.
Referenced by do_mpc_arg1(), and do_mpc_arg2().
◆ do_mpfr_arg1()
|
static |
Try to evaluate: *RESULT = f (*ARG) in format FORMAT, given that FUNC is the MPFR implementation of f. Return true on success.
References real_format::b, do_mpfr_ckconv(), ggc_alloc(), mpfr_from_real(), real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_ss().
◆ do_mpfr_arg2() [1/2]
|
static |
Try to evaluate: *RESULT = f (ARG0, *ARG1) in format FORMAT, given that FUNC is the MPFR implementation of f. Return true on success.
References real_format::b, do_mpfr_ckconv(), ggc_alloc(), mpfr_from_real(), real_format::p, real_isfinite(), and real_format::round_towards_zero.
◆ do_mpfr_arg2() [2/2]
|
static |
Try to evaluate: *RESULT = f (*ARG0, *ARG1) in format FORMAT, given that FUNC is the MPFR implementation of f. Return true on success.
References real_format::b, do_mpfr_ckconv(), ggc_alloc(), mpfr_from_real(), NULL, real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_sc(), fold_const_call_sss(), fold_const_call_sss(), and fold_const_pow().
◆ do_mpfr_arg3()
|
static |
Try to evaluate: *RESULT = f (*ARG0, *ARG1, *ARG2) in format FORMAT, given that FUNC is the MPFR implementation of f. Return true on success.
References real_format::b, do_mpfr_ckconv(), ggc_alloc(), mpfr_from_real(), NULL, real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_ssss().
◆ do_mpfr_ckconv()
|
static |
M is the result of trying to constant-fold an expression (starting with clear MPFR flags) and INEXACT says whether the result in M is exact or inexact. Return true if M can be used as a constant-folded result in format FORMAT, storing the value in *RESULT if so.
References ggc_alloc(), real_convert(), real_from_mpfr(), real_identical(), real_isfinite(), REAL_VALUE_TYPE, and rvc_zero.
Referenced by do_mpfr_arg1(), do_mpfr_arg2(), do_mpfr_arg2(), do_mpfr_arg3(), and do_mpfr_sincos().
◆ do_mpfr_sincos()
|
static |
Try to evaluate: *RESULT_SIN = sin (*ARG); *RESULT_COS = cos (*ARG); for format FORMAT. Return true on success.
References real_format::b, do_mpfr_ckconv(), ggc_alloc(), mpfr_from_real(), NULL, real_format::p, real_isfinite(), and real_format::round_towards_zero.
Referenced by fold_const_call_cs().
◆ fold_const_builtin_load_exponent()
|
static |
Try to evaluate: *RESULT = ldexp (*ARG0, ARG1) in format FORMAT. Return true on success.
References real_format::emax, real_format::emin, wi::ges_p(), ggc_alloc(), wi::les_p(), real_equal(), real_isinf(), real_ldexp(), REAL_VALUE_ISSIGNALING_NAN, real_value_truncate(), and REAL_VALUE_TYPE.
Referenced by fold_const_call_sss().
◆ fold_const_builtin_nan()
Fold a call to __builtin_nan or __builtin_nans with argument ARG and return type TYPE. QUIET is true if a quiet rather than signalling NaN is required.
References build_real(), c_getstr(), ggc_alloc(), NULL_TREE, real_nan(), REAL_VALUE_TYPE, and TYPE_MODE.
Referenced by fold_const_call().
◆ fold_const_call() [1/3]
| tree fold_const_call | ( | combined_fn | fn, |
| tree | type, | ||
| tree | arg ) |
Try to fold FN (ARG) to a constant. Return the constant on success, otherwise return null. TYPE is the type of the return value.
References build_int_cst(), c_getstr(), CASE_FLT_FN_FLOATN_NX, fold_const_builtin_nan(), fold_const_call_1(), fold_const_reduction(), fold_const_vec_convert(), ggc_alloc(), and NULL_TREE.
Referenced by expand_bitquery(), fold_builtin_1(), fold_builtin_2(), fold_builtin_3(), fold_builtin_sincos(), fully_constant_vn_reference_p(), gimple_resimplify1(), gimple_resimplify2(), gimple_resimplify3(), gimple_simplify(), gimple_simplify(), gimple_simplify(), and vect_recog_pow_pattern().
◆ fold_const_call() [2/3]
| tree fold_const_call | ( | combined_fn | fn, |
| tree | type, | ||
| tree | arg0, | ||
| tree | arg1 ) |
Try to fold FN (ARG0, ARG1) to a constant. Return the constant on success, otherwise return null. TYPE is the type of the return value.
References arith_overflowed_p(), build_cmp_result(), build_complex(), build_int_cst(), c_getstr(), drop_tree_overflow(), fold_build_pointer_plus_hwi, fold_const_call_1(), fold_const_fold_left(), fold_convert, ggc_alloc(), int_const_binop(), integer_cst_p(), NULL, NULL_TREE, r, target_char_cst_p(), TREE_CODE, TREE_OVERFLOW, TREE_TYPE, and type().
◆ fold_const_call() [3/3]
Try to fold FN (ARG0, ARG1, ARG2) to a constant. Return the constant on success, otherwise return null. TYPE is the type of the return value.
References arith_overflowed_p(), build_cmp_result(), build_complex(), build_int_cst(), c_getstr(), drop_tree_overflow(), fold_build_pointer_plus_hwi, fold_const_call_1(), fold_convert, fold_while_ult(), getbyterep(), ggc_alloc(), int_const_binop(), integer_cst_p(), MIN, NULL, NULL_TREE, poly_int_tree_p(), r, SIZE_MAX, size_t_cst_p(), target_char_cst_p(), TREE_CODE, TREE_OVERFLOW, TREE_SIDE_EFFECTS, and TREE_TYPE.
◆ fold_const_call_1() [1/3]
|
static |
Subroutine of fold_const_call, with the same interface. Handle cases where the arguments and result are numerical.
References build_complex(), build_real(), complex_cst_p(), COMPLEX_MODE_P, fold_const_call_cc(), fold_const_call_cs(), fold_const_call_sc(), fold_const_call_ss(), gcc_checking_assert, GET_MODE_INNER, ggc_alloc(), integer_cst_p(), INTEGRAL_TYPE_P, NULL_TREE, real_cst_p(), REAL_MODE_FORMAT, REAL_VALUE_TYPE, SCALAR_FLOAT_MODE_P, SCALAR_INT_MODE_P, wi::to_wide(), TREE_IMAGPART, TREE_REAL_CST_PTR, TREE_REALPART, TREE_TYPE, TYPE_MODE, TYPE_PRECISION, and wide_int_to_tree().
Referenced by fold_const_call(), fold_const_call(), and fold_const_call().
◆ fold_const_call_1() [2/3]
Subroutine of fold_const_call, with the same interface. Handle cases where the arguments and result are numerical.
References build_complex(), build_real(), complex_cst_p(), COMPLEX_MODE_P, fold_const_call_ccc(), fold_const_call_sss(), gcc_checking_assert, GET_MODE_INNER, ggc_alloc(), integer_cst_p(), long_double_type_node, NULL_TREE, real_cst_p(), REAL_MODE_FORMAT, REAL_VALUE_TYPE, SCALAR_FLOAT_MODE_P, SCALAR_INT_MODE_P, wi::to_wide(), TREE_IMAGPART, TREE_REAL_CST_PTR, TREE_REALPART, TREE_TYPE, TYPE_MODE, TYPE_PRECISION, and wide_int_to_tree().
◆ fold_const_call_1() [3/3]
Subroutine of fold_const_call, with the same interface. Handle cases where the arguments and result are numerical.
References build_real(), fold_const_call_ssss(), gcc_checking_assert, ggc_alloc(), NULL_TREE, real_cst_p(), REAL_MODE_FORMAT, REAL_VALUE_TYPE, SCALAR_FLOAT_MODE_P, TREE_REAL_CST_PTR, TREE_TYPE, and TYPE_MODE.
◆ fold_const_call_cc()
|
static |
Try to evaluate: RESULT = fn (ARG) where FORMAT is the format of the real and imaginary parts of RESULT (RESULT_REAL and RESULT_IMAG) and of ARG (ARG_REAL and ARG_IMAG). Return true on success.
References dconst0, dconstinf, do_mpc_arg1(), ggc_alloc(), and real_isinf().
Referenced by fold_const_call_1().
◆ fold_const_call_ccc()
|
static |
Try to evaluate: RESULT = fn (ARG0, ARG1) where FORMAT is the format of the real and imaginary parts of RESULT (RESULT_REAL and RESULT_IMAG), of ARG0 (ARG0_REAL and ARG0_IMAG) and of ARG1 (ARG1_REAL and ARG1_IMAG). Return true on success.
References do_mpc_arg2(), and ggc_alloc().
Referenced by fold_const_call_1().
◆ fold_const_call_cs()
|
static |
Try to evaluate: RESULT = FN (*ARG) where FORMAT is the format of ARG and of the real and imaginary parts of RESULT, passed as RESULT_REAL and RESULT_IMAG respectively. Return true on success.
References do_mpfr_sincos(), and ggc_alloc().
Referenced by fold_const_call_1().
◆ fold_const_call_sc()
|
static |
Try to evaluate: *RESULT = fn (ARG) where FORMAT is the format of RESULT and of the real and imaginary parts of ARG, passed as ARG_REAL and ARG_IMAG respectively. Return true on success.
References do_mpfr_arg2(), and ggc_alloc().
Referenced by fold_const_call_1().
◆ fold_const_call_ss() [1/3]
|
static |
Try to evaluate: *RESULT = FN (*ARG) in format FORMAT. Return true on success.
References dconst0, dconst1, dconstm1, do_mpfr_arg1(), fold_const_logb(), fold_const_significand(), ggc_alloc(), real_ceil(), real_compare(), real_floor(), real_round(), real_roundeven(), real_trunc(), and REAL_VALUE_ISSIGNALING_NAN.
Referenced by fold_const_call_1().
◆ fold_const_call_ss() [2/3]
|
static |
Try to evaluate: *RESULT = FN (*ARG) where FORMAT is the format of ARG and PRECISION is the number of significant bits in the result. Return true on success.
References real_format::b, real_value::cl, fold_const_conversion(), ggc_alloc(), wi::one(), real_ceil(), REAL_EXP, real_floor(), real_isfinite(), real_isinf(), real_isnan(), real_isneg(), real_issignaling_nan(), real_round(), rvc_normal, wi::shwi(), real_value::sign, and wi::zero().
◆ fold_const_call_ss() [3/3]
|
static |
Try to evaluate: *RESULT = FN (ARG) where ARG_TYPE is the type of ARG and PRECISION is the number of bits in the result. Return true on success.
References arg_type, wi::bswap(), wi::clrsb(), wi::clz(), CLZ_DEFINED_VALUE_AT_ZERO, wi::ctz(), CTZ_DEFINED_VALUE_AT_ZERO, wi::ffs(), wide_int_storage::from(), ggc_alloc(), wi::ne_p(), wi::parity(), wi::popcount(), SCALAR_INT_TYPE_MODE, wi::shwi(), TREE_CODE, TYPE_PRECISION, and TYPE_SIGN.
◆ fold_const_call_sss() [1/4]
|
static |
Try to evaluate: *RESULT = FN (*ARG0, *ARG1) in format FORMAT. Return true on success.
References do_mpfr_arg2(), fold_const_nextafter(), fold_const_pow(), ggc_alloc(), and real_copysign().
Referenced by fold_const_call_1().
◆ fold_const_call_sss() [2/4]
|
static |
Try to evaluate: *RESULT = FN (*ARG0, ARG1) where FORMAT is the format of *RESULT and *ARG0. Return true on success.
References real_format::b, fold_const_builtin_load_exponent(), ggc_alloc(), real_powi(), and REAL_VALUE_ISSIGNALING_NAN.
◆ fold_const_call_sss() [3/4]
|
static |
Try to evaluate: *RESULT = FN (ARG0, *ARG1) where FORMAT is the format of *RESULT and *ARG1. Return true on success.
References dconst0, do_mpfr_arg2(), ggc_alloc(), and real_compare().
◆ fold_const_call_sss() [4/4]
|
static |
Try to evaluate: *RESULT = FN (ARG0, ARG1) where ARG_TYPE is the type of ARG0 and PRECISION is the number of bits in the result. Return true on success.
References wi::clz(), wi::ctz(), ggc_alloc(), wi::ne_p(), and wi::shwi().
◆ fold_const_call_ssss()
|
static |
Try to evaluate: *RESULT = FN (*ARG0, *ARG1, *ARG2) in format FORMAT. Return true on success.
References do_mpfr_arg3(), ggc_alloc(), and real_value_negate().
Referenced by fold_const_call_1().
◆ fold_const_conversion()
|
static |
Try to evaluate: *RESULT = f (*ARG) where FORMAT is the format of *ARG and PRECISION is the number of significant bits in the result. Return true on success.
References ggc_alloc(), real_isfinite(), and real_to_integer().
Referenced by fold_const_call_ss().
◆ fold_const_fold_left()
Fold a call to IFN_FOLD_LEFT_<CODE> (ARG0, ARG1), returning a value of type TYPE.
References const_binop(), CONSTANT_CLASS_P, ggc_alloc(), i, NULL_TREE, TREE_CODE, VECTOR_CST_ELT, and VECTOR_CST_NELTS.
Referenced by fold_const_call().
◆ fold_const_logb()
|
static |
Try to evaluate: *RESULT = logb (*ARG) in format FORMAT. Return true on success.
References real_format::b, real_value::cl, REAL_EXP, real_from_integer(), rvc_inf, rvc_nan, rvc_normal, rvc_zero, real_value::sign, and SIGNED.
Referenced by fold_const_call_ss().
◆ fold_const_nextafter()
|
static |
Try to evaluate: *RESULT = nextafter (*ARG0, *ARG1) or *RESULT = nexttoward (*ARG0, *ARG1) in format FORMAT. Return true on success.
References real_format::b, real_value::cl, ggc_alloc(), real_format::has_denorm, real_format::has_inf, real_format::p, real_format::pnan, real_convert(), real_nextafter(), REAL_VALUE_ISSIGNALING_NAN, and rvc_zero.
Referenced by fold_const_call_sss().
◆ fold_const_pow()
|
static |
Try to evaluate: *RESULT = pow (*ARG0, *ARG1) in format FORMAT. Return true on success.
References dconst0, do_mpfr_arg2(), ggc_alloc(), real_equal(), real_from_integer(), real_identical(), real_powi(), real_to_integer(), REAL_VALUE_ISSIGNALING_NAN, REAL_VALUE_TYPE, and SIGNED.
Referenced by fold_const_call_sss().
◆ fold_const_reduction()
Fold a call to IFN_REDUC_<CODE> (ARG), returning a value of type TYPE.
References const_binop(), CONSTANT_CLASS_P, ggc_alloc(), i, NULL_TREE, TREE_CODE, VECTOR_CST_ELT, and VECTOR_CST_NELTS.
Referenced by fold_const_call().
◆ fold_const_significand()
|
static |
Try to evaluate: *RESULT = significand (*ARG) in format FORMAT. Return true on success.
References real_format::b, real_value::cl, rvc_inf, rvc_nan, rvc_normal, rvc_zero, and SET_REAL_EXP.
Referenced by fold_const_call_ss().
◆ fold_const_vec_convert()
Fold a call to IFN_VEC_CONVERT (ARG) returning TYPE.
References arg_type, tree_vector_builder::build(), CONSTANT_CLASS_P, count, vector_builder< T, Shape, Derived >::encoded_nelts(), fold_unary, gcc_checking_assert, ggc_alloc(), i, INTEGRAL_TYPE_P, vector_builder< T, Shape, Derived >::new_unary_operation(), NULL_TREE, SCALAR_FLOAT_TYPE_P, TREE_CODE, TREE_TYPE, TYPE_PRECISION, VECTOR_CST_ELT, and VECTOR_TYPE_P.
Referenced by fold_const_call().
◆ fold_while_ult()
|
static |
Try to evaluate:
IFN_WHILE_ULT (ARG0, ARG1, (TYPE) { ... })
Return the value on success and null on failure.
References build_all_ones_cst(), build_minus_one_cst(), build_vector_a_then_b(), build_zero_cst(), ggc_alloc(), known_ge, known_le, maybe_ge, NULL_TREE, TREE_TYPE, and TYPE_VECTOR_SUBPARTS().
Referenced by fold_const_call().
◆ integer_cst_p()
Constant folding for calls to built-in and internal functions. Copyright (C) 1988-2024 Free Software Foundation, Inc. This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see <http://www.gnu.org/licenses/>.
Functions that test for certain constant types, abstracting away the decision about whether to check for overflow.
References ggc_alloc(), TREE_CODE, and TREE_OVERFLOW.
Referenced by fold_const_call(), fold_const_call(), fold_const_call_1(), fold_const_call_1(), and size_t_cst_p().
◆ real_cst_p()
References ggc_alloc(), TREE_CODE, and TREE_OVERFLOW.
Referenced by fold_const_call_1(), fold_const_call_1(), and fold_const_call_1().
◆ size_t_cst_p()
|
inlinestatic |
Return true if ARG is a size_type_node constant. Store it in *SIZE_OUT if so.
References ggc_alloc(), integer_cst_p(), size_type_node, tree_fits_uhwi_p(), tree_to_uhwi(), TREE_TYPE, and types_compatible_p().
Referenced by fold_const_call().
