On 10/23/2017 11:12 AM, Richard Sandiford wrote: > This patch changes the values returned by > get_addr_unit_base_and_extent from HOST_WIDE_INT to poly_int64. > > maxsize in gimple_fold_builtin_memory_op goes from HOST_WIDE_INT > to poly_uint64 (rather than poly_int) to match the previous use > of tree_fits_uhwi_p. > > > 2017-10-23 Richard Sandiford <richard.sandif...@linaro.org> > Alan Hayward <alan.hayw...@arm.com> > David Sherwood <david.sherw...@arm.com> > > gcc/ > * tree-dfa.h (get_addr_base_and_unit_offset_1): Return the offset > as a poly_int64_pod rather than a HOST_WIDE_INT. > (get_addr_base_and_unit_offset): Likewise. > * tree-dfa.c (get_addr_base_and_unit_offset_1): Likewise. > (get_addr_base_and_unit_offset): Likewise. > * doc/match-and-simplify.texi: Change off from HOST_WIDE_INT > to poly_int64 in example. > * fold-const.c (fold_binary_loc): Update call to > get_addr_base_and_unit_offset. > * gimple-fold.c (gimple_fold_builtin_memory_op): Likewise. > (maybe_canonicalize_mem_ref_addr): Likewise. > (gimple_fold_stmt_to_constant_1): Likewise. > * ipa-prop.c (ipa_modify_call_arguments): Likewise. > * match.pd: Likewise. > * omp-low.c (lower_omp_target): Likewise. > * tree-sra.c (build_ref_for_offset): Likewise. > (build_debug_ref_for_model): Likewise. > * tree-ssa-address.c (maybe_fold_tmr): Likewise. > * tree-ssa-alias.c (ao_ref_init_from_ptr_and_size): Likewise. > * tree-ssa-ccp.c (optimize_memcpy): Likewise. > * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise. > (constant_pointer_difference): Likewise. > * tree-ssa-loop-niter.c (expand_simple_operations): Likewise. > * tree-ssa-phiopt.c (jump_function_from_stmt): Likewise. > * tree-ssa-pre.c (create_component_ref_by_pieces_1): Likewise. > * tree-ssa-sccvn.c (vn_reference_fold_indirect): Likewise. > (vn_reference_maybe_forwprop_address, vn_reference_lookup_3): Likewise. > (set_ssa_val_to): Likewise. > * tree-ssa-strlen.c (get_addr_stridx, addr_stridxptr): Likewise. > * tree.c (build_simple_mem_ref_loc): Likewise. OK.
Note Martin S. has some code that's ready to go into the tree that likely will require converting some bits to poly_int and hits some of the same areas. Given the tree isn't poly_int aware right now there may be some coordination between yourself and Martin S. that will need to occur depending on which bits go in first. jeff
