From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id VaelDoWQp19mQwAAWB0awg (envelope-from ) for ; Sun, 08 Nov 2020 01:30:29 -0500 Received: by simark.ca (Postfix, from userid 112) id 2F3561F08B; Sun, 8 Nov 2020 01:30:29 -0500 (EST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on simark.ca X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=MAILING_LIST_MULTI,RDNS_NONE, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.2 Received: from sourceware.org (unknown [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id C55A41E58D for ; Sun, 8 Nov 2020 01:30:28 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0B4433854809; Sun, 8 Nov 2020 06:30:28 +0000 (GMT) Received: from rock.gnat.com (rock.gnat.com [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1]) by sourceware.org (Postfix) with ESMTP id 10C543854809 for ; Sun, 8 Nov 2020 06:30:26 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 10C543854809 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=brobecke@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 2C4461164D6 for ; Sun, 8 Nov 2020 01:30:25 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Vr8i8YCa6py0 for ; Sun, 8 Nov 2020 01:30:25 -0500 (EST) Received: from tron.gnat.com (tron.gnat.com [205.232.38.10]) by rock.gnat.com (Postfix) with ESMTP id 1B2701164A5 for ; Sun, 8 Nov 2020 01:30:25 -0500 (EST) Received: by tron.gnat.com (Postfix, from userid 4233) id 17694103; Sun, 8 Nov 2020 01:30:25 -0500 (EST) From: Joel Brobecker To: gdb-patches@sourceware.org Subject: RFA: Add support for DWARF-based fixed point types Date: Sun, 8 Nov 2020 01:30:08 -0500 Message-Id: <1604817017-25807-1-git-send-email-brobecker@adacore.com> X-Mailer: git-send-email 2.1.4 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: , Errors-To: gdb-patches-bounces@sourceware.org Sender: "Gdb-patches" Hello, This patch series adds support for fixed point types described using a pure DWARF approach. While the main trigger was the desire to deprecate the GNAT encodings used in the case of Ada fixed point types, the implementation is done in a way that support is generic. Other languages which have support for such kinds of types should have little work to do to support them as well. The implementation is based on top of GMP: We use GMP to store and operate on rational values, with the added bonus that there is no size limit on either the numerator nor denominator. As discussed previously, the dependency on GMP is made mandatory (https://sourceware.org/pipermail/gdb-patches/2018-March/147373.html). One part that this patch series does not include is function calls and returns. Since those changes are all arch-specific, I will submit them in a separate series of its own, to avoid those other patches getting lost in this patch series. Each patch of this series has been tested on x86_64-linux using our testsuite. In addition, these changes have been tested using AdaCore's testing, on numerous architectures and OSes. Looking forward to everyone's feedback! Thank you, -- Joel