public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "jye2 at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/56341] GCC produces unaligned data access Date: Thu, 27 Feb 2014 07:28:00 -0000 [thread overview] Message-ID: <bug-56341-4-54Fzg6pAuV@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-56341-4@http.gcc.gnu.org/bugzilla/> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56341 --- Comment #18 from jye2 at gcc dot gnu.org --- Author: jye2 Date: Thu Feb 27 07:28:06 2014 New Revision: 208195 URL: http://gcc.gnu.org/viewcvs?rev=208195&root=gcc&view=rev Log: 2014-02-27 Joey Ye <joey.ye@arm.com> Backport mainline strict-volatile-bitfields fixes 2013-09-28 Sandra Loosemore <sandra@codesourcery.com> gcc/ * expr.h (extract_bit_field): Remove packedp parameter. * expmed.c (extract_fixed_bit_field): Remove packedp parameter from forward declaration. (store_split_bit_field): Remove packedp arg from calls to extract_fixed_bit_field. (extract_bit_field_1): Remove packedp parameter and packedp argument from recursive calls and calls to extract_fixed_bit_field. (extract_bit_field): Remove packedp parameter and corresponding arg to extract_bit_field_1. (extract_fixed_bit_field): Remove packedp parameter. Remove code to issue warnings. (extract_split_bit_field): Remove packedp arg from call to extract_fixed_bit_field. * expr.c (emit_group_load_1): Adjust calls to extract_bit_field. (copy_blkmode_from_reg): Likewise. (copy_blkmode_to_reg): Likewise. (read_complex_part): Likewise. (store_field): Likewise. (expand_expr_real_1): Likewise. * calls.c (store_unaligned_arguments_into_pseudos): Adjust call to extract_bit_field. * config/tilegx/tilegx.c (tilegx_expand_unaligned_load): Adjust call to extract_bit_field. * config/tilepro/tilepro.c (tilepro_expand_unaligned_load): Adjust call to extract_bit_field. * doc/invoke.texi (Code Gen Options): Remove mention of warnings and special packedp behavior from -fstrict-volatile-bitfields documentation. 2013-12-11 Bernd Edlinger <bernd.edlinger@hotmail.de> * expr.c (expand_assignment): Remove dependency on flag_strict_volatile_bitfields. Always set the memory access mode. (expand_expr_real_1): Likewise. 2013-12-11 Sandra Loosemore <sandra@codesourcery.com> PR middle-end/23623 PR middle-end/48784 PR middle-end/56341 PR middle-end/56997 gcc/ * expmed.c (strict_volatile_bitfield_p): New function. (store_bit_field_1): Don't special-case strict volatile bitfields here. (store_bit_field): Handle strict volatile bitfields here instead. (store_fixed_bit_field): Don't special-case strict volatile bitfields here. (extract_bit_field_1): Don't special-case strict volatile bitfields here. (extract_bit_field): Handle strict volatile bitfields here instead. (extract_fixed_bit_field): Don't special-case strict volatile bitfields here. Simplify surrounding code to resemble that in store_fixed_bit_field. * doc/invoke.texi (Code Gen Options): Update -fstrict-volatile-bitfields description. gcc/testsuite/ * gcc.dg/pr23623.c: New test. * gcc.dg/pr48784-1.c: New test. * gcc.dg/pr48784-2.c: New test. * gcc.dg/pr56341-1.c: New test. * gcc.dg/pr56341-2.c: New test. * gcc.dg/pr56997-1.c: New test. * gcc.dg/pr56997-2.c: New test. * gcc.dg/pr56997-3.c: New test. 2013-12-11 Bernd Edlinger <bernd.edlinger@hotmail.de> Sandra Loosemore <sandra@codesourcery.com> PR middle-end/23623 PR middle-end/48784 PR middle-end/56341 PR middle-end/56997 * expmed.c (strict_volatile_bitfield_p): Add bitregion_start and bitregion_end parameters. Test for compliance with C++ memory model. (store_bit_field): Adjust call to strict_volatile_bitfield_p. Add fallback logic for cases where -fstrict-volatile-bitfields is supposed to apply, but cannot. (extract_bit_field): Likewise. Use narrow_bit_field_mem and extract_fixed_bit_field_1 to do the extraction. (extract_fixed_bit_field): Revert to previous mode selection algorithm. Call extract_fixed_bit_field_1 to do the real work. (extract_fixed_bit_field_1): New function. testsuite: * gcc.dg/pr23623.c: Update to test interaction with C++ memory model. 2013-12-11 Bernd Edlinger <bernd.edlinger@hotmail.de> PR middle-end/59134 * expmed.c (store_bit_field): Use narrow_bit_field_mem and store_fixed_bit_field_1 for -fstrict-volatile-bitfields. (store_fixed_bit_field): Split up. Call store_fixed_bit_field_1 to do the real work. (store_fixed_bit_field_1): New function. (store_split_bit_field): Limit the unit size to the memory mode size, to prevent recursion. testsuite: * gcc.c-torture/compile/pr59134.c: New test. * gnat.dg/misaligned_volatile.adb: New test. Added: branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.c-torture/compile/pr59134.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr23623.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr48784-1.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr48784-2.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr56341-1.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr56341-2.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr56997-1.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr56997-2.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gcc.dg/pr56997-3.c branches/ARM/embedded-4_8-branch/gcc/testsuite/gnat.dg/misaligned_volatile.adb Modified: branches/ARM/embedded-4_8-branch/gcc/ChangeLog.arm branches/ARM/embedded-4_8-branch/gcc/calls.c branches/ARM/embedded-4_8-branch/gcc/config/tilegx/tilegx.c branches/ARM/embedded-4_8-branch/gcc/config/tilepro/tilepro.c branches/ARM/embedded-4_8-branch/gcc/doc/invoke.texi branches/ARM/embedded-4_8-branch/gcc/expmed.c branches/ARM/embedded-4_8-branch/gcc/expr.c branches/ARM/embedded-4_8-branch/gcc/expr.h branches/ARM/embedded-4_8-branch/gcc/testsuite/ChangeLog.arm
prev parent reply other threads:[~2014-02-27 7:28 UTC|newest] Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top 2013-02-15 13:09 [Bug c/56341] New: " bernd.edlinger at hotmail dot de 2013-02-15 13:13 ` [Bug c/56341] " bernd.edlinger at hotmail dot de 2013-02-15 14:19 ` mikpe at it dot uu.se 2013-02-15 14:47 ` bernd.edlinger at hotmail dot de 2013-02-15 15:26 ` [Bug middle-end/56341] " pinskia at gcc dot gnu.org 2013-02-18 11:21 ` rguenth at gcc dot gnu.org 2013-02-18 15:31 ` sandra at codesourcery dot com 2013-02-18 18:42 ` bernd.edlinger at hotmail dot de 2013-02-20 1:38 ` bernd.edlinger at hotmail dot de 2013-02-26 18:25 ` bernd.edlinger at hotmail dot de 2013-03-27 10:37 ` bernd.edlinger at hotmail dot de 2013-06-03 4:11 ` sandra at codesourcery dot com 2013-06-03 13:01 ` bernd.edlinger at hotmail dot de 2013-06-14 3:01 ` sandra at codesourcery dot com 2013-10-07 15:41 ` sandra at codesourcery dot com 2013-10-30 17:08 ` ramana at gcc dot gnu.org 2013-12-11 16:50 ` edlinger at gcc dot gnu.org 2013-12-11 16:59 ` edlinger at gcc dot gnu.org 2014-01-07 13:43 ` bernd.edlinger at hotmail dot de 2014-02-27 7:28 ` jye2 at gcc dot gnu.org [this message]
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-56341-4-54Fzg6pAuV@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).