From patchwork Tue Aug 12 15:35:34 2014 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Mark Wielaard X-Patchwork-Id: 379397 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 982A91400A0 for ; Wed, 13 Aug 2014 01:36:04 +1000 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id; q=dns; s=default; b=k08dVZrYU/mq X3ohHQZkTYYLZOy1EoA8BqX4xEGCiQ7SGg/0CEtMhRzAUTLn0h85gL84+/lSXi/8 P4/sDMUdcqbP+xEV+om6eFFPJj8ArGrEP4aGmEL+LrHz/n+LCLNjZ1b61AVQRjri jIE5DhL0f68N9L00xhFx8gt43QBgTwE= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id; s=default; bh=G0x+iZLqGlanv/a13a sOPiZwmQI=; b=S1bfE4WEXb4CLK2oFNOUR+T/uTOQ79hpEHUFP+1CDk5NyGOGPj C79RniPZTRcyJ+uAL4q1CU1f3BY2im7nD46IvibfOmLEEEPMFfBbyaLClk5o9NWA L/78pQZAqtoSZd0lYMsgWPvWLGRUPNvsV3yDb5lo/8yyc2WhAIwg1OnAY= Received: (qmail 30423 invoked by alias); 12 Aug 2014 15:35:57 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 30398 invoked by uid 89); 12 Aug 2014 15:35:53 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL, BAYES_00, SPF_PASS autolearn=ham version=3.3.2 X-HELO: gnu.wildebeest.org Received: from wildebeest.demon.nl (HELO gnu.wildebeest.org) (212.238.236.112) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Tue, 12 Aug 2014 15:35:49 +0000 From: Mark Wielaard To: gcc-patches@gcc.gnu.org Cc: Jason Merrill , Cary Coutant , "Joseph S. Myers" , Mark Wielaard Subject: [PATCH 1/2] DWARFv5 Emit DW_TAG_atomic_type. Date: Tue, 12 Aug 2014 17:35:34 +0200 Message-Id: <1407857735-18515-1-git-send-email-mjw@redhat.com> X-Spam-Score: -2.9 (--) Ping. This patch is based on the proposed patches to support the restrict type. But isn't meant to be integrated at this time. DWARFv5 is still only a collection of proposals and hasn't seen any draft yet. But feedback is highly appreciated. Also if there are tips on how (and where) to maintain an experimental patch set for a future standard that would be welcome. There is a corresponding patch for GDB: https://sourceware.org/ml/gdb-patches/2014-06/msg00795.html gcc/ChangeLog PR debug/60782 * dwarf2out.c (modified_type_die): Handle TYPE_QUAL_ATOMIC. * opts.c (common_handle_option): Accept -gdwarf-5. gcc/testsuite/ChangeLog PR debug/60782 * gcc.dg/guality/atomic.c: New test. include/ChangeLog PR debug/60782 * dwarf2.def: Add DWARFv5 DW_TAG_atomic_type. --- gcc/ChangeLog | 6 ++++++ gcc/dwarf2out.c | 22 +++++++++++++++++++--- gcc/opts.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/guality/atomic.c | 13 +++++++++++++ include/ChangeLog | 5 +++++ include/dwarf2.def | 2 ++ 7 files changed, 51 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/guality/atomic.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 428a1e1..1adf6a6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-07-09 Mark Wielaard + + PR debug/60782 + * dwarf2out.c (modified_type_die): Handle TYPE_QUAL_ATOMIC. + * opts.c (common_handle_option): Accept -gdwarf-5. + 2014-07-08 Mark Wielaard PR debug/59051 diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 51e379e..7792604 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -10478,7 +10478,8 @@ modified_type_die (tree type, int cv_quals, dw_die_ref context_die) return NULL; /* Only these cv-qualifiers are currently handled. */ - cv_quals &= (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT); + cv_quals &= (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT + | TYPE_QUAL_ATOMIC); /* Don't emit DW_TAG_restrict_type for DWARFv2, since it is a type tag modifier (and not an attribute) old consumers won't be able @@ -10486,6 +10487,10 @@ modified_type_die (tree type, int cv_quals, dw_die_ref context_die) if (dwarf_version < 3) cv_quals &= ~TYPE_QUAL_RESTRICT; + /* Likewise for DW_TAG_atomic_type for DWARFv5. */ + if (dwarf_version < 5) + cv_quals &= ~TYPE_QUAL_ATOMIC; + /* See if we already have the appropriately qualified variant of this type. */ qualified_type = get_qualified_type (type, cv_quals); @@ -10529,7 +10534,8 @@ modified_type_die (tree type, int cv_quals, dw_die_ref context_die) else { int dquals = TYPE_QUALS_NO_ADDR_SPACE (dtype); - dquals &= (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT); + dquals &= (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT + | TYPE_QUAL_ATOMIC); if ((dquals & ~cv_quals) != TYPE_UNQUALIFIED || (cv_quals == dquals && DECL_ORIGINAL_TYPE (name) != type)) /* cv-unqualified version of named type. Just use @@ -10564,12 +10570,22 @@ modified_type_die (tree type, int cv_quals, dw_die_ref context_die) sub_die = modified_type_die (type, cv_quals & ~TYPE_QUAL_VOLATILE, context_die); } - else if (cv_quals & TYPE_QUAL_RESTRICT) + else if ((cv_quals & TYPE_QUAL_RESTRICT) + && (((cv_quals & ~TYPE_QUAL_RESTRICT) == TYPE_UNQUALIFIED) + || get_qualified_type (type, cv_quals) == NULL_TREE + || (get_qualified_type (type, cv_quals & ~TYPE_QUAL_RESTRICT) + != NULL_TREE))) { mod_type_die = new_die (DW_TAG_restrict_type, mod_scope, type); sub_die = modified_type_die (type, cv_quals & ~TYPE_QUAL_RESTRICT, context_die); } + else if (cv_quals & TYPE_QUAL_ATOMIC) + { + mod_type_die = new_die (DW_TAG_atomic_type, mod_scope, type); + sub_die = modified_type_die (type, cv_quals & ~TYPE_QUAL_ATOMIC, + context_die); + } else if (code == POINTER_TYPE) { mod_type_die = new_die (DW_TAG_pointer_type, mod_scope, type); diff --git a/gcc/opts.c b/gcc/opts.c index be1867c..f3f2817 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1884,7 +1884,7 @@ common_handle_option (struct gcc_options *opts, /* FALLTHRU */ case OPT_gdwarf_: - if (value < 2 || value > 4) + if (value < 2 || value > 5) error_at (loc, "dwarf version %d is not supported", value); else opts->x_dwarf_version = value; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3f9e53f..4c8ce92 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-07-09 Mark Wielaard + + PR debug/60782 + * gcc.dg/guality/atomic.c: New test. + 2014-07-08 Mark Wielaard PR debug/59051 diff --git a/gcc/testsuite/gcc.dg/guality/atomic.c b/gcc/testsuite/gcc.dg/guality/atomic.c new file mode 100644 index 0000000..c76cfa4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/guality/atomic.c @@ -0,0 +1,13 @@ +/* debuginfo tests for the _Atomic type qualifier. */ +/* { dg-do run } */ +/* { dg-options "-std=c11 -gdwarf-5" } */ + +volatile _Atomic int * const _Atomic hwaddr = (void *) 0x1234; + +int +main (int argc, char **argv) +{ + return hwaddr == (void *) argv[0]; +} + +/* { dg-final { gdb-test 10 "type:hwaddr" "volatile _Atomic int * const _Atomic" } } */ diff --git a/include/ChangeLog b/include/ChangeLog index 1cda0dc..2609e70 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2014-07-09 Mark Wielaard + + PR debug/60782 + * dwarf2.def: Add DWARFv5 DW_TAG_atomic_type. + 2014-06-10 Thomas Schwinge PR lto/61334 diff --git a/include/dwarf2.def b/include/dwarf2.def index 71a37b3..6490391 100644 --- a/include/dwarf2.def +++ b/include/dwarf2.def @@ -133,6 +133,8 @@ DW_TAG (DW_TAG_shared_type, 0x40) DW_TAG (DW_TAG_type_unit, 0x41) DW_TAG (DW_TAG_rvalue_reference_type, 0x42) DW_TAG (DW_TAG_template_alias, 0x43) +/* DWARF 5. */ +DW_TAG (DW_TAG_atomic_type, 0x47) /* NOT AN OFFICIAL NUMBER. DWARF5 131112.1 */ DW_TAG_DUP (DW_TAG_lo_user, 0x4080) DW_TAG_DUP (DW_TAG_hi_user, 0xffff)