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 Bruaa1 is

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

    Uplevel : Ref_T := new T;

begin
    Start ("BRUAA1", "Block Ref. to an Uplevel var., Access type (control)");
    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 Bruaa1;