#include <rtl.h>
Public Member Functions | |
| rtx | simplify_unary_operation (rtx_code, machine_mode, rtx, machine_mode) |
| rtx | simplify_binary_operation (rtx_code, machine_mode, rtx, rtx) |
| rtx | simplify_ternary_operation (rtx_code, machine_mode, machine_mode, rtx, rtx, rtx) |
| rtx | simplify_relational_operation (rtx_code, machine_mode, machine_mode, rtx, rtx) |
| rtx | simplify_subreg (machine_mode, rtx, machine_mode, poly_uint64) |
| rtx | lowpart_subreg (machine_mode, rtx, machine_mode) |
| rtx | simplify_merge_mask (rtx, rtx, int) |
| rtx | simplify_gen_unary (rtx_code, machine_mode, rtx, machine_mode) |
| rtx | simplify_gen_binary (rtx_code, machine_mode, rtx, rtx) |
| rtx | simplify_gen_ternary (rtx_code, machine_mode, machine_mode, rtx, rtx, rtx) |
| rtx | simplify_gen_relational (rtx_code, machine_mode, machine_mode, rtx, rtx) |
| rtx | simplify_gen_subreg (machine_mode, rtx, machine_mode, poly_uint64) |
| rtx | simplify_gen_vec_select (rtx, unsigned int) |
Data Fields | |
| unsigned int | mem_depth = 0 |
| unsigned int | assoc_count = 0 |
Static Public Attributes | |
| static const unsigned int | max_assoc_count = 64 |
Detailed Description
In simplify-rtx.cc
A class that records the context in which a simplification is being mode.
Member Function Documentation
◆ lowpart_subreg()
Generates a subreg to get the least significant part of EXPR (in mode INNER_MODE) to OUTER_MODE.
References simplify_gen_subreg(), and subreg_lowpart_offset().
Referenced by lowpart_subreg(), simplify_binary_operation_1(), simplify_gen_vec_select(), simplify_relational_operation_1(), and simplify_subreg().
◆ simplify_associative_operation()
|
private |
Subroutine of simplify_binary_operation to simplify a commutative, associative binary operation CODE with result mode MODE, operating on OP0 and OP1. CODE is currently one of PLUS, MULT, AND, IOR, XOR, SMIN, SMAX, UMIN or UMAX. Return zero if no simplification or canonicalization is possible.
References assoc_count, GET_CODE, ggc_alloc(), max_assoc_count, NULL_RTX, simplify_binary_operation(), simplify_gen_binary(), swap_commutative_operands_p(), and XEXP.
Referenced by simplify_binary_operation_1().
◆ simplify_binary_operation()
| rtx simplify_context::simplify_binary_operation | ( | rtx_code | code, |
| machine_mode | mode, | ||
| rtx | op0, | ||
| rtx | op1 ) |
Simplify a binary operation CODE with result mode MODE, operating on OP0 and OP1. Return 0 if no simplification is possible. Don't use this for relational operations such as EQ or LT. Use simplify_relational_operation instead.
References avoid_constant_pool_reference(), gcc_assert, GET_RTX_CLASS, ggc_alloc(), NULL_RTX, RTX_COMM_ARITH, RTX_COMM_COMPARE, RTX_COMPARE, simplify_binary_operation_1(), simplify_const_binary_operation(), simplify_gen_binary(), and swap_commutative_operands_p().
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_associative_operation(), simplify_binary_operation(), simplify_binary_operation_1(), simplify_binary_operation_series(), simplify_gen_binary(), and simplify_plus_minus().
◆ simplify_binary_operation_1()
|
private |
Subroutine of simplify_binary_operation. Simplify a binary operation CODE with result mode MODE, operating on OP0 and OP1. If OP0 and/or OP1 are constant pool references, TRUEOP0 and TRUEOP1 represent the actual constants.
References a, avoid_constant_pool_reference(), b, BITS_PER_WORD, cfun, CLZ_DEFINED_VALUE_AT_ZERO, COMPARISON_P, const0_rtx, CONST0_RTX, const1_rtx, CONST1_RTX, CONST_DOUBLE_AS_FLOAT_P, const_double_from_real_value(), CONST_DOUBLE_REAL_VALUE, CONST_INT_P, CONST_SCALAR_INT_P, const_true_rtx, CONST_VECTOR_ELT, constm1_rtx, CONSTM1_RTX, contains_symbolic_reference_p(), copy_rtx(), count, d1, dconst0, dconst1, dconst2, dconstm1, DECIMAL_FLOAT_MODE_P, wi::exact_log2(), exact_log2(), f1, FLOAT_MODE_P, gcc_assert, gcc_unreachable, gen_const_vec_series(), GEN_INT, gen_int_mode(), gen_int_shift_amount(), rtl_hooks::gen_lowpart_no_emit, gen_rtx_CONST_VECTOR(), gen_vec_duplicate(), GET_CODE, GET_MODE, GET_MODE_BITSIZE(), GET_MODE_CLASS, GET_MODE_INNER, GET_MODE_MASK, GET_MODE_NUNITS(), GET_MODE_PRECISION(), GET_MODE_SIZE(), GET_MODE_UNIT_BITSIZE, GET_MODE_UNIT_PRECISION, ggc_alloc(), HONOR_NANS(), HONOR_SIGN_DEPENDENT_ROUNDING(), HONOR_SIGNED_ZEROS(), HONOR_SNANS(), HOST_BITS_PER_WIDE_INT, HOST_WIDE_INT_1U, HWI_COMPUTABLE_MODE_P(), i, i1, immed_wide_int_const(), IN_RANGE, INTEGRAL_MODE_P, INTVAL, known_eq, known_ge, known_lt, lowpart_subreg(), wi::mask(), maybe_ge, mem_depth, wi::minus_one(), mode_signbit_p(), wi::neg(), neg_poly_int_rtx(), nonzero_bits(), NULL_RTX, offset, wi::one(), optimize_function_for_speed_p(), plus_constant(), plus_minus_operand_p(), poly_int_rtx_p(), real_arithmetic(), real_convert(), real_equal(), REAL_VALUE_NEGATIVE, REAL_VALUE_TYPE, REG_P, REGNO, reverse_rotate_by_imm_p(), reversed_comparison(), rtvec_alloc(), RTVEC_ELT, rtx_equal_p(), SCALAR_FLOAT_MODE_P, SCALAR_INT_MODE_P, wi::set_bit_in_zero(), set_src_cost(), SHIFT_COUNT_TRUNCATED, side_effects_p(), simplify_associative_operation(), simplify_binary_operation(), simplify_binary_operation_series(), simplify_byte_swapping_operation(), simplify_distributive_operation(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_unary(), simplify_logical_relational_operation(), simplify_plus_minus(), simplify_unary_operation(), STORE_FLAG_VALUE, SUBREG_BYTE, subreg_lowpart_p(), subreg_memory_offset(), SUBREG_P, SUBREG_REG, poly_int< N, C >::to_constant(), trunc_int_for_mode(), UINTVAL, val_signbit_p(), valid_for_const_vector_p(), vec_duplicate_p(), vec_series_highpart_p(), vec_series_lowpart_p(), VECTOR_MODE_P, word_mode, WORD_REGISTER_OPERATIONS, XEXP, XVECEXP, XVECLEN, and y.
Referenced by simplify_binary_operation().
◆ simplify_binary_operation_series()
|
private |
Subroutine of simplify_binary_operation_1 that looks for cases in which OP0 and OP1 are both vector series or vector duplicates (which are really just series with a step of 0). If so, try to form a new series by applying CODE to the bases and to the steps. Return null if no simplification is possible. MODE is the mode of the operation and is known to be a vector integer mode.
References const0_rtx, gen_vec_series(), GET_MODE_INNER, ggc_alloc(), NULL_RTX, simplify_binary_operation(), vec_duplicate_p(), and vec_series_p().
Referenced by simplify_binary_operation_1().
◆ simplify_byte_swapping_operation()
|
private |
Subroutine of simplify_binary_operation to simplify a binary operation CODE that can commute with byte swapping, with result mode MODE and operating on OP0 and OP1. CODE is currently one of AND, IOR or XOR. Return zero if no simplification or canonicalization is possible.
References CONST_SCALAR_INT_P, GET_CODE, ggc_alloc(), NULL_RTX, simplify_gen_binary(), simplify_gen_unary(), and XEXP.
Referenced by simplify_binary_operation_1().
◆ simplify_cond_clz_ctz()
|
private |
Recognize expressions of the form (X CMP 0) ? VAL : OP (X) where OP is CLZ or CTZ and VAL is the value from CLZ_DEFINED_VALUE_AT_ZERO or CTZ_DEFINED_VALUE_AT_ZERO respectively and return OP (X) if the expression can be simplified to that or NULL_RTX if not. Assume X is compared against zero with CMP_CODE and the true arm is TRUE_VAL and the false arm is FALSE_VAL.
References CLZ_DEFINED_VALUE_AT_ZERO, CONST_INT_P, CTZ_DEFINED_VALUE_AT_ZERO, GET_CODE, GET_MODE, ggc_alloc(), INTVAL, NULL_RTX, rtx_equal_p(), and XEXP.
Referenced by simplify_ternary_operation().
◆ simplify_distribute_over_subregs()
|
private |
◆ simplify_distributive_operation()
|
private |
Subroutine of simplify_binary_operation_1. Un-distribute a binary operation CODE with result mode MODE, operating on OP0 and OP1. e.g. simplify (xor (and A C) (and (B C)) to (and (xor (A B) C). Returns NULL_RTX if no simplification is possible.
References gcc_assert, GET_CODE, GET_RTX_CLASS, NULL_RTX, RTX_COMM_ARITH, rtx_equal_p(), side_effects_p(), simplify_gen_binary(), and XEXP.
Referenced by simplify_binary_operation_1().
◆ simplify_gen_binary()
Make a binary operation by properly ordering the operands and seeing if the expression folds.
References GET_RTX_CLASS, ggc_alloc(), RTX_COMM_ARITH, simplify_binary_operation(), and swap_commutative_operands_p().
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_associative_operation(), simplify_binary_operation(), simplify_binary_operation_1(), simplify_byte_swapping_operation(), simplify_distributive_operation(), simplify_gen_binary(), simplify_merge_mask(), simplify_relational_operation_1(), simplify_subreg(), simplify_ternary_operation(), simplify_truncation(), and simplify_unary_operation_1().
◆ simplify_gen_relational()
| rtx simplify_context::simplify_gen_relational | ( | rtx_code | code, |
| machine_mode | mode, | ||
| machine_mode | cmp_mode, | ||
| rtx | op0, | ||
| rtx | op1 ) |
Likewise, for relational operations. CMP_MODE specifies mode comparison is done in.
References ggc_alloc(), and simplify_relational_operation().
Referenced by simplify_binary_operation_1(), simplify_gen_relational(), simplify_logical_relational_operation(), simplify_merge_mask(), simplify_relational_operation(), simplify_relational_operation_1(), simplify_subreg(), simplify_ternary_operation(), and simplify_unary_operation_1().
◆ simplify_gen_subreg()
| rtx simplify_context::simplify_gen_subreg | ( | machine_mode | outermode, |
| rtx | op, | ||
| machine_mode | innermode, | ||
| poly_uint64 | byte ) |
Make a SUBREG operation or equivalent if it folds.
References CONST_DOUBLE_AS_FLOAT_P, CONST_FIXED_P, CONST_SCALAR_INT_P, gen_rtx_SUBREG(), GET_CODE, GET_MODE, ggc_alloc(), MODE_COMPOSITE_P, NULL_RTX, simplify_subreg(), and validate_subreg().
Referenced by lowpart_subreg(), simplify_gen_subreg(), simplify_subreg(), and simplify_truncation().
◆ simplify_gen_ternary()
| rtx simplify_context::simplify_gen_ternary | ( | rtx_code | code, |
| machine_mode | mode, | ||
| machine_mode | op0_mode, | ||
| rtx | op0, | ||
| rtx | op1, | ||
| rtx | op2 ) |
Likewise for ternary operations.
References ggc_alloc(), and simplify_ternary_operation().
Referenced by simplify_gen_ternary(), simplify_merge_mask(), simplify_ternary_operation(), simplify_truncation(), and simplify_unary_operation_1().
◆ simplify_gen_unary()
| rtx simplify_context::simplify_gen_unary | ( | rtx_code | code, |
| machine_mode | mode, | ||
| rtx | op, | ||
| machine_mode | op_mode ) |
Make a unary operation by first seeing if it folds and otherwise making the specified operation.
References ggc_alloc(), and simplify_unary_operation().
Referenced by simplify_binary_operation_1(), simplify_byte_swapping_operation(), simplify_gen_unary(), simplify_merge_mask(), simplify_relational_operation_1(), simplify_truncation(), and simplify_unary_operation_1().
◆ simplify_gen_vec_select()
Generate RTX to select element at INDEX out of vector OP.
References gcc_assert, GEN_INT, gen_rtvec(), GET_MODE, GET_MODE_INNER, GET_MODE_SIZE(), ggc_alloc(), known_eq, lowpart_subreg(), subreg_lowpart_offset(), and VECTOR_MODE_P.
Referenced by simplify_gen_vec_select().
◆ simplify_logical_relational_operation()
|
private |
Simplify a logical operation CODE with result mode MODE, operating on OP0 and OP1, which should be both relational operations. Return 0 if no such simplification is possible.
References comparison_code_valid_for_mode(), COMPARISON_P, comparison_to_mask(), const_true_rtx, GET_CODE, GET_MODE, ggc_alloc(), mask_to_comparison(), relational_result(), rtx_equal_p(), simplify_gen_relational(), and XEXP.
Referenced by simplify_binary_operation_1().
◆ simplify_merge_mask()
Try to simplify X given that it appears within operand OP of a VEC_MERGE operation whose mask is MASK. X need not use the same vector mode as the VEC_MERGE, but it must have the same number of elements. Return the simplified X on success, otherwise return NULL_RTX.
References BINARY_P, COMPARISON_P, gcc_assert, GET_CODE, GET_MODE, GET_MODE_NUNITS(), GET_RTX_CLASS, ggc_alloc(), known_eq, NULL_RTX, rtx_equal_p(), RTX_TERNARY, side_effects_p(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_ternary(), simplify_gen_unary(), simplify_merge_mask(), UNARY_P, VECTOR_MODE_P, and XEXP.
Referenced by simplify_merge_mask(), and simplify_ternary_operation().
◆ simplify_plus_minus()
|
private |
Simplify and canonicalize a PLUS or MINUS, at least one of whose operands may be another PLUS or MINUS. Rather than test for specific case, we do this by a brute-force method and do all possible simplifications until no more changes occur. Then we rebuild the operation. May return NULL_RTX when no changes were made.
References arg_pointer_rtx, CASE_CONST_SCALAR_INT, changed, CONST_INT_P, CONSTANT_P, CONSTM1_RTX, fixed_regs, frame_pointer_rtx, gcc_assert, GET_CODE, GET_MODE, ggc_alloc(), global_regs, i, INTVAL, neg_poly_int_rtx(), NULL_RTX, plus_constant(), poly_int_rtx_p(), REG_P, REGNO, simplify_binary_operation(), simplify_const_binary_operation(), simplify_plus_minus_op_data_cmp(), stack_pointer_rtx, swap_commutative_operands_p(), and XEXP.
Referenced by simplify_binary_operation_1().
◆ simplify_relational_operation()
| rtx simplify_context::simplify_relational_operation | ( | rtx_code | code, |
| machine_mode | mode, | ||
| machine_mode | cmp_mode, | ||
| rtx | op0, | ||
| rtx | op1 ) |
Like simplify_binary_operation except used for relational operators. MODE is the mode of the result. If MODE is VOIDmode, both operands must not also be VOIDmode. CMP_MODE specifies in which mode the comparison is done in, so it is the mode of the operands. If CMP_MODE is VOIDmode, it is taken from the operands or, if both are VOIDmode, the operands are compared in "infinite precision".
References avoid_constant_pool_reference(), const0_rtx, GET_CODE, GET_MODE, GET_MODE_CLASS, ggc_alloc(), NULL_RTX, relational_result(), simplify_const_relational_operation(), simplify_gen_relational(), simplify_relational_operation_1(), swap_commutative_operands_p(), swap_condition(), and XEXP.
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_gen_relational(), simplify_relational_operation(), and simplify_ternary_operation().
◆ simplify_relational_operation_1()
|
private |
This part of simplify_relational_operation is only used when CMP_MODE is not in class MODE_CC (i.e. it is a real comparison). MODE is the mode of the result, while CMP_MODE specifies in which mode the comparison is done in, so it is the mode of the operands.
References COMPARISON_P, const0_rtx, CONST0_RTX, const1_rtx, CONST_INT_P, CONST_SCALAR_INT_P, CONSTANT_P, constm1_rtx, copy_rtx(), GET_CODE, GET_MODE, GET_MODE_PRECISION(), GET_MODE_SIZE(), ggc_alloc(), INTEGRAL_MODE_P, INTVAL, is_int_mode(), lowpart_subreg(), nonzero_bits(), NULL, NULL_RTX, partial_subreg_p(), reversed_comparison_code(), rtx_equal_p(), SCALAR_INT_MODE_P, side_effects_p(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_unary(), simplify_rtx(), STORE_FLAG_VALUE, subreg_lowpart_p(), UINTVAL, and XEXP.
Referenced by simplify_relational_operation().
◆ simplify_shift_const_int()
|
private |
◆ simplify_subreg()
| rtx simplify_context::simplify_subreg | ( | machine_mode | outermode, |
| rtx | op, | ||
| machine_mode | innermode, | ||
| poly_uint64 | byte ) |
Simplify SUBREG:OUTERMODE(OP:INNERMODE, BYTE) Return 0 if no simplifications are possible.
References adjust_address_nv, COMPARISON_P, CONST0_RTX, CONST_DOUBLE_AS_FLOAT_P, CONST_FIXED_P, CONST_INT_P, CONST_POLY_INT_P, const_poly_int_value(), CONST_SCALAR_INT_P, poly_int< N, C >::from(), gcc_assert, gen_rtx_REG_offset(), gen_rtx_SUBREG(), gen_vec_duplicate(), GET_CODE, GET_MODE, GET_MODE_ALIGNMENT, GET_MODE_BITSIZE(), GET_MODE_CLASS, GET_MODE_INNER, GET_MODE_NUNITS(), GET_MODE_PRECISION(), GET_MODE_SIZE(), GET_MODE_UNIT_SIZE, ggc_alloc(), HARD_REGISTER_NUM_P, HARD_REGISTER_P, have_insn_for(), HOST_BITS_PER_WIDE_INT, HOST_WIDE_INT_1U, immed_wide_int_const(), int_mode_for_size(), INTVAL, known_eq, known_ge, known_gt, known_le, known_lt, lowpart_subreg(), maybe_ge, maybe_gt, MEM_ADDR_SPACE, MEM_ALIGN, MEM_P, MEM_VOLATILE_P, mode_dependent_address_p(), NULL_RTX, ORIGINAL_REGNO, paradoxical_subreg_p(), REG_P, REGNO, SCALAR_INT_MODE_P, SET, SIGNED, simplify_const_vector_byte_offset(), simplify_const_vector_subreg(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_subreg(), simplify_immed_subreg(), simplify_subreg(), simplify_subreg_regno(), simplify_truncation(), SUBREG_BYTE, subreg_highpart_offset(), subreg_lowpart_offset(), subreg_lowpart_p(), subreg_lsb_1(), subreg_memory_offset(), SUBREG_PROMOTED_GET, SUBREG_PROMOTED_SET, SUBREG_PROMOTED_SIGN, SUBREG_PROMOTED_VAR_P, SUBREG_REG, UINTVAL, validate_subreg(), vec_duplicate_p(), VECTOR_MODE_P, word_mode, and XEXP.
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_gen_subreg(), simplify_subreg(), and simplify_subreg().
◆ simplify_ternary_operation()
| rtx simplify_context::simplify_ternary_operation | ( | rtx_code | code, |
| machine_mode | mode, | ||
| machine_mode | op0_mode, | ||
| rtx | op0, | ||
| rtx | op1, | ||
| rtx | op2 ) |
Simplify CODE, an operation with result mode MODE and three operands, OP0, OP1, and OP2. OP0_MODE was the mode of OP0 before it became a constant. Return 0 if no simplifications is possible.
References avoid_constant_pool_reference(), COMPARISON_P, const0_rtx, CONST_INT_P, CONST_VECTOR_ELT, CONST_VECTOR_NUNITS, gcc_assert, gcc_unreachable, gen_int_mode(), gen_rtx_CONST_VECTOR(), GET_CODE, GET_MODE, GET_MODE_NUNITS(), GET_MODE_PRECISION(), ggc_alloc(), HONOR_NANS(), HONOR_SIGNED_ZEROS(), HOST_BITS_PER_WIDE_INT, HOST_WIDE_INT_1U, HWI_COMPUTABLE_MODE_P(), i, IN_RANGE, INTVAL, known_eq, may_trap_p(), NULL, NULL_RTX, paradoxical_subreg_p(), reversed_comparison_code(), rtvec_alloc(), RTVEC_ELT, rtx_equal_p(), side_effects_p(), simplify_cond_clz_ctz(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_ternary(), simplify_merge_mask(), simplify_relational_operation(), simplify_unary_operation(), STORE_FLAG_VALUE, subreg_lowpart_p(), SUBREG_REG, swap_commutative_operands_p(), UINTVAL, VECTOR_MODE_P, XEXP, and XVECEXP.
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_gen_ternary(), and simplify_ternary_operation().
◆ simplify_ternary_operation_1()
|
private |
◆ simplify_truncation()
|
private |
Try to simplify a MODE truncation of OP, which has OP_MODE. Only handle cases where the truncated value is inherently an rvalue. RTL provides two ways of truncating a value: 1. a lowpart subreg. This form is only a truncation when both the outer and inner modes (here MODE and OP_MODE respectively) are scalar integers, and only then when the subreg is used as an rvalue. It is only valid to form such truncating subregs if the truncation requires no action by the target. The onus for proving this is on the creator of the subreg -- e.g. the caller to simplify_subreg or simplify_gen_subreg -- and typically involves either TRULY_NOOP_TRUNCATION_MODES_P or truncated_to_mode. 2. a TRUNCATE. This form handles both scalar and compound integers. The first form is preferred where valid. However, the TRUNCATE handling in simplify_unary_operation turns the second form into the first form when TRULY_NOOP_TRUNCATION_MODES_P or truncated_to_mode allow, so it is generally safe to form rvalue truncations using: simplify_gen_unary (TRUNCATE, ...) and leave simplify_unary_operation to work out which representation should be used. Because of the proof requirements on (1), simplify_truncation must also use simplify_gen_unary (TRUNCATE, ...) to truncate parts of OP, regardless of whether the outer truncation came from a SUBREG or a TRUNCATE. For example, if the caller has proven that an SImode truncation of: (and:DI X Y) is a no-op and can be represented as a subreg, it does not follow that SImode truncations of X and Y are also no-ops. On a target like 64-bit MIPS that requires SImode values to be stored in sign-extended form, an SImode truncation of: (and:DI (reg:DI X) (const_int 63)) is trivially a no-op because only the lower 6 bits can be set. However, X is still an arbitrary 64-bit number and so we cannot assume that truncating it too is a no-op.
References adjust_address_nv, BITS_PER_WORD, CONST_INT_P, constm1_rtx, gcc_assert, GEN_INT, GET_CODE, GET_MODE, GET_MODE_BITSIZE(), GET_MODE_MASK, GET_MODE_PRECISION(), GET_MODE_SIZE(), GET_MODE_UNIT_PRECISION, ggc_alloc(), INTVAL, MEM_ADDR_SPACE, MEM_P, MEM_VOLATILE_P, mode_dependent_address_p(), NULL_RTX, REG_P, SCALAR_INT_MODE_P, shift, simplify_gen_binary(), simplify_gen_subreg(), simplify_gen_ternary(), simplify_gen_unary(), subreg_lowpart_offset(), subreg_lowpart_p(), SUBREG_REG, trunc_int_for_mode(), UINTVAL, WORD_REGISTER_OPERATIONS, and XEXP.
Referenced by simplify_subreg(), and simplify_unary_operation_1().
◆ simplify_unary_operation()
| rtx simplify_context::simplify_unary_operation | ( | rtx_code | code, |
| machine_mode | mode, | ||
| rtx | op, | ||
| machine_mode | op_mode ) |
Try to simplify a unary operation CODE whose output mode is to be MODE with input operand OP whose mode was originally OP_MODE. Return zero if no simplification can be made.
References avoid_constant_pool_reference(), ggc_alloc(), simplify_const_unary_operation(), and simplify_unary_operation_1().
Referenced by insn_propagation::apply_to_rvalue_1(), simplify_binary_operation_1(), simplify_gen_unary(), simplify_ternary_operation(), simplify_unary_operation(), and simplify_unary_operation_1().
◆ simplify_unary_operation_1()
|
private |
Perform some simplifications we can do even if the operands aren't constant.
References ADDR_SPACE_GENERIC, COMPARISON_P, const0_rtx, const1_rtx, CONST1_RTX, CONST_DOUBLE_AS_FLOAT_P, CONST_INT_P, CONST_SCALAR_INT_P, CONSTANT_P, constm1_rtx, CONSTM1_RTX, convert_memory_address_addr_space_1(), DECIMAL_FLOAT_MODE_P, exact_int_to_float_conversion_p(), false_rtx, gcc_assert, gen_int_shift_amount(), rtl_hooks::gen_lowpart_no_emit, gen_vec_duplicate(), gen_vec_series(), GET_CODE, GET_MODE, GET_MODE_CLASS, GET_MODE_INNER, GET_MODE_MASK, GET_MODE_NUNITS(), GET_MODE_PRECISION(), GET_MODE_UNIT_PRECISION, GET_MODE_UNIT_SIZE, ggc_alloc(), HONOR_SIGN_DEPENDENT_ROUNDING(), HONOR_SIGNED_ZEROS(), HOST_BITS_PER_WIDE_INT, HWI_COMPUTABLE_MODE_P(), int_mode_for_size(), INTVAL, known_eq, MEM_ADDR_SPACE, MEM_VOLATILE_P, mode_dependent_address_p(), mode_signbit_p(), nonzero_bits(), NULL, num_sign_bit_copies(), paradoxical_subreg_p(), partial_subreg_p(), plus_constant(), ptr_mode, REG_P, REG_POINTER, reversed_comparison(), reversed_comparison_code(), rtx_equal_p(), side_effects_p(), simplify_gen_binary(), simplify_gen_relational(), simplify_gen_ternary(), simplify_gen_unary(), simplify_truncation(), simplify_unary_operation(), SRP_SIGNED, SRP_UNSIGNED, STORE_FLAG_VALUE, subreg_lowpart_p(), SUBREG_PROMOTED_SET, SUBREG_PROMOTED_SIGNED_P, SUBREG_PROMOTED_UNSIGNED_P, SUBREG_PROMOTED_VAR_P, SUBREG_REG, target_default_pointer_address_modes_p(), targetm, true_rtx, TRULY_NOOP_TRUNCATION_MODES_P, truncated_to_mode(), val_signbit_known_clear_p(), vec_duplicate_p(), vec_series_p(), VECTOR_MODE_P, and XEXP.
Referenced by simplify_unary_operation().
Field Documentation
◆ assoc_count
| unsigned int simplify_context::assoc_count = 0 |
Referenced by simplify_associative_operation().
◆ max_assoc_count
Referenced by simplify_associative_operation().
◆ mem_depth
| unsigned int simplify_context::mem_depth = 0 |
The documentation for this class was generated from the following files:
