From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 53BA3385AE43; Tue, 11 Oct 2022 12:06:59 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 53BA3385AE43 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665490019; bh=j+h0UnpLlWnks6osWV3wz4b/MaRlnyWOpaA0i6ymfoA=; h=From:To:Subject:Date:From; b=DjkaTZcMljUOr67yMoxiu198L48Wsb5MrFdOC1OPRlMgcyh2aEOAKksQXFN9UwDAZ FWS0Hfv6rQSIH61UUOUSMAHmo599FAfbdL6wTdkY+ITxhzuYSWHuoOKHKD9igcBocb aqdiBXukbbwjf++wMAn3Sc3VDCjtKhp9wel8D1co= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-8821] tree-optimization/106934 - avoid BIT_FIELD_REF of bitfields X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/releases/gcc-12 X-Git-Oldrev: e364e27b6636ba09755790358910f199d07194b3 X-Git-Newrev: c3119f575a04845fbbebbf90b5cdea88d5d76156 Message-Id: <20221011120659.53BA3385AE43@sourceware.org> Date: Tue, 11 Oct 2022 12:06:59 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c3119f575a04845fbbebbf90b5cdea88d5d76156 commit r12-8821-gc3119f575a04845fbbebbf90b5cdea88d5d76156 Author: Richard Biener Date: Wed Sep 14 09:00:35 2022 +0200 tree-optimization/106934 - avoid BIT_FIELD_REF of bitfields The following avoids creating BIT_FIELD_REF of bitfields in update-address-taken. The patch doesn't implement punning to a full precision integer type but leaves a comment according to that. PR tree-optimization/106934 * tree-ssa.cc (non_rewritable_mem_ref_base): Avoid BIT_FIELD_REFs of bitfields. (maybe_rewrite_mem_ref_base): Likewise. * gfortran.dg/pr106934.f90: New testcase. (cherry picked from commit 05f5c42cb42c5088187d44cc45a5f671d19ad8c5) Diff: --- gcc/testsuite/gfortran.dg/pr106934.f90 | 7 +++++++ gcc/tree-ssa.cc | 6 ++++++ 2 files changed, 13 insertions(+) diff --git a/gcc/testsuite/gfortran.dg/pr106934.f90 b/gcc/testsuite/gfortran.dg/pr106934.f90 new file mode 100644 index 00000000000..ac58a3e82e3 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr106934.f90 @@ -0,0 +1,7 @@ +! { dg-do compile } +! { dg-options "-O" } +subroutine s + logical(1) :: a = .true. + logical(2) :: b + a = transfer(b, a) +end diff --git a/gcc/tree-ssa.cc b/gcc/tree-ssa.cc index a362a0a9ea6..ab8b1c27ed4 100644 --- a/gcc/tree-ssa.cc +++ b/gcc/tree-ssa.cc @@ -1459,6 +1459,8 @@ maybe_rewrite_mem_ref_base (tree *tp, bitmap suitable_for_renaming) && (! INTEGRAL_TYPE_P (TREE_TYPE (*tp)) || (wi::to_offset (TYPE_SIZE (TREE_TYPE (*tp))) == TYPE_PRECISION (TREE_TYPE (*tp)))) + && (! INTEGRAL_TYPE_P (TREE_TYPE (sym)) + || type_has_mode_precision_p (TREE_TYPE (sym))) && wi::umod_trunc (wi::to_offset (TYPE_SIZE (TREE_TYPE (*tp))), BITS_PER_UNIT) == 0) { @@ -1531,6 +1533,10 @@ non_rewritable_mem_ref_base (tree ref) && (! INTEGRAL_TYPE_P (TREE_TYPE (base)) || (wi::to_offset (TYPE_SIZE (TREE_TYPE (base))) == TYPE_PRECISION (TREE_TYPE (base)))) + /* ??? Likewise for extracts from bitfields, we'd have + to pun the base object to a size precision mode first. */ + && (! INTEGRAL_TYPE_P (TREE_TYPE (decl)) + || type_has_mode_precision_p (TREE_TYPE (decl))) && wi::umod_trunc (wi::to_offset (TYPE_SIZE (TREE_TYPE (base))), BITS_PER_UNIT) == 0) return NULL_TREE;