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 Lvrnb2 is
    package Dr_Cs is new Procs (Integer);
    use Dr_Cs;

    Local_01 : T;
    Local_02 : T;
    Local_03 : T;

    Local_04 : T;
    Local_05 : T;
    Local_06 : T;
    Local_07 : T;
    Local_08 : T;
    Local_09 : T;
    Local_10 : T;

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

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

        if Global = Init then

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

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

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

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

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

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

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

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

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

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



        Let (Global, Ident (Local_01));
        Let (Global, Ident (Local_02));
        Let (Global, Ident (Local_03));
        Let (Global, Ident (Local_04));
        Let (Global, Ident (Local_05));
        Let (Global, Ident (Local_06));
        Let (Global, Ident (Local_07));
        Let (Global, Ident (Local_08));
        Let (Global, Ident (Local_09));
        Let (Global, Ident (Local_10));
    end loop;
    Stop;

end Lvrnb2;