From: Richard Sandiford Date: Wed, 30 Aug 2017 11:53:37 +0000 (+0000) Subject: Add some changelog entries that went astray during the machmode commits X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=357b7604e55516bd3e1f44d1670d2248478a9b57;p=gcc.git Add some changelog entries that went astray during the machmode commits From-SVN: r251529 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9d89d47c55d..de0203bce30 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -589,6 +589,18 @@ classes. Handle CONST_INT_P first and then check whether X also has a scalar integer mode. +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * expr.c (widest_int_mode_for_size): Make the comment match the code. + Return a scalar_int_mode and assert that the size is greater than + one byte. + (by_pieces_ninsns): Update accordingly and remove VOIDmode handling. + (op_by_pieces_d::op_by_pieces_d): Likewise. + (op_by_pieces_d::run): Likewise. + (can_store_by_pieces): Likewise. + 2017-08-30 Richard Sandiford Alan Hayward David Sherwood @@ -694,6 +706,89 @@ * expmed.c (emit_cstore): Expect the target of the cstore to be a scalar_int_mode. +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * cfgloop.h (rtx_iv): Change type of extend_mode and mode to + scalar_int_mode. + (niter_desc): Likewise mode. + (iv_analyze): Add a mode parameter. + (biv_p): Likewise. + (iv_analyze_expr): Pass the mode paraeter before the rtx it describes + and change its type to scalar_int_mode. + * loop-iv.c: Update commentary at head of file. + (iv_constant): Pass the mode paraeter before the rtx it describes + and change its type to scalar_int_mode. Remove VOIDmode handling. + (iv_subreg): Change the type of the mode parameter to scalar_int_mode. + (iv_extend): Likewise. + (shorten_into_mode): Likewise. + (iv_add): Use scalar_int_mode. + (iv_mult): Likewise. + (iv_shift): Likewise. + (canonicalize_iv_subregs): Likewise. + (get_biv_step_1): Pass the outer_mode parameter before the rtx + it describes and change its mode to scalar_int_mode. Also change + the type of the returned inner_mode to scalar_int_mode. + (get_biv_step): Likewise, turning outer_mode from a pointer + into a direct parameter. Update call to get_biv_step_1. + (iv_analyze_biv): Add an outer_mode parameter. Update calls to + iv_constant and get_biv_step. + (iv_analyze_expr): Pass the mode parameter before the rtx it describes + and change its type to scalar_int_mode. Don't initialise iv->mode + to VOIDmode and remove later checks for its still being VOIDmode. + Update calls to iv_analyze_op and iv_analyze_expr. Check + is_a when changing the mode under consideration. + (iv_analyze_def): Ignore registers that don't have a scalar_int_mode. + Update call to iv_analyze_expr. + (iv_analyze_op): Add a mode parameter. Reject subregs whose + inner register is not also a scalar_int_mode. Update call to + iv_analyze_biv. + (iv_analyze): Add a mode parameter. Update call to iv_analyze_op. + (biv_p): Add a mode parameter. Update call to iv_analyze_biv. + (iv_number_of_iterations): Use is_a instead of + separate mode class checks. Update calls to iv_analyze. Remove + fix-up of VOIDmodes after iv_analyze_biv. + * loop-unroll.c (analyze_iv_to_split_insn): Reject registers that + don't have a scalar_int_mode. Update call to biv_p. + +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * cfgexpand.c (convert_debug_memory_address): Use + as_a . + * combine.c (expand_compound_operation): Likewise. + (make_extraction): Likewise. + (change_zero_ext): Likewise. + (simplify_comparison): Likewise. + * cse.c (cse_insn): Likewise. + * dwarf2out.c (minmax_loc_descriptor): Likewise. + (mem_loc_descriptor): Likewise. + (loc_descriptor): Likewise. + * expmed.c (init_expmed_one_mode): Likewise. + (synth_mult): Likewise. + (emit_store_flag_1): Likewise. + (expand_divmod): Likewise. Use HWI_COMPUTABLE_MODE_P instead + of a comparison with size. + * expr.c (expand_assignment): Use as_a . + (reduce_to_bit_field_precision): Likewise. + * function.c (expand_function_end): Likewise. + * internal-fn.c (expand_arith_overflow_result_store): Likewise. + * loop-doloop.c (doloop_modify): Likewise. + * optabs.c (expand_binop): Likewise. + (expand_unop): Likewise. + (expand_copysign_absneg): Likewise. + (prepare_cmp_insn): Likewise. + (maybe_legitimize_operand): Likewise. + * recog.c (const_scalar_int_operand): Likewise. + * rtlanal.c (get_address_mode): Likewise. + * simplify-rtx.c (simplify_unary_operation_1): Likewise. + (simplify_cond_clz_ctz): Likewise. + * tree-nested.c (get_nl_goto_field): Likewise. + * tree.c (build_vector_type_for_mode): Likewise. + * var-tracking.c (use_narrower_mode): Likewise. + 2017-08-30 Richard Sandiford Alan Hayward David Sherwood @@ -749,6 +844,17 @@ Likewise. * tree-vrp.c (simplify_float_conversion_using_ranges): Likewise. +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * postreload.c (move2add_valid_value_p): Change the type of the + mode parameter to scalar_int_mode. + (move2add_use_add2_insn): Add a mode parameter and use it instead + of GET_MODE (reg). + (move2add_use_add3_insn): Likewise. + (reload_cse_move2add): Update accordingly. + 2017-08-30 Richard Sandiford Alan Hayward David Sherwood @@ -826,6 +932,26 @@ * loop-invariant.c (canonicalize_address_mult): Likewise. * simplify-rtx.c (simplify_unary_operation_1): Likewise. +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * gimple-fold.c (gimple_fold_builtin_memory_op): Use + is_a instead of != BLKmode. + +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * cfgexpand.c (expand_debug_expr): Use is_a + instead of != VOIDmode. + * combine.c (if_then_else_cond): Likewise. + (change_zero_ext): Likewise. + * dwarf2out.c (mem_loc_descriptor): Likewise. + (loc_descriptor): Likewise. + * rtlanal.c (canonicalize_condition): Likewise. + * simplify-rtx.c (simplify_relational_operation_1): Likewise. + 2017-08-30 Richard Sandiford Alan Hayward David Sherwood diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 9aba47fd6c2..d95a9773170 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -20,6 +20,12 @@ * c-lex.c (interpret_fixed): Use SCALAR_TYPE_MODE. * c-common.c (c_build_vec_perm_expr): Likewise. +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * c-common.c (c_common_type_for_mode): Use as_a . + 2017-08-30 Richard Sandiford Alan Hayward David Sherwood diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 6171530e241..1911e84d1ca 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,9 @@ +2017-08-30 Richard Sandiford + Alan Hayward + David Sherwood + + * lto-lang.c (lto_type_for_mode): Use as_a . + 2017-08-21 Richard Biener * lto.c (unify_scc): Truncate DIE reference queue for dropped SCCs.