Commit a9b9fbf6 by Robert Dewar Committed by Arnaud Charlet

sem_ch9.adb, [...]: Minor reformatting.

2012-11-06  Robert Dewar  <dewar@adacore.com>

	* sem_ch9.adb, exp_vfpt.adb, xoscons.adb: Minor reformatting.

From-SVN: r193223
parent 7028ce0d
2012-11-06 Robert Dewar <dewar@adacore.com>
* sem_ch9.adb, exp_vfpt.adb, xoscons.adb: Minor reformatting.
2012-11-06 Tristan Gingold <gingold@adacore.com> 2012-11-06 Tristan Gingold <gingold@adacore.com>
* exp_vfpt.adb: Document VAX float point layout. * exp_vfpt.adb: Document VAX float point layout.
......
...@@ -39,10 +39,10 @@ package body Exp_VFpt is ...@@ -39,10 +39,10 @@ package body Exp_VFpt is
-- Vax floating point format (from Vax Architecture Reference Manual -- Vax floating point format (from Vax Architecture Reference Manual
-- version 6): -- version 6):
--
-- Float F: -- Float F:
-- -------- -- --------
--
-- 1 1 -- 1 1
-- 5 4 7 6 0 -- 5 4 7 6 0
-- +-+---------------+--------------+ -- +-+---------------+--------------+
...@@ -50,23 +50,23 @@ package body Exp_VFpt is ...@@ -50,23 +50,23 @@ package body Exp_VFpt is
-- +-+---------------+--------------+ -- +-+---------------+--------------+
-- | fraction | A + 2 -- | fraction | A + 2
-- +--------------------------------+ -- +--------------------------------+
--
-- bit 15 is the sign bit, -- bit 15 is the sign bit,
-- bits 14:7 is the excess 128 binary exponent, -- bits 14:7 is the excess 128 binary exponent,
-- bits 6:0 and 31:16 the normalized 24-bit fraction with the redundant -- bits 6:0 and 31:16 the normalized 24-bit fraction with the redundant
-- most significant fraction bit not represented. -- most significant fraction bit not represented.
--
-- An exponent value of 0 together with a sign bit of 0, is taken to -- An exponent value of 0 together with a sign bit of 0, is taken to
-- indicate that the datum has a value of 0. Exponent values of 1 through -- indicate that the datum has a value of 0. Exponent values of 1 through
-- 255 indicate true binary exponents of -127 to +127. An exponent value -- 255 indicate true binary exponents of -127 to +127. An exponent value
-- of 0, together with a sign bit of 1, is taken as reserved. -- of 0, together with a sign bit of 1, is taken as reserved.
--
-- Note that fraction bits are not continuous in memory, VAX is little -- Note that fraction bits are not continuous in memory, VAX is little
-- endian (LSB first). -- endian (LSB first).
--
-- Float D: -- Float D:
-- -------- -- --------
--
-- 1 1 -- 1 1
-- 5 4 7 6 0 -- 5 4 7 6 0
-- +-+---------------+--------------+ -- +-+---------------+--------------+
...@@ -78,12 +78,12 @@ package body Exp_VFpt is ...@@ -78,12 +78,12 @@ package body Exp_VFpt is
-- +--------------------------------+ -- +--------------------------------+
-- | fraction | A + 6 -- | fraction | A + 6
-- +--------------------------------+ -- +--------------------------------+
--
-- Like Float F but with 55 bits for the fraction. -- Like Float F but with 55 bits for the fraction.
--
-- Float G: -- Float G:
-- -------- -- --------
--
-- 1 1 -- 1 1
-- 5 4 4 3 0 -- 5 4 4 3 0
-- +-+---------------------+--------+ -- +-+---------------------+--------+
...@@ -95,12 +95,12 @@ package body Exp_VFpt is ...@@ -95,12 +95,12 @@ package body Exp_VFpt is
-- +--------------------------------+ -- +--------------------------------+
-- | fraction | A + 6 -- | fraction | A + 6
-- +--------------------------------+ -- +--------------------------------+
--
-- Exponent values of 1 through 2047 indicate trye binary exponents of -- Exponent values of 1 through 2047 indicate trye binary exponents of
-- -1023 to +1023. -- -1023 to +1023.
--
-- Main differences compared to IEEE 754: -- Main differences compared to IEEE 754:
--
-- * No denormalized numbers -- * No denormalized numbers
-- * No infinity -- * No infinity
-- * No NaN -- * No NaN
......
...@@ -442,7 +442,6 @@ procedure XOSCons is ...@@ -442,7 +442,6 @@ procedure XOSCons is
Ada_Ofile, C_Ofile : Sfile; Ada_Ofile, C_Ofile : Sfile;
Current_Line : in out Integer) Current_Line : in out Integer)
is is
function Get_Value (Name : String) return Int_Value_Type; function Get_Value (Name : String) return Int_Value_Type;
-- Returns the value of the variable Name -- Returns the value of the variable Name
...@@ -465,15 +464,16 @@ procedure XOSCons is ...@@ -465,15 +464,16 @@ procedure XOSCons is
end loop; end loop;
-- Not found returns 0 -- Not found returns 0
return (True, 0); return (True, 0);
end if; end if;
end Get_Value; end Get_Value;
Sline : Slice_Set; -- Local variables
Sline : Slice_Set;
Line : String (1 .. 256); Line : String (1 .. 256);
Last : Integer; Last : Integer;
Value1 : Int_Value_Type; Value1 : Int_Value_Type;
Value2 : Int_Value_Type; Value2 : Int_Value_Type;
Res : Boolean; Res : Boolean;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment