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

3 files changed, 0 insertions, 167 deletions

diff --git a/src/grt/grt-main.adb b/src/grt/grt-main.adb
index d50f8d7db..8a0f307b9 100644
--- a/src/grt/grt-main.adb
+++ b/src/grt/grt-main.adb
@@ -112,12 +112,6 @@ package body Grt.Main is
       --  They may insert hooks.
       Grt.Modules.Register_Modules;
 
-      --  If the time resolution is to be set by the user, select a default
-      --  resolution.  Options may override it.
-      if Flag_String (5) = '?' then
-         Set_Time_Resolution ('n');
-      end if;
-
       --  Decode options.
       Grt.Options.Decode (Stop);
 
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
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads
index 78fe9d8d7..4f24793f0 100644
--- a/src/grt/grt-options.ads
+++ b/src/grt/grt-options.ads
@@ -149,10 +149,6 @@ package Grt.Options is
    --  message and returns -1.
    function Parse_Time (Str : String) return Std_Time;
 
-   --  Set the time resolution.
-   --  Only call this subprogram if you are allowed to set the time resolution.
-   procedure Set_Time_Resolution (Res : Character);
-
    --  Simply linked list of generic override (option -gIDENT=VALUE).
    type Generic_Override_Type;
    type Generic_Override_Acc is access Generic_Override_Type;