diff options
| author | Yannick Moy <moy@adacore.com> | 2018-08-21 14:46:07 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:46:07 +0000 |
| commit | c4b9b2916ceb22b57d72fee8f775e02a8851d086 (patch) | |
| tree | aac40a67cb132252b909db882e2c2b091a517caf /gcc/ada/gcc-interface | |
| parent | 2201fa7bd34d215e4aeeb961d41f60f3fb80f101 (diff) | |
| download | gcc-c4b9b2916ceb22b57d72fee8f775e02a8851d086.zip gcc-c4b9b2916ceb22b57d72fee8f775e02a8851d086.tar.gz gcc-c4b9b2916ceb22b57d72fee8f775e02a8851d086.tar.bz2 | |
[Ada] Define versions of dimension system for Float and Long_Float
The dimension system in System.Dim.Mks is based on Long_Long_Float,
which may not be convenient to people who want to use Float or
Long_Float as basis. These new files provide units that define the
dimension system based on Float in System.Dim.Float_Mks and on
Long_Float in System.Dim.Long_Mks.
Child packages Other_Prefixes and Mks_IO are also defined appropriately,
with new instantiations for the various sizes of floating-point types.
2018-08-21 Yannick Moy <moy@adacore.com>
gcc/ada/
* doc/gnat_ugn/gnat_and_program_execution.rst: Update
documentation of dimensionality analysis.
* gnat_ugn.texi: Regenerate.
* Makefile.rtl, impunit.adb: Consider the new units.
* libgnat/s-dfmkio.ads, libgnat/s-dfmopr.ads,
libgnat/s-diflmk.ads: New units based on Float.
* libgnat/s-dilomk.ads, libgnat/s-dlmkio.ads,
libgnat/s-dlmopr.ads: New units based on Long_Float.
* libgnat/s-dmotpr.ads: Rename to libgnat/s-dgmgop.ads and turn
into an instance of
System.Dim.Generic_Mks.Generic_Other_Prefixes.
* libgnat/s-dimmks.ads: Rename to libgnat/s-digemk.ads and turn
into an instance of System.Dim.Generic_Mks.
From-SVN: r263715
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions