DataMuseum.dk

top - metrics - download

    Length: 1860 (0x744)
    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;

-------------------
-- PARAMETER REFERENCE
-------------------

-- THIS TEST EVALUATES THE CODE EFFICIENCY OF REFERENCING A FORMAL
-- PARAMETER OF MODE IN OUT.

-- THE TEST VERSION INCLUDES THE DATA REFERENCE TO BE EVALUATED BY ASSIG
-- ING A FORMAL PARAMETER, PARAMETER.ALL, TO THE GLOBAL VARIABLE.  PRIOR
-- THIS ASSIGNMENT, CAMOUFLAGED ASSIGNMENTS ARE MADE TO BOTH THE PARAMET
-- TO THE GLOBAL VARIABLE.  THE GLOBAL VARIABLE IS USED IN A CONDITIONAL
-- MENT TO GUARD THE TEST ASSIGNMENT FROM OPTIMIZATIONS.  BECAUSE OF THI
-- GUARD, THE PARAMETER MUST BE UPDATED WITH ITS INITIAL VALUE SINCE
-- 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 PARAMETER IN THE NOISE VERSION.

-- THE NOISE VERSION IS IDENTICAL TO THE TEST VERSION EXCEPT THAT THE TE
-- REFERENCE TO THE PARAMETER IS REMOVED SO THAT THE CODE EFFICIENCY
-- METRICS FOR THE PARAMETER REFERENCE CAN BE DERIVED AS A PART OF THE
-- ASSIGNMENT.

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

    P_Test : Ref_T := new T'(Init);

    procedure Inner_Parameter_Reference_Noise (Parameter : in out Ref_T) is

    begin

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

        if Global = Init then
            --      GLOBAL := PARAMETER.ALL;  -- COMMENTED OUT IN NOISE VERSION
            Let (Parameter.all, Ident (Init));
        end if;

        Let (Global, Ident (Parameter.all));

    end Inner_Parameter_Reference_Noise;

begin

    Start ("FPRAA1", "Formal in/out Parameter Ref., Access type (control)");
    for I in 1 .. 10000 loop
        Inner_Parameter_Reference_Noise (P_Test);
    end loop;
    Stop;
end Fpraa1;