Add support for --time-resolution (jit only). Fix #613

1 files changed, 0 insertions, 157 deletions

diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb
index 535c0b8a8..3362e5ac1 100644
--- a/src/grt/grt-options.adb
+++ b/src/grt/grt-options.adb
@@ -32,112 +32,6 @@ with Grt.Wave_Opt.File;
 
 package body Grt.Options is
 
-   Std_Standard_Time_Fs : Std_Time;
-   Std_Standard_Time_Ps : Std_Time;
-   Std_Standard_Time_Ns : Std_Time;
-   Std_Standard_Time_Us : Std_Time;
-   Std_Standard_Time_Ms : Std_Time;
-   Std_Standard_Time_Sec : Std_Time;
-   Std_Standard_Time_Min : Std_Time;
-   Std_Standard_Time_Hr : Std_Time;
-   pragma Export (C, Std_Standard_Time_Fs, "std__standard__time__BT__fs");
-   pragma Weak_External (Std_Standard_Time_Fs);
-   pragma Export (C, Std_Standard_Time_Ps, "std__standard__time__BT__ps");
-   pragma Weak_External (Std_Standard_Time_Ps);
-   pragma Export (C, Std_Standard_Time_Ns, "std__standard__time__BT__ns");
-   pragma Weak_External (Std_Standard_Time_Ns);
-   pragma Export (C, Std_Standard_Time_Us, "std__standard__time__BT__us");
-   pragma Weak_External (Std_Standard_Time_Us);
-   pragma Export (C, Std_Standard_Time_Ms, "std__standard__time__BT__ms");
-   pragma Weak_External (Std_Standard_Time_Ms);
-   pragma Export (C, Std_Standard_Time_Sec, "std__standard__time__BT__sec");
-   pragma Weak_External (Std_Standard_Time_Sec);
-   pragma Export (C, Std_Standard_Time_Min, "std__standard__time__BT__min");
-   pragma Weak_External (Std_Standard_Time_Min);
-   pragma Export (C, Std_Standard_Time_Hr, "std__standard__time__BT__hr");
-   pragma Weak_External (Std_Standard_Time_Hr);
-
-   procedure Set_Time_Resolution (Res : Character) is
-   begin
-      Std_Standard_Time_Hr := 0;
-      case Res is
-         when 'f' =>
-            Std_Standard_Time_Fs := 1;
-            Std_Standard_Time_Ps := 1000;
-            Std_Standard_Time_Ns := 1000_000;
-            Std_Standard_Time_Us := 1000_000_000;
-            Std_Standard_Time_Ms := Std_Time'Last;
-            Std_Standard_Time_Sec := Std_Time'Last;
-            Std_Standard_Time_Min := Std_Time'Last;
-            Std_Standard_Time_Hr := Std_Time'Last;
-         when 'p' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 1;
-            Std_Standard_Time_Ns := 1000;
-            Std_Standard_Time_Us := 1000_000;
-            Std_Standard_Time_Ms := 1000_000_000;
-            Std_Standard_Time_Sec := Std_Time'Last;
-            Std_Standard_Time_Min := Std_Time'Last;
-            Std_Standard_Time_Hr := Std_Time'Last;
-         when 'n' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 1;
-            Std_Standard_Time_Us := 1000;
-            Std_Standard_Time_Ms := 1000_000;
-            Std_Standard_Time_Sec := 1000_000_000;
-            Std_Standard_Time_Min := Std_Time'Last;
-            Std_Standard_Time_Hr := Std_Time'Last;
-         when 'u' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 0;
-            Std_Standard_Time_Us := 1;
-            Std_Standard_Time_Ms := 1000;
-            Std_Standard_Time_Sec := 1000_000;
-            Std_Standard_Time_Min := 60_000_000;
-            Std_Standard_Time_Hr := Std_Time'Last;
-         when 'm' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 0;
-            Std_Standard_Time_Us := 0;
-            Std_Standard_Time_Ms := 1;
-            Std_Standard_Time_Sec := 1000;
-            Std_Standard_Time_Min := 60_000;
-            Std_Standard_Time_Hr := 3600_000;
-         when 's' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 0;
-            Std_Standard_Time_Us := 0;
-            Std_Standard_Time_Ms := 0;
-            Std_Standard_Time_Sec := 1;
-            Std_Standard_Time_Min := 60;
-            Std_Standard_Time_Hr := 3600;
-         when 'M' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 0;
-            Std_Standard_Time_Us := 0;
-            Std_Standard_Time_Ms := 0;
-            Std_Standard_Time_Sec := 0;
-            Std_Standard_Time_Min := 1;
-            Std_Standard_Time_Hr := 60;
-         when 'h' =>
-            Std_Standard_Time_Fs := 0;
-            Std_Standard_Time_Ps := 0;
-            Std_Standard_Time_Ns := 0;
-            Std_Standard_Time_Us := 0;
-            Std_Standard_Time_Ms := 0;
-            Std_Standard_Time_Sec := 0;
-            Std_Standard_Time_Min := 0;
-            Std_Standard_Time_Hr := 1;
-         when others =>
-            Error ("bad time resolution");
-      end case;
-   end Set_Time_Resolution;
-
    procedure Help
    is
       use Grt.Astdio;
@@ -316,57 +210,6 @@ package body Grt.Options is
          Flag_Stats := True;
       elsif Option = "--no-run" then
          Flag_No_Run := True;
-      elsif Len > 18 and then Option (1 .. 18) = "--time-resolution=" then
-         declare
-            Res : Character;
-            Unit : String (1 .. 3);
-         begin
-            Res := '?';
-            if Len >= 20 then
-               Unit (1) := To_Lower (Option (19));
-               Unit (2) := To_Lower (Option (20));
-               if Len = 20 then
-                  if Unit (1 .. 2) = "fs" then
-                     Res := 'f';
-                  elsif Unit (1 .. 2) = "ps" then
-                     Res := 'p';
-                  elsif Unit (1 .. 2) = "ns" then
-                     Res := 'n';
-                  elsif Unit (1 .. 2) = "us" then
-                     Res := 'u';
-                  elsif Unit (1 .. 2) = "ms" then
-                     Res := 'm';
-                  elsif Unit (1 .. 2) = "hr" then
-                     Res := 'h';
-                  end if;
-               elsif Len = 21 then
-                  Unit (3) := To_Lower (Option (21));
-                  if Unit = "min" then
-                     Res := 'M';
-                  elsif Unit = "sec" then
-                     Res := 's';
-                  end if;
-               end if;
-            end if;
-            if Res = '?' then
-               Error_C ("bad unit for '");
-               Error_C (Option);
-               Error_E ("'");
-            else
-               if Flag_String (5) = '-' then
-                  Error ("time resolution is ignored");
-               elsif Flag_String (5) = '?' then
-                  if Stop_Time /= Std_Time'First then
-                     Error ("time resolution must be set "
-                              & "before --stop-time");
-                  else
-                     Set_Time_Resolution (Res);
-                  end if;
-               elsif Flag_String (5) /= Res then
-                  Error ("time resolution is fixed during analysis");
-               end if;
-            end if;
-         end;
       elsif Len > 12 and then Option (1 .. 12) = "--stop-time=" then
          Stop_Time := Parse_Time (Option (13 .. Len));
          if Stop_Time = -1 then