From: Simon Wright <simon@pushface.org>
Subject: Re: New compiler error with new compiler
Date: Tue, 06 Dec 2022 13:32:27 +0000 [thread overview]
Message-ID: <m2359ssln8.fsf@pushface.org> (raw)
In-Reply-To: tmn9g7$1kq7$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> Looks like Long_Long_Float has at least same mantissa as
> Long_Float. What are the actual values of Long_Float'Digits and
> Long_Long_Float'Digits?
You can get a listing of package Standard by compiling with -gnatS.
On aarch64, with the aarch64 compiler,
type Short_Float is digits 6
range -16#0.FFFF_FF#E32 .. 16#0.FFFF_FF#E32;
for Short_Float'Size use 32;
type Float is digits 6
range -16#0.FFFF_FF#E32 .. 16#0.FFFF_FF#E32;
for Float'Size use 32;
type Long_Float is digits 15
range -16#0.FFFF_FFFF_FFFF_F8#E256 .. 16#0.FFFF_FFFF_FFFF_F8#E256;
for Long_Float'Size use 64;
type Long_Long_Float is digits 15
range -16#0.FFFF_FFFF_FFFF_F8#E256 .. 16#0.FFFF_FFFF_FFFF_F8#E256;
for Long_Long_Float'Size use 64;
With the x86_64 compiler,
type Short_Float is digits 6
range -16#0.FFFF_FF#E32 .. 16#0.FFFF_FF#E32;
for Short_Float'Size use 32;
type Float is digits 6
range -16#0.FFFF_FF#E32 .. 16#0.FFFF_FF#E32;
for Float'Size use 32;
type Long_Float is digits 15
range -16#0.FFFF_FFFF_FFFF_F8#E256 .. 16#0.FFFF_FFFF_FFFF_F8#E256;
for Long_Float'Size use 64;
type Long_Long_Float is digits 18
range -16#0.FFFF_FFFF_FFFF_FFFF#E4096 .. 16#0.FFFF_FFFF_FFFF_FFFF#E4096;
for Long_Long_Float'Size use 128;
Don't forget that on aarch64, x86_64 code is 'emulated' by Rosetta.
next prev parent reply other threads:[~2022-12-06 13:32 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-12-06 11:13 New compiler error with new compiler Jerry
2022-12-06 11:36 ` Dmitry A. Kazakov
2022-12-06 13:32 ` Simon Wright [this message]
2022-12-08 4:07 ` Jerry
2022-12-08 8:15 ` Dmitry A. Kazakov
2022-12-08 10:29 ` Jeffrey R.Carter
2022-12-08 20:30 ` G.B.
2022-12-08 20:37 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox