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;

-- THIS TEST EVALUATES THE CODE EFFICIENCY OF A REFERENCE FROM WITHIN A
-- BLOCK TO AN UPLEVEL VARIABLE, I.E., A VARIABLE DECLARED IN A DECLARA-
-- TIVE REGION THAT STATICALLY ENCLOSES THE BLOCK.  THE REFERENCE 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 BLOCK INNER THAT IS ENCLOSED BY THE DECLARATIVE REGION IN WHIC
-- UPLEVEL IS DECLARED.  THE TEST ASSIGNMENT IS GUARDED FROM OPTIMIZATIO
-- BY A CONDITIONAL STATEMENT.  ADDITIONAL CAMOUFLAGED ASSIGNMENTS ARE
-- INCLUDED IN THE BLOCK 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 BLOCK BY THE COMPILER RESULTS IN CODE GENERATION TYPICAL OF AN
-- UPLEVEL REFERENCE FOR THE TEST VERSION.

procedure Bruaa2 is

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

    Uplevel : Ref_T := new T;

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

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

        Inner:
            declare
                Block_Local : array (1 .. 100) of T;
            begin

                Let (Block_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 (Block_Local (1)));


            end Inner;

    end loop;
    Stop;
end Bruaa2;