From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailer.gwdg.de (mailer.gwdg.de [134.76.10.26]) by sourceware.org (Postfix) with ESMTPS id 606F03858C5E for ; Wed, 5 Jul 2023 10:48:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 606F03858C5E Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=gwdg.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gwdg.de Received: from excmbx-14.um.gwdg.de ([134.76.9.225] helo=email.gwdg.de) by mailer.gwdg.de with esmtp (GWDG Mailer) (envelope-from ) id 1qH045-0008HP-GN; Wed, 05 Jul 2023 12:48:53 +0200 Received: from EXCMBX-29.um.gwdg.de (134.76.9.204) by excmbx-14.um.gwdg.de (134.76.9.225) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2507.27; Wed, 5 Jul 2023 12:48:53 +0200 Received: from fbmtpc21.tugraz.at (10.250.9.199) by EXCMBX-29.um.gwdg.de (134.76.9.204) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.2507.27; Wed, 5 Jul 2023 12:48:52 +0200 Message-ID: Subject: Re: wishlist: support for shorter pointers From: Martin Uecker To: =?UTF-8?Q?Rafa=C5=82?= Pietrak , David Brown , Ian Lance Taylor CC: "Richard Earnshaw (lists)" , "gcc@gcc.gnu.org" Date: Wed, 5 Jul 2023 12:48:52 +0200 In-Reply-To: <2532f0bb-0a72-8136-42bf-8a7dce7ee904@ztk-rp.eu> 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> <1eeef918-80d0-12a3-e7e9-5a75b25fb769@ztk-rp.eu> <2532f0bb-0a72-8136-42bf-8a7dce7ee904@ztk-rp.eu> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.38.3-1+deb11u2 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Originating-IP: [10.250.9.199] X-ClientProxiedBy: EXCMBX-05.um.gwdg.de (134.76.9.209) To EXCMBX-29.um.gwdg.de (134.76.9.204) X-Virus-Scanned: (clean) by clamav X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,BODY_8BITS,KAM_DMARC_STATUS,KAM_SHORT,RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL,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: Am Mittwoch, dem 05.07.2023 um 12:17 +0200 schrieb Rafał Pietrak: > Hi > > W dniu 5.07.2023 o 11:29, Martin Uecker pisze: > > Am Mittwoch, dem 05.07.2023 um 10:05 +0200 schrieb Rafał Pietrak: > ... > > > > > Then again, should you happen to fall onto an > > > actual documentation of syntax to use this feature with, I'd > > > appreciate > > > you sharing it :) > > > > Sorry, I thought I shared this before: > > > > https://gcc.gnu.org/onlinedocs/gcc/Named-Address-Spaces.html > > Thenx ... I've only scanned it (so I may be wrong with the > following), > but the example for AVR target looks ... strange. First example > reads: > char my_read (const __flash char ** p) > { >      /* p is a pointer to RAM that points to a pointer to flash. >         The first indirection of p reads that flash pointer >         from RAM and the second indirection reads a char from this >         flash address.  */ > >      return **p; > } > > now, how come a programmer (or a compiler) can possibly know, that > it's not the other way around, meaning: first flash, then RAM) ...  It should work exactly like qualifiers: const __flash char **p; // pointer to pointer to char in flash const char * __flash *p;  // pointers to pointer in flash to pointer in char const char ** __flash p; // pointer in flash to pointer in RAM to pointer to char So the same rules as for 'const'. > I know, that this is probably pointless here, but if the "named > spaces" are to be fully generic, then "flash" does not necessarily > mean "read only". There may be other "types" of memory, like "Close > Coupled Memory", or some embedded device dedicated buffers.  Yes. This would be device-specific. Although one could consider more generic user-defined name spaces as well. This was discussed before for security boundaries, e.g. __kernel and __user. > So something like: > const __flash struct test_s { >         const __flash struct test_s *m,*n; >         int a,b,c; > }; > struct test_s *Z;       // struct is already know to be in __flash >         // no need to repeat that info. Still, the Z is naturally  in > default namespace - in RAM The name space would not automatically become part of the struct test_s type similar to how const would not become part of it. But one should be able to use a typedef: typedef const __flash struct test_s { } test_s; > struct test_s * my_read (struct test_s ** p) > { >      /* P being passed as argument in register is a pointer in RAM, > that > points to a structure in __flash ... because that's how struct test_s > is > originally declared  */ > >      return *p; > } > is more readable to me :) and should I need to port the code to other > devices I just take out the __flash from one/single place in the > sources. Easy and painless. You could do this with a typedef as above or also with a macro: #ifdef .. #define my_namespace __flash ##else #define my_namespace #endif So I think portability is not a problem. > > then again. To understand what the code does, I really don't need the > __flash notification every time the structures in question appear. In general, I think ones does: The flash pointers can not  store pointers to arbitrary objects in ram so one needs  to keep them appart to avoid mistakes. If one has types which are only used for objects in flash, one  can use a typedef and then one does not need the annotation  every time. Martin