Re: Alsys Executable

[Mike Brenner <mikeb@mitre.org>]

> Goal: Generate identical output from identical source code using Alsys
> (Aonix) Ada Compiler v2a:  Host: Sparc, Target: M68K
>
> Problem:  Resultant S-Record executables differ.  After disassembling
> the S-Record output, there appears to be a lot of debug information
> which is the source of these differences.
> 
> Questions:
> 1. Is there a way to produce the executable w/o any extraneous
> information? I have not found this in any documentation.  Compiler is
> no longer supported by Aonix.
> 2. Is there a better way to purse this goal?


I do not understand the goal, but if the problem is removing debug
information from an Alsys compiler output, here are a couple of things
to try.

On the compiler, try turning off checks. Try KEEP DEBUG NO. Try OPTIONS
GENERICS STUBS. Try DISPLAY ASSEMBLY NONE. Try KEEP TREE NO.

On the binder, try KEEP DEBUG NO. Try DISPLAY DATA NO. Try STACK HISTORY
NO. 



Of these, the ones that look the most like debug information are, in
priority order:

	STACK HISTORY NO and KEEP DEBUG NO on the binder
and
	KEEP DEBUG NO and KEEP TREE NO

Of course, some of these are kept in the LIBRARY versus the executable,
but that's okay becuase I did not understand your goal. If you truly
meant only the executable, then start with:

	STACK HISTORY NO in the binder

Mike Brenner


P.S. Here are the defaults for the compiler.

1. default.compile (
-- source  => ?,
-- library => ?,
   options => (
            -- annotate    => *,
            -- errors      => *,
            -- checks      => none,
               checks      => all,
            -- checks      => stack,
            -- generics    => inline,
               generics    => stubs,
            -- memory      => 500,
               memory      => 1000,
               tasking     => no),
   display => (
               output      => screen,
            -- output      => automatic,
            -- output      => none,
               warning     => yes,
               text        => no,
            -- show        => banner,
            -- show        => recap,
               show        => all,
            -- show        => none,
               detail      => yes,
            -- assembly    => all
            -- assembly    => code),
            -- assembly    => map),
               assembly    => none),
   improve => (
               calls       => normal,
            -- calls       => inlined,
               reduction   => none,
            -- reduction   => partial,
            -- reduction   => extensive,
               expressions => none),
            -- expressions => partial),
            -- expressions => extensive),
  allocation => (stack=>252),  -- The size of fixed_strings
  keep       => (
               copy        => no,
               debug       => no,
               tree        => no))
            -- copy        => yes,
            -- debug       => yes,
            -- tree        => yes))


default.bind    (
   program    => test,
-- library    => ?
   options    => (
                   level       => link,
                -- level       => check,
                -- level       => bind,
                -- execution   => extended,
                   execution   => protected,
                -- float       => automatic,
                   float       => hardware,
                -- float       => software,
                   mathlib     => I387,
                -- object      => automatic,
                   object      => g:.,
                -- uncalled    => remove,
                   uncalled    => keep,
                   timer       => normal,
                -- timer       => fast,
                   slice       => no),

   stack      => (
                -- main        => 96
                   main        => 127,
                   task        => 1,
                   history     => yes), -- Traceback in the .CUI file

   heap       => (
                -- size        => 64,
                   size        => 128,
                -- increment   => 64),
                   increment   => 128),


--
-- NOTE: the "modules" below are needed for BIOS calls
--
   interface  => (
                -- search      => *,
                -- directives  => *,
                   modules     =>
   "c:\obj\vectora.obj c:\obj\getphys.obj c:\obj\mapphys.obj"),

   display    => (
                   data  =>    none),
                -- data  =>    all), -- link map

   keep       => (
                   debug =>    no));

workbench;
default.xref (output=> screen );
quit; -- workbench;