DataMuseum.dk

top - metrics - download

    Length: 1834 (0x72a)
    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;

---------------------
-- 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.ALL TO THE GLOBAL VARIABLE.  THE ASSIGNMENT IS L
-- 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 Pruaa2 is
    package Dr_Cs is new Procs (Integer);
    use Dr_Cs;

    Uplevel : Ref_T := new T;

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

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

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

    end Inner;

begin
    Start ("PRUAA2", "Proc. Ref. to an Uplevel var., Access type (test)");
    for I in 1 .. 10000 loop


        Let (Global, Ident (Init));
        Let (Uplevel.all, Ident (Init));
        Inner;

    end loop;
    Stop;
end Pruaa2;