+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>
* exp_vfpt.adb: Document VAX float point layout.
-- Vax floating point format (from Vax Architecture Reference Manual
-- version 6):
- --
+
-- Float F:
-- --------
- --
+
-- 1 1
-- 5 4 7 6 0
-- +-+---------------+--------------+
-- +-+---------------+--------------+
-- | fraction | A + 2
-- +--------------------------------+
- --
+
-- bit 15 is the sign bit,
-- bits 14:7 is the excess 128 binary exponent,
-- bits 6:0 and 31:16 the normalized 24-bit fraction with the redundant
-- most significant fraction bit not represented.
- --
+
-- 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
-- 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.
- --
+
-- Note that fraction bits are not continuous in memory, VAX is little
-- endian (LSB first).
- --
+
-- Float D:
-- --------
- --
+
-- 1 1
-- 5 4 7 6 0
-- +-+---------------+--------------+
-- +--------------------------------+
-- | fraction | A + 6
-- +--------------------------------+
- --
+
-- Like Float F but with 55 bits for the fraction.
- --
+
-- Float G:
-- --------
- --
+
-- 1 1
-- 5 4 4 3 0
-- +-+---------------------+--------+
-- +--------------------------------+
-- | fraction | A + 6
-- +--------------------------------+
- --
+
-- Exponent values of 1 through 2047 indicate trye binary exponents of
-- -1023 to +1023.
- --
+
-- Main differences compared to IEEE 754:
- --
+
-- * No denormalized numbers
-- * No infinity
-- * No NaN
Analyze (Call);
- -- An indirect call in this context is illegal. A procedure call that
+ -- An indirect call in this context is illegal. A procedure call that
-- does not involve a renaming of an entry is illegal as well, but this
-- and other semantic errors are caught during resolution.
Ada_Ofile, C_Ofile : Sfile;
Current_Line : in out Integer)
is
-
function Get_Value (Name : String) return Int_Value_Type;
-- Returns the value of the variable Name
end loop;
-- Not found returns 0
+
return (True, 0);
end if;
end Get_Value;
- Sline : Slice_Set;
+ -- Local variables
+ Sline : Slice_Set;
Line : String (1 .. 256);
Last : Integer;
-
Value1 : Int_Value_Type;
Value2 : Int_Value_Type;
Res : Boolean;