with Instrument;
use Instrument;

------------------
-- LOCAL REFERENCE 10
------------------

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

-- THE TEST AND NOISE VERSIONS FOR THIS EVALUATION ARE STRUCTURALLY IDEN
-- TO LOCAL_REFERENCE_01 EXCEPT THAT TEN LOCAL REFERENCES ARE INCLUDED.
-- MULTIPLICITY REDUCES THE LIKELIHOOD THAT THE CODE EFFICIENCY METRICS
-- COMPROMISED BY DEDICATING ALL LOCAL VARIABLES TO REGISTERS, A POSSIBL
-- OPTIMIZATION IN THE SINGLE REFERENCE EVALUATION.  THE METRICS FOR THE
-- EVALUATION ARE COMPUTED BY AVERAGING THE DERIVED RESULTS.

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

    Local_01 : Ref_T := new T;
    Local_02 : Ref_T := new T;

    Local_03 : Ref_T := new T;
    Local_04 : Ref_T := new T;
    Local_05 : Ref_T := new T;
    Local_06 : Ref_T := new T;
    Local_07 : Ref_T := new T;
    Local_08 : Ref_T := new T;
    Local_09 : Ref_T := new T;
    Local_10 : Ref_T := new T;

begin
    Start ("LVRAB2", "10 Local Var. Ref., Access type (test)");
    for I in 1 .. 10000 loop

        Let (Global, Ident (Init));
        Let (Local_01.all, Ident (Init));
        Let (Local_02.all, Ident (Init));
        Let (Local_03.all, Ident (Init));
        Let (Local_04.all, Ident (Init));
        Let (Local_05.all, Ident (Init));
        Let (Local_06.all, Ident (Init));
        Let (Local_07.all, Ident (Init));
        Let (Local_08.all, Ident (Init));
        Let (Local_09.all, Ident (Init));
        Let (Local_10.all, Ident (Init));


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

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

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

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

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


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

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

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

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

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



        Let (Global, Ident (Local_01.all));
        Let (Global, Ident (Local_02.all));
        Let (Global, Ident (Local_03.all));
        Let (Global, Ident (Local_04.all));
        Let (Global, Ident (Local_05.all));
        Let (Global, Ident (Local_06.all));
        Let (Global, Ident (Local_07.all));
        Let (Global, Ident (Local_08.all));
        Let (Global, Ident (Local_09.all));
        Let (Global, Ident (Local_10.all));

    end loop;
    Stop;
end Lvrab2;