DataMuseum.dk

top - metrics - download

    Length: 1922 (0x782)
    Types: TextFile
    Names: »B«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

with Instrument;
use Instrument;
--PRAGMA PAGE; NOT IMPLEMENTED
---------------------
-- UPLEVEL REFERENCE P01
---------------------

-- THIS TEST EVALUATES THE CODE EFFICIENCY OF A REFERENCE FROM WITHIN A
-- PROCEDURE TO AN UPLEVEL VARIABLE, I.E., A VARIABLE DECLARED IN A
-- DECLARATIVE REGION THAT STATICALLY ENCLOSES THE PROCEDURE.  THE REFER
-- IS TO A VARIABLE DECLARED IN THE IMMEDIATELY ENCLOSING REGION (ONE
-- LEVEL UP).

-- THE TEST INCLUDES AN UPLEVEL REFERENCE FOR EVALUATION BY ASSIGNING
-- THE VARIABLE UPLEVEL TO THE GLOBAL VARIABLE.  THE ASSIGNMENT IS LOCAT
-- IN THE PROCEDURE INNER THAT IS ENCLOSED BY THE DECLARATIVE REGION IN
-- UPLEVEL IS DECLARED.  THE TEST ASSIGNMENT IS GUARDED FROM OPTIMIZATIO
-- BY A CONDITIONAL STATEMENT.  ADDITIONAL CAMOUFLAGED ASSIGNMENTS ARE
-- INCLUDED IN THE PROCEDURE TO MAINTAIN THE VALIDITY OF THE CONDITIONAL
-- STATEMENT WHEN THE TEST ASSIGNMENT IS REMOVED IN THE NOISE VERSION AN
-- TO REFERENCE A LOCAL ARRAY.  THIS ARRAY ENSURES THAT THE TREATMENT
-- OF THE PROCEDURE BY THE COMPILER RESULTS IN CODE GENERATION TYPICAL O
-- UPLEVEL REFERENCE FOR THE TEST VERSION.

procedure Pruna1 is

    package Dr_Cs is new Procs (Integer);
    use Dr_Cs;

    -- ONE LEVEL REFERENCE IN A PROCEDURE

    Uplevel : T;

    procedure Inner_Noise is
        Proc_Local : array (1 .. 100) of T;
    begin

        Let (Proc_Local (1), Ident (Init));
        if Global = Init then
            --      GLOBAL := UPLEVEL;  -- COMMENTED OUT IN NOISE VERSION
            Let (Uplevel, Ident (Init));
        end if;

        Let (Global, Ident (Uplevel));
        Let (Global, Ident (Proc_Local (1)));

    end Inner_Noise;

begin
    Start ("PRUNA1",
           "Proc. Ref. to an Uplevel var., Non-access type (control)");
    for I in 1 .. 10000 loop


        Let (Global, Ident (Init));
        Let (Uplevel, Ident (Init));
        Inner_Noise;

    end loop;
    Stop;
end Pruna1;