From fe8c8f1e5ed61f00c14ff36caf4f510a7a09781d Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 14 Jan 2020 15:25:26 +0100 Subject: Fold &MEM[0 + CST]->a.b.c to a constant This canonicalizes those to a constant literal. 2020-05-12 Richard Biener * gimple-fold.c (maybe_canonicalize_mem_ref_addr): Canonicalize literal constant &MEM[..] to a constant literal. --- gcc/ChangeLog | 5 +++++ gcc/gimple-fold.c | 26 ++++++++++++++++++++++++++ 2 files changed, 31 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9b8b5aee9f6..bd84f8f73f0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2020-05-12 Richard Biener + + * gimple-fold.c (maybe_canonicalize_mem_ref_addr): Canonicalize + literal constant &MEM[..] to a constant literal. + 2020-05-12 Richard Biener PR tree-optimization/95045 diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 55b78fa284f..4e3de95d2d2 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -4840,6 +4840,7 @@ static bool maybe_canonicalize_mem_ref_addr (tree *t) { bool res = false; + tree *orig_t = t; if (TREE_CODE (*t) == ADDR_EXPR) t = &TREE_OPERAND (*t, 0); @@ -4940,6 +4941,31 @@ maybe_canonicalize_mem_ref_addr (tree *t) } } + else if (TREE_CODE (*orig_t) == ADDR_EXPR + && TREE_CODE (*t) == MEM_REF + && TREE_CODE (TREE_OPERAND (*t, 0)) == INTEGER_CST) + { + tree base; + poly_int64 coffset; + base = get_addr_base_and_unit_offset (TREE_OPERAND (*orig_t, 0), + &coffset); + if (base) + { + gcc_assert (TREE_CODE (base) == MEM_REF); + poly_int64 moffset; + if (mem_ref_offset (base).to_shwi (&moffset)) + { + coffset += moffset; + if (wi::to_poly_wide (TREE_OPERAND (base, 0)).to_shwi (&moffset)) + { + coffset += moffset; + *orig_t = build_int_cst (TREE_TYPE (*orig_t), coffset); + return true; + } + } + } + } + /* Canonicalize TARGET_MEM_REF in particular with respect to the indexes becoming constant. */ else if (TREE_CODE (*t) == TARGET_MEM_REF) -- cgit v1.2.3