[Ada] Define versions of dimension system for Float and Long_Float
authorYannick Moy <moy@adacore.com>
Tue, 21 Aug 2018 14:46:07 +0000 (14:46 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:46:07 +0000 (14:46 +0000)
commitc4b9b2916ceb22b57d72fee8f775e02a8851d086
treeaac40a67cb132252b909db882e2c2b091a517caf
parent2201fa7bd34d215e4aeeb961d41f60f3fb80f101
[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
15 files changed:
gcc/ada/ChangeLog
gcc/ada/Makefile.rtl
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
gcc/ada/gnat_ugn.texi
gcc/ada/impunit.adb
gcc/ada/libgnat/s-dfmkio.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dfmopr.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dgmgop.ads [new file with mode: 0644]
gcc/ada/libgnat/s-diflmk.ads [new file with mode: 0644]
gcc/ada/libgnat/s-digemk.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dilomk.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dimmks.ads
gcc/ada/libgnat/s-dlmkio.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dlmopr.ads [new file with mode: 0644]
gcc/ada/libgnat/s-dmotpr.ads