diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-10-12 21:12:56 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-25 08:22:27 -0500 |
| commit | 6d88dbdc5e33765ae481b57e5ed027fe1fb2e409 (patch) | |
| tree | dc3030c0328a94efea5877768d5e7cb6b21a16e6 /gcc/ada/libgnat/g-rannum.ads | |
| parent | bbf14e1350d3054e02ac9d83b61b84cc23d2c157 (diff) | |
| download | gcc-6d88dbdc5e33765ae481b57e5ed027fe1fb2e409.zip gcc-6d88dbdc5e33765ae481b57e5ed027fe1fb2e409.tar.gz gcc-6d88dbdc5e33765ae481b57e5ed027fe1fb2e409.tar.bz2 | |
[Ada] Add support for 128-bit integer types to GNAT.Random_Numbers
gcc/ada/
* libgnat/g-rannum.ads (Random): New functions returning 128-bit.
* libgnat/g-rannum.adb (Random): Implement them and alphabetize.
(To_Signed): New unchecked conversion function for 128-bit.
Diffstat (limited to 'gcc/ada/libgnat/g-rannum.ads')
| -rw-r--r-- | gcc/ada/libgnat/g-rannum.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/g-rannum.ads b/gcc/ada/libgnat/g-rannum.ads index 5b633ff..f795ae0 100644 --- a/gcc/ada/libgnat/g-rannum.ads +++ b/gcc/ada/libgnat/g-rannum.ads @@ -69,6 +69,8 @@ is function Random (Gen : Generator) return Interfaces.Unsigned_32; function Random (Gen : Generator) return Interfaces.Integer_64; function Random (Gen : Generator) return Interfaces.Unsigned_64; + function Random (Gen : Generator) return Interfaces.Integer_128; + function Random (Gen : Generator) return Interfaces.Unsigned_128; function Random (Gen : Generator) return Integer; function Random (Gen : Generator) return Long_Integer; -- Return pseudo-random numbers uniformly distributed on T'First .. T'Last |