-- PERFORMANCE MEASUREMENT : procedure call and return time
--                           no parameters
--                           procedure local ( not inlinable)

with Remote_Global;
use Remote_Global; -- control optimization
with Iteration; -- obtain stable measurement
with Piwg_Io; -- output results

procedure P000002 is  -- main procedure to execute

    Cpu_Time : Duration; -- CPU time for one feature execution
    Wall_Time : Duration; -- WALL time for one feature execution
    Check_Times : constant := 100; -- inside loop count and check
    Iteration_Count : Integer; -- set and varied by ITERATION package
    Stable : Boolean; -- true when measurement stable

--

    procedure Proc_0 is
    begin
        Global := Global + A_One;
        Remote;
    exception
        when Numeric_Error => -- prevent inlining
            Proc_0; -- can not be called if test working
    end Proc_0;

begin

    Iteration.Start_Control;  -- dummy to bring in pages on some machines

    delay 5.0;  -- wait for stable enviornment on some machines

    Iteration.Initialize (Iteration_Count);

    loop  -- until stable measurement, ITERATION_COUNT increases each time

--
-- Control loop
--
        Iteration.Start_Control;
        for J in 1 .. Iteration_Count loop
            Global := 0;
            for Inside_Loop in 1 .. Check_Times loop
                Global := Global + A_One;
                Remote;  
            end loop;
        end loop;
        Iteration.Stop_Control (Global, Check_Times);


--
-- Test loop
--

        Iteration.Start_Test;
        for J in 1 .. Iteration_Count loop
            Global := 0;
            for Inside_Loop in 1 .. Check_Times loop
                Proc_0; -- this has control global increment and call inside
            end loop;
        end loop;
        Iteration.Stop_Test (Global, Check_Times);
        Iteration.Test_Stable (Iteration_Count, Stable);
        exit when Stable;
    end loop;
--
    Iteration.Feature_Times (Cpu_Time, Wall_Time);

--
-- Printout
--
    Piwg_Io.Piwg_Output ("P000002", "Procedure", Cpu_Time, Wall_Time,
                         Iteration_Count, " Procedure call and return time",
                         " Procedure is local, no parameters ",
                         " when procedure is not inlinable");

end P000002;