From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sm.strop.com.pl (sm.strop.com.pl [83.17.179.219]) by sourceware.org (Postfix) with ESMTPS id 111DD3858CD1 for ; Wed, 5 Jul 2023 08:05:46 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 111DD3858CD1 Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=ztk-rp.eu Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=ztk-rp.eu Received: from zorro.ztk-rp.eu ([::ffff:10.208.4.171]) (TLS: TLS1.2,256bits,ECDHE_RSA_AES_256_GCM_SHA384) by sm.strop.com.pl with ESMTPS; Wed, 05 Jul 2023 10:05:24 +0200 id 0000000008F81ACD.0000000064A52444.00007585 Received: from public-gprs569267.centertel.pl ([37.225.86.244]:10444 helo=[192.168.43.32]) by zorro.ztk-rp.eu with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1qGxVq-00EcZz-Vh; Wed, 05 Jul 2023 10:05:23 +0200 Message-ID: <1eeef918-80d0-12a3-e7e9-5a75b25fb769@ztk-rp.eu> Date: Wed, 5 Jul 2023 10:05:18 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Content-Language: en-US To: Martin Uecker , David Brown , Ian Lance Taylor Cc: "Richard Earnshaw (lists)" , "gcc@gcc.gnu.org" References: <439affd4-11fe-de80-94c8-6fc64cbf76ec@ztk-rp.eu> <112e711791835d56cca38654f83a009cb46707d4.camel@gwdg.de> <940e9ae5-8649-5a28-e29f-06f0b2982892@ztk-rp.eu> <6c881d3fc76d112d52ec668d05b68394ae792f30.camel@gwdg.de> From: =?UTF-8?Q?Rafa=c5=82_Pietrak?= In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-SA-Exim-Connect-IP: 37.225.86.244 X-SA-Exim-Mail-From: embedded@ztk-rp.eu X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,NICE_REPLY_A,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE,T_SPF_HELO_PERMERROR autolearn=ham autolearn_force=no version=3.4.6 Subject: Re: wishlist: support for shorter pointers X-SA-Exim-Version: 4.2.1 (built Sat, 13 Feb 2021 17:57:42 +0000) X-SA-Exim-Scanned: Yes (on zorro.ztk-rp.eu) Received-SPF: unknown (IP address lookup failed.) SPF=FROM; sender=embedded@ztk-rp.eu; remoteip=::ffff:10.208.4.171; remotehost=; helo=zorro.ztk-rp.eu; receiver=sm.strop.com.pl; List-Id: Hi, W dniu 5.07.2023 o 09:29, Martin Uecker pisze: > Am Mittwoch, dem 05.07.2023 um 07:26 +0200 schrieb Rafał Pietrak: [-------] >> And if it's so ... there is no mention of how does it show up for >> "simple user" of the GCC (instead of the use of that "machinery" by >> creators of particular GCC port). In other words: how the sources should >> look like for the compiler to do "the thing"? >> > > Not sure I understand the question. You would add a name space > to an object as a qualifier and then the object would be allocated > in a special (small) region of memory. Pointers known to point > into that special region of memory (which is encoded into the > type) would then be smaller. At least, this is my understanding > of how it could work. Apparently you do understand my question. Then again ... apparently you are guessing the answer. Incidentally, that would be my guess, too. And while such "syntax" is not really desirable (since such attribution at every declaration of every "short pointer" variable would significantly obfuscate the sources and a thing like "#pragma" at the top of a file would do a better job), better something then nothing. Then again, should you happen to fall onto an actual documentation of syntax to use this feature with, I'd appreciate you sharing it :) -R