diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2018-05-30 06:31:47 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2018-05-30 06:31:47 +0000 |
| commit | 6e246559b842b9fc561f5ce6eefa08912dd4f7fd (patch) | |
| tree | 34d36011aa1f1b4d6e8fba4506d1fcf929336859 /gcc/var-tracking.c | |
| parent | bb3976df48aecf734211898d6d954dc8ebed0713 (diff) | |
| download | gcc-6e246559b842b9fc561f5ce6eefa08912dd4f7fd.zip gcc-6e246559b842b9fc561f5ce6eefa08912dd4f7fd.tar.gz gcc-6e246559b842b9fc561f5ce6eefa08912dd4f7fd.tar.bz2 | |
Use poly_int tree accessors
This patch generalises various places that used hwi tree accessors so
that they can handle poly_ints instead. In many cases these changes
are by inspection rather than because something had shown them to be
necessary.
I think the alias.c part is a minor bug fix: previously we used
fits_uhwi_p for a signed HOST_WIDE_INT (which the caller does
treat as signed rather than unsigned). We also checked whether
each individual offset overflowed but didn't check whether the
sum did.
2018-05-30 Richard Sandiford <richard.sandiford@linaro.org>
gcc/
* alias.c (adjust_offset_for_component_ref): Use poly_int_tree_p
and wi::to_poly_offset. Add the current offset and then check
whether the sum fits, rather than using an unchecked addition of
a checked term. Check for a shwi rather than a uhwi.
* expr.c (get_bit_range): Use tree_to_poly_uint64.
(store_constructor): Use poly_int_tree_p.
(expand_expr_real_1): Likewise.
* function.c (assign_temp): Likewise.
* fold-const.c (const_binop): Use poly_int_tree_p and
wi::to_poly_offset.
(fold_indirect_ref_1): Likewise. Use multiple_p to attempt an exact
division.
* ipa-icf-gimple.c (func_checker::compare_operand): Use
to_poly_offset for MEM offsets.
* ipa-icf.c (sem_variable::equals): Likewise.
* stor-layout.c (compute_record_mode): Use poly_int_tree_p.
* tree-ssa-sccvn.c (ao_ref_init_from_vn_reference): Use
wi::to_poly_offset for BIT_FIELD_REF offsets.
(vn_reference_maybe_forwprop_address): Use poly_int_tree_p and
wi::to_poly_offset.
* var-tracking.c (emit_note_insn_var_location): Use
tree_to_poly_uint64.
From-SVN: r260914
Diffstat (limited to 'gcc/var-tracking.c')
| -rw-r--r-- | gcc/var-tracking.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 2b21da3..16e1ea8 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -8665,7 +8665,6 @@ emit_note_insn_var_location (variable **varp, emit_note_data *data) bool complete; enum var_init_status initialized = VAR_INIT_STATUS_UNINITIALIZED; HOST_WIDE_INT last_limit; - tree type_size_unit; HOST_WIDE_INT offsets[MAX_VAR_PARTS]; rtx loc[MAX_VAR_PARTS]; tree decl; @@ -8816,8 +8815,9 @@ emit_note_insn_var_location (variable **varp, emit_note_data *data) } ++n_var_parts; } - type_size_unit = TYPE_SIZE_UNIT (TREE_TYPE (decl)); - if ((unsigned HOST_WIDE_INT) last_limit < TREE_INT_CST_LOW (type_size_unit)) + poly_uint64 type_size_unit + = tree_to_poly_uint64 (TYPE_SIZE_UNIT (TREE_TYPE (decl))); + if (maybe_lt (poly_uint64 (last_limit), type_size_unit)) complete = false; if (! flag_var_tracking_uninit) |