From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oa1-x31.google.com (mail-oa1-x31.google.com [IPv6:2001:4860:4864:20::31]) by sourceware.org (Postfix) with ESMTPS id 882943858D28 for ; Thu, 22 Jun 2023 01:16:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 882943858D28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-oa1-x31.google.com with SMTP id 586e51a60fabf-1ad10ad65f1so1188476fac.1 for ; Wed, 21 Jun 2023 18:16:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1687396599; x=1689988599; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:errors-to:references:organization:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=EA4GITm+majYzep+4GbM+ArncYzDIuwi0a8PT4kQct0=; b=Xxg5wavFINAPbwNEWMt9PHIDIjq9o6tCKfRZL0h9uBflV1zhFPcKbsrOYzkbSltv0c tb4IsJskwC193TNzWxb0KtIjDOPhLKau6kh2VJ01qM/XxG/KidoHhhNWXFaz1X12Ijyk dIlJs4znjUzJg0DQ1VJ+qBcT3q8DgzDLmkprfrlSI6tuqfqloRpV+BAcc+CTNbPRd5mu uq5irXkyrHMxGzH47pVxEBzujPR9mAWAfVjDYxoWjIZ2ncRg/Hml1gdj8Um4OwAvCXAt ICKrp1EZxkBbKizkt6SMrQ82OuNGweVko704veBSo5KV8thTuSnaVXAjSIm0AI3+4H6K OhlA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687396599; x=1689988599; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:errors-to:references:organization:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=EA4GITm+majYzep+4GbM+ArncYzDIuwi0a8PT4kQct0=; b=epykNoy0CNaoaH8QMQ/Ap/Ru7yweZRx9s7AQUB9IC9vhPZONXwOpaxkQtEaI53nkgR G8a2jfKV/alLYwc1mdtkOPaoksTSaMZh8ua3rmD2Fn7VQSGBrteFxV7nfB8InuKWUkTc n+6EtsnqrDXKaeUlJp5dtKZfXNieQ5L5014vmSQSOtAvmhAjY83I41WuqtiYz1LRiIzd UBed1Enn2fNFnXGL5jVrH2D27PuToP0124oHY0vJdkze0a5b1P8/66W9df1f9IJNiYAn nqYsT4iCsg5WWQ7KV3XahUDQRL8FxXGj6ALHVF3WOf/q/4g43/8767NT+8jEuX6gogxa p9ew== X-Gm-Message-State: AC+VfDz7m1FSyc4KX3g7B4ROAYDGsbHBHLfj+fZ3E7/7Kqnpd8yQ0Aw1 TgNYiwiTsB/g9MqbpwA+A7rPFzztIJldtJVqMV8= X-Google-Smtp-Source: ACHHUZ6hepuhKzxbGkI9ham14vyZ0wCXZVVAaHN/vHWGWn5Rat9K+8EQxgAqh4v3XcH1hyo1yazpqQ== X-Received: by 2002:a05:6870:e896:b0:18d:4738:33fc with SMTP id q22-20020a056870e89600b0018d473833fcmr9596697oan.37.1687396598794; Wed, 21 Jun 2023 18:16:38 -0700 (PDT) Received: from free.home ([2804:7f1:2080:2a97:1921:3495:99b3:9c74]) by smtp.gmail.com with ESMTPSA id fz11-20020a056870ed8b00b001aa02b7bfabsm3568045oab.33.2023.06.21.18.16.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 21 Jun 2023 18:16:38 -0700 (PDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 35M1GQU4783601 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Wed, 21 Jun 2023 22:16:26 -0300 From: Alexandre Oliva To: Qing Zhao Cc: "gcc-patches@gcc.gnu.org" Subject: Re: [PATCH zero-call-used-regs] Add leafy mode for zero-call-used-regs Organization: Free thinker, does not speak for AdaCore References: <66ECAC37-E763-4469-B31A-7A2B031026F4@oracle.com> <0DA25420-AE6D-418B-B2F6-7A99BCC34345@oracle.com> <3CF608E7-C293-4627-8FE9-8B580D69D764@oracle.com> <80999785-4FFD-4C6E-B501-57E92F45053A@oracle.com> Errors-To: aoliva@lxoliva.fsfla.org Date: Wed, 21 Jun 2023 22:16:25 -0300 In-Reply-To: <80999785-4FFD-4C6E-B501-57E92F45053A@oracle.com> (Qing Zhao's message of "Fri, 16 Jun 2023 19:34:25 +0000") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hello, Qing, On Jun 16, 2023, Qing Zhao wrote: > As I mentioned in the previous round of review, I think that the document= ation > might need to add more details on what=E2=80=99s the LEAFY mode, > The purpose of it, and how to use it, provide more details to the end-use= rs. I'm afraid I'm having difficulty picturing what it is that you're looking for. The proposal incorporates, by reference, all the documentation for 'used' and for 'all', and the way to use it is no different. >> +Same as @samp{used} in a leaf function, and same as @samp{all} in a >> +nonleaf function. If there was documentation on how to choose between e.g. all and used, I suppose I could build on that to add this intermediate choice, but... I can't find any such docs, and I'm uncertain on whether adding that would be useful to begin with. Did you have something else in mind? --=20 Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about