From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from NAM10-MW2-obe.outbound.protection.outlook.com (mail-mw2nam10on2068.outbound.protection.outlook.com [40.107.94.68]) by sourceware.org (Postfix) with ESMTPS id 5A2893858433 for ; Thu, 14 Oct 2021 09:33:15 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5A2893858433 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dUld/q05fs5nSN+Nbs2b52C4jtiQqVdNUP5t/rG7OhfUmGQ9d1X1PvF9cMwZvQ7qqPo/PNG5bT4v374A+ZMN3ySm07mL0SVGyQeNzb7wzDdev93xO2sxVlD50vdVbxYx/4ke1Ipstiga1wbl08Kb4m7qVWUjEwZzUs3Qv/cycdNp48yoWYEvJZ6Afe3T8qew5vean9G8JxaKaV88q/nG7QCIui0Yphriq6sqCkzHZcW+0QpJVwfanq29I92pS98+w8vlvudJpBgdTi2QAsI31dUxLDheAMW9MKkmkMYSzUwLhFSeVvWg+0EVXUDpLypUrEQE3uEY6W3MnHA5ngX1sw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=8QM2/L7UdAscCcOulfYrfHT0PqbqUM0UVH+8tYq93SI=; b=RhOukc8l0i0Vyo2S7i0CveSprX2TJ3ik2/6hZIqyu8sJGNm2FWdGgQ+FZO6Y87Y47c6IayXGApmJRtPUVVvHplpo1dZTxCmTujVVA366W79GimlDAB6OPc1dRM0luPp/o0uIlirS+6FL3QjX0tJWUtyONZ6bXr64vM8NtJ383ET0sKj1I58n3xcEHFbB1MUJVQX9+2BtytTXTlsVytMkb3uhIJUwWx0vBguCFPESEMioMO40BIEAYpuWa6PIxJiTtPBeHD0MiaOYmDAFVgl03HkotqCs+lTN6m6nN6egHEakUmHopqLJOmpHQWDZ3OdRfISn4/yD8267ZN1hEiWujA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 165.204.84.17) smtp.rcpttodomain=sourceware.org smtp.mailfrom=amd.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=amd.com; dkim=none (message not signed); arc=none Received: from DM5PR13CA0026.namprd13.prod.outlook.com (2603:10b6:3:7b::12) by DM4PR12MB5119.namprd12.prod.outlook.com (2603:10b6:5:392::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4608.16; Thu, 14 Oct 2021 09:33:12 +0000 Received: from DM6NAM11FT047.eop-nam11.prod.protection.outlook.com (2603:10b6:3:7b:cafe::7) by DM5PR13CA0026.outlook.office365.com (2603:10b6:3:7b::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4628.10 via Frontend Transport; Thu, 14 Oct 2021 09:33:12 +0000 X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 165.204.84.17) smtp.mailfrom=amd.com; sourceware.org; dkim=none (message not signed) header.d=none;sourceware.org; dmarc=pass action=none header.from=amd.com; Received-SPF: Pass (protection.outlook.com: domain of amd.com designates 165.204.84.17 as permitted sender) receiver=protection.outlook.com; client-ip=165.204.84.17; helo=SATLEXMB04.amd.com; Received: from SATLEXMB04.amd.com (165.204.84.17) by DM6NAM11FT047.mail.protection.outlook.com (10.13.172.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.20.4608.15 via Frontend Transport; Thu, 14 Oct 2021 09:33:12 +0000 Received: from localhost.localdomain (10.180.168.240) by SATLEXMB04.amd.com (10.181.40.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2308.8; Thu, 14 Oct 2021 04:33:09 -0500 From: Zoran Zaric To: Subject: [PATCH v3 14/28] Add new computed struct value callback interface Date: Thu, 14 Oct 2021 10:32:21 +0100 Message-ID: <20211014093235.69756-15-zoran.zaric@amd.com> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20211014093235.69756-1-zoran.zaric@amd.com> References: <20211014093235.69756-1-zoran.zaric@amd.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain X-Originating-IP: [10.180.168.240] X-ClientProxiedBy: SATLEXMB03.amd.com (10.181.40.144) To SATLEXMB04.amd.com (10.181.40.145) X-EOPAttributedMessage: 0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 1efbc74e-6e37-43d3-2ea8-08d98ef5a43b X-MS-TrafficTypeDiagnostic: DM4PR12MB5119: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:9508; X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 9trTcktSPCLxPFJY9p8yNChSBYBS6518t4Jysu1XZvApReoagMk8J6YBjgLMv+ds/JXQ2XgbEAYdIxxz9WQO4DuHsx34JcHTXtihbmlVfrpC0uq6J/r160JWTA2w/YJP4a6Zuq66apeoskIaoYQd/XaRt2v6aAtJOgZjlww2/8aQ30DO0w5VSNMRokNoupQ4oWSyk2eFRQOGOCviyAqh0MwQkSCpgmbUXXsE/y1AaKx3i2kRCpfW9w1uvfRIBim25wYdxhvRM9Ek2Opjg8c6LGGoB+WiwlGK8WP2Bqr+FV67Xp+nyL2hQFPCg0B+HTPlPVb15AKyyDcKKqPI1yhkfSA+VzdcfB3sb35wCd8Mq+FrQDi8J7iuC1kn+jLhetiX4JprLI3ChJpQGYMruW2nsEt5uqSVeVppPn58B/fnGXjT3J8+1WHWw6g3apeK3U8t8M9+H/PwDspLQtN5CIKZx5x5jBBtCs3Reyeoj6cZuxVpga43n+bslIbk9smcdEa9elxaRzSxzRFEM4eae3mYKyT72E6Ir1kBkxS8N/q5ShnCQalLQOE8UiUElbSCDmHnPnNnffwUIC1c30pBq4o6TtbF+isyssRZFYrSBXeW8qgwmI1wsfeH5fYuT96RQjGpznFfJtdDmbmXSYrj9IQClG/I4N1iF/t6pLj8SVJjgKFGWOk6cIzqRCJjyXMzFyTcYNr6+j381SCVuUkGhoPmqxEXA3m5NZebnaoeGOmgQ5s= X-Forefront-Antispam-Report: CIP:165.204.84.17; CTRY:US; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:SATLEXMB04.amd.com; PTR:InfoDomainNonexistent; CAT:NONE; SFS:(4636009)(36840700001)(46966006)(47076005)(82310400003)(1076003)(508600001)(6666004)(30864003)(36756003)(8676002)(83380400001)(86362001)(2906002)(4326008)(2616005)(6916009)(44832011)(426003)(70206006)(70586007)(336012)(36860700001)(5660300002)(316002)(16526019)(186003)(26005)(81166007)(8936002)(356005)(36900700001); DIR:OUT; SFP:1101; X-OriginatorOrg: amd.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Oct 2021 09:33:12.2301 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: 1efbc74e-6e37-43d3-2ea8-08d98ef5a43b X-MS-Exchange-CrossTenant-Id: 3dd8961f-e488-4e60-8e11-a82d994e183d X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=3dd8961f-e488-4e60-8e11-a82d994e183d; Ip=[165.204.84.17]; Helo=[SATLEXMB04.amd.com] X-MS-Exchange-CrossTenant-AuthSource: DM6NAM11FT047.eop-nam11.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR12MB5119 X-Spam-Status: No, score=-11.9 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 14 Oct 2021 09:33:17 -0000 From: Zoran Zaric At this point all support is there to add a new callback interface for the computed struct value infrastructure. Original callback interface (piece closure) is going to be removed as soon as the switch to the new DWARF entry classes is done in the next few patches. gdb/ChangeLog: * dwarf2/expr.c (class computed_closure): New class. (closure_value_funcs): New closure callback structure. (copy_value_closure): New function. (free_value_closure): New function. (rw_closure_value): New function. (check_synthetic_pointer): New function. (write_closure_value): New function. (read_closure_value): New function. (is_optimized_out_closure_value): New function. (indirect_closure_value): New function. (coerce_closure_ref): New function. --- gdb/dwarf2/expr.c | 307 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 307 insertions(+) diff --git a/gdb/dwarf2/expr.c b/gdb/dwarf2/expr.c index 1b6622d5f59..e33be7e7c1c 100644 --- a/gdb/dwarf2/expr.c +++ b/gdb/dwarf2/expr.c @@ -323,6 +323,92 @@ class dwarf_location; class dwarf_memory; class dwarf_value; +/* Closure callback functions. */ + +static void * +copy_value_closure (const value *v); + +static void +free_value_closure (value *v); + +static void +rw_closure_value (value *v, value *from); + +static int +check_synthetic_pointer (const value *value, LONGEST bit_offset, + int bit_length); + +static void +write_closure_value (value *to, value *from); + +static void +read_closure_value (value *v); + +static bool +is_optimized_out_closure_value (value *v); + +static value * +indirect_closure_value (value *value); + +static value * +coerce_closure_ref (const value *value); + +/* Functions for accessing a variable described by DW_OP_piece, + DW_OP_bit_piece or DW_OP_implicit_pointer. */ + +static const lval_funcs closure_value_funcs = { + read_closure_value, + write_closure_value, + is_optimized_out_closure_value, + indirect_closure_value, + coerce_closure_ref, + check_synthetic_pointer, + copy_value_closure, + free_value_closure +}; + +/* Closure class that encapsulates a DWARF location description and a + frame information used when that location description was created. + Used for lval_computed value abstraction. */ + +class computed_closure : public refcounted_object +{ +public: + computed_closure (std::unique_ptr location, + struct frame_id frame_id) + : m_location (std::move (location)), m_frame_id (frame_id) + {} + + computed_closure (std::unique_ptr location, + struct frame_info *frame) + : m_location (std::move (location)), m_frame (frame) + {} + + const dwarf_location &get_location () const; + + frame_id get_frame_id () const + { + return m_frame_id; + } + + frame_info *get_frame () const + { + return m_frame; + } + +private: + /* Entry that this class encloses. */ + const std::unique_ptr m_location; + + /* Frame ID context of the closure. */ + frame_id m_frame_id; + + /* In the case of frame expression evaluator the frame_id + is not safe to use because the frame itself is being built. + Only in these cases we set and use frame info directly. */ + frame_info *m_frame = NULL; +}; + /* Base class that describes entries found on a DWARF expression evaluation stack. */ @@ -524,6 +610,11 @@ class dwarf_location : public dwarf_entry using dwarf_location_up = std::unique_ptr; +const dwarf_location &computed_closure::get_location () const +{ + return *m_location; +} + void dwarf_location::read_from_gdb_value (frame_info *frame, struct value *value, int value_bit_offset, @@ -1594,6 +1685,222 @@ dwarf_composite::is_optimized_out (frame_info *frame, bool big_endian, return false; } +static void * +copy_value_closure (const value *v) +{ + computed_closure *closure = ((computed_closure*) value_computed_closure (v)); + + if (closure == nullptr) + internal_error (__FILE__, __LINE__, _("invalid closure type")); + + closure->incref (); + return closure; +} + +static void +free_value_closure (value *v) +{ + computed_closure *closure = ((computed_closure*) value_computed_closure (v)); + + if (closure == nullptr) + internal_error (__FILE__, __LINE__, _("invalid closure type")); + + closure->decref (); + + if (closure->refcount () == 0) + delete closure; +} + +/* Read or write a closure value V. If FROM != NULL, operate in "write + mode": copy FROM into the closure comprising V. If FROM == NULL, + operate in "read mode": fetch the contents of the (lazy) value V by + composing it from its closure. */ + +static void +rw_closure_value (value *v, value *from) +{ + LONGEST bit_offset = 0, max_bit_size; + computed_closure *closure = (computed_closure*) value_computed_closure (v); + bool big_endian = type_byte_order (value_type (v)) == BFD_ENDIAN_BIG; + const dwarf_location &location = closure->get_location (); + + if (from == NULL) + { + if (value_type (v) != value_enclosing_type (v)) + internal_error (__FILE__, __LINE__, + _("Should not be able to create a lazy value with " + "an enclosing type")); + } + + ULONGEST bits_to_skip = HOST_CHAR_BIT * value_offset (v); + + /* If there are bits that don't complete a byte, count them in. */ + if (value_bitsize (v)) + { + bits_to_skip += HOST_CHAR_BIT * value_offset (value_parent (v)) + + value_bitpos (v); + if (from != NULL && big_endian) + { + /* Use the least significant bits of FROM. */ + max_bit_size = HOST_CHAR_BIT * TYPE_LENGTH (value_type (from)); + bit_offset = max_bit_size - value_bitsize (v); + } + else + max_bit_size = value_bitsize (v); + } + else + max_bit_size = HOST_CHAR_BIT * TYPE_LENGTH (value_type (v)); + + frame_info *frame = closure->get_frame (); + + if (frame == NULL) + frame = frame_find_by_id (closure->get_frame_id ()); + + if (from == NULL) + { + location.write_to_gdb_value (frame, v, bit_offset, bits_to_skip, + max_bit_size - bit_offset, 0); + } + else + { + location.read_from_gdb_value (frame, from, bit_offset, bits_to_skip, + max_bit_size - bit_offset, 0); + } +} + +static void +read_closure_value (value *v) +{ + rw_closure_value (v, NULL); +} + +static void +write_closure_value (value *to, value *from) +{ + rw_closure_value (to, from); +} + +/* Check if a closure value V contains describes any piece + of the underlying location description as optimized out. */ + +static bool +is_optimized_out_closure_value (value *v) +{ + LONGEST max_bit_size; + computed_closure *closure = (computed_closure*) value_computed_closure (v); + bool big_endian = type_byte_order (value_type (v)) == BFD_ENDIAN_BIG; + const dwarf_location &location = closure->get_location (); + + if (value_type (v) != value_enclosing_type (v)) + internal_error (__FILE__, __LINE__, + _("Should not be able to create a lazy value with " + "an enclosing type")); + + ULONGEST bits_to_skip = HOST_CHAR_BIT * value_offset (v); + + /* If there are bits that don't complete a byte, count them in. */ + if (value_bitsize (v)) + { + bits_to_skip += HOST_CHAR_BIT * value_offset (value_parent (v)) + + value_bitpos (v); + max_bit_size = value_bitsize (v); + } + else + max_bit_size = HOST_CHAR_BIT * TYPE_LENGTH (value_type (v)); + + frame_info *frame = closure->get_frame (); + + if (frame == NULL) + frame = frame_find_by_id (closure->get_frame_id ()); + + return location.is_optimized_out (frame, big_endian, bits_to_skip, + max_bit_size, 0); +} + +/* An implementation of an lval_funcs method to see whether a value is + a synthetic pointer. */ + +static int +check_synthetic_pointer (const value *value, LONGEST bit_offset, + int bit_length) +{ + LONGEST total_bit_offset = bit_offset + HOST_CHAR_BIT * value_offset (value); + + if (value_bitsize (value)) + total_bit_offset += value_bitpos (value); + + computed_closure *closure + = (computed_closure *) value_computed_closure (value); + + return closure->get_location ().is_implicit_ptr_at (total_bit_offset, + bit_length); +} + +/* An implementation of an lval_funcs method to indirect through a + pointer. This handles the synthetic pointer case when needed. */ + +static value * +indirect_closure_value (value *value) +{ + computed_closure *closure + = (computed_closure *) value_computed_closure (value); + + struct type *type = check_typedef (value_type (value)); + if (type->code () != TYPE_CODE_PTR) + return NULL; + + LONGEST bit_length = HOST_CHAR_BIT * TYPE_LENGTH (type); + LONGEST bit_offset = HOST_CHAR_BIT * value_offset (value); + + if (value_bitsize (value)) + bit_offset += value_bitpos (value); + + frame_info *frame = get_selected_frame (_("No frame selected.")); + + /* This is an offset requested by GDB, such as value subscripts. + However, due to how synthetic pointers are implemented, this is + always presented to us as a pointer type. This means we have to + sign-extend it manually as appropriate. Use raw + extract_signed_integer directly rather than value_as_address and + sign extend afterwards on architectures that would need it + (mostly everywhere except MIPS, which has signed addresses) as + the later would go through gdbarch_pointer_to_address and thus + return a CORE_ADDR with high bits set on architectures that + encode address spaces and other things in CORE_ADDR. */ + bfd_endian byte_order = gdbarch_byte_order (get_frame_arch (frame)); + LONGEST pointer_offset + = extract_signed_integer (value_contents (value), + TYPE_LENGTH (type), byte_order); + + return closure->get_location ().indirect_implicit_ptr (frame, type, + pointer_offset, + bit_offset, bit_length); +} + +/* Implementation of the coerce_ref method of lval_funcs for synthetic C++ + references. */ + +static value * +coerce_closure_ref (const value *value) +{ + struct type *type = check_typedef (value_type (value)); + + if (value_bits_synthetic_pointer (value, value_embedded_offset (value), + TARGET_CHAR_BIT * TYPE_LENGTH (type))) + { + computed_closure *closure + = (computed_closure *) value_computed_closure (value); + frame_info *frame = get_selected_frame (_("No frame selected.")); + + return closure->get_location ().indirect_implicit_ptr (frame, type); + } + else + { + /* Else: not a synthetic reference; do nothing. */ + return NULL; + } +} + struct piece_closure { /* Reference count. */ -- 2.17.1