DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - metrics - download
Index: B T

⟦739f1b044⟧ TextFile

    Length: 1724 (0x6bc)
    Types: TextFile
    Names: »B«

Derivation

└─⟦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;

-- LOCAL REFERENCE 01
------------------

-- THIS TEST EVALUATES THE CODE EFFICIENCY OF REFERENCING A LOCAL VARIAB
-- I.E., A REFERENCE TO A VARIABLE THAT IS DECLARED IMMEDIATELY WITHIN
-- THE GIVEN DECLARATIVE REGION.

-- THE TEST VERSION INCLUDES THE DATA REFERENCE TO BE EVALUATED BY ASSIG
-- ING A LOCAL VARIABLE, LOCAL_01, TO THE GLOBAL VARIABLE.  PRIOR TO THI
-- ASSIGNMENT, CAMOUFLAGED ASSIGNMENTS ARE MADE TO BOTH THE LOCAL AND
-- GLOBAL VARIABLES.  THE GLOBAL VARIABLE IS USED IN A CONDITIONAL STATE
-- MENT TO GUARD THE TEST ASSIGNMENT FROM OPTIMIZATIONS.  BECAUSE OF THI
-- GUARD, THE LOCAL VARIABLE MUST BE UPDATED WITH ITS INITIAL VALUE SINC
-- THE CONDITIONAL EXPRESSION MUST BE DYNAMICALLY EVALUATED.  ADDITIONAL
-- CAMOUFLAGED ASSIGNMENTS ARE MADE TO MAINTAIN THE VALIDITY OF THE
-- CONDITIONAL STATEMENT AND TO PREVENT ELIMINATION OF THE OTHERWISE
-- UNREFERENCED LOCAL VARIABLE IN THE NOISE VERSION.

-- THE NOISE VERSION IS IDENTICAL TO THE TEST VERSION EXCEPT THAT THE TE
-- REFERENCE TO THE LOCAL VARIABLE IS REMOVED SO THAT THE CODE EFFICIENC
-- METRICS FOR THE LOCAL REFERENCE CAN BE DERIVED AS A PART OF THE ASSIG
-- MENT.


procedure Lvrna2 is
    package Pr1 is new Procs (Integer);
    use Pr1;

    I : Integer;
    Local_01 : T;
    --LOCAL_02 : T;
    --. . .
    --LOCAL_10 : T;

begin
    Start ("LVRNA2", "1 Local Var. Ref., Non-access type (test)");
    for I in 1 .. 10000 loop

        Let (Global, Ident (Init));
        Let (Local_01, Ident (Init));

        if Global = Init then
            Let (Global, Ident (Init));
            Let (Local_01, Ident (Init));
        end if;

        Let (Global, Ident (Init));

    end loop;
    Stop;
end Lvrna2;