From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org!not-for-mail From: "Luke A. Guest" Newsgroups: comp.lang.ada Subject: Re: How can I get this data into the .data section of the binary? Date: Tue, 16 Jun 2020 15:40:18 +0100 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.9.0 Content-Language: en-GB X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:59096 List-Id: On 16/06/2020 15:14, Niklas Holsti wrote: > On 2020-06-16 14:31, Luke A. Guest wrote: >> Hi, >> >> I'm trying to get some static data tables into the data section rather >> than be elaborated at runtime. I can see no reason why this particular >> set of types, records and aggregates cannot go into the data section. > >    [snip] > >>     Pixel_Format_Unknown     : constant Pixel_Format_Names := >>       Pixel_Format_Names'(Planar        => True, >>                           Planar_Format => Planar_Pixels' >>                             (others => Ada.Characters.Latin_1.NUL)); Strangely enough, with preelaborate, that's the only one which gets put into rodata: Disassembly of section .rodata.sdl__video__pixel_formats__pixel_format_unknown: 0000000000000000 : sdl__video__pixel_formats__pixel_format_unknown : constant 0: 00 00 add %al,(%rax) ... Disassembly of section .bss.sdl__video__pixel_formats__A44s: 0000000000000000 : 0: 00 00 add %al,(%rax) ... Disassembly of section .bss.sdl__video__pixel_formats__pixel_format_index_1_lsb: 0000000000000000 : sdl__video__pixel_formats__pixel_format_index_1_lsb : constant 0: 00 00 add %al,(%rax) > Several years ago we had a problem like this, with a large constant > array that we wanted to have only once in RAM. This was with the XGC Ada > compiler, but there we found a work-around: using positional rather than > named association for the large array aggregate. > > I have no idea if this will help you -- the types in our case were much > simpler -- but you might try it with a small subset of your package: > >    Pixel_Format_Unknown     : constant Pixel_Format_Names := >      (True, (NUL, NUL, NUL, NUL)); > > (assuming "use Ada.Characters.Latin_1"). > Nope, that doesn't work.