From 9019ecb269279a658a720a1d3f4a2340003995b8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 3 Jun 2019 18:28:24 +0200
Subject: vhdl-scanner: optimization

---
 src/vhdl/vhdl-scanner.adb | 23 +++++++++++++++++------
 1 file changed, 17 insertions(+), 6 deletions(-)

(limited to 'src/vhdl/vhdl-scanner.adb')

diff --git a/src/vhdl/vhdl-scanner.adb b/src/vhdl/vhdl-scanner.adb
index 3aa6f0361..8089daf1d 100644
--- a/src/vhdl/vhdl-scanner.adb
+++ b/src/vhdl/vhdl-scanner.adb
@@ -1006,12 +1006,20 @@ package body Vhdl.Scanner is
    procedure Scan_Identifier (Allow_PSL : Boolean)
    is
       use Name_Table;
-      Buffer : String (1 .. Max_Name_Length);
+      --  Local copy for speed-up.
+      Source : constant File_Buffer_Acc := Current_Context.Source;
+      P : Source_Ptr;
+
+      --  Current and next character.
       C : Character;
+
+      Buffer : String (1 .. Max_Name_Length);
       Len : Natural;
    begin
       -- This is an identifier or a key word.
       Len := 0;
+      P := Pos;
+
       loop
          --  Source (pos) is correct.
          --  LRM93 13.3.1
@@ -1025,7 +1033,7 @@ package body Vhdl.Scanner is
          --  equivalent lower case letters.
          --  The opposite (converting to upper lower case letters) is not
          --  possible because two characters have no upper-case equivalent.
-         C := Source (Pos);
+         C := Source (P);
          case C is
             when 'A' .. 'Z' =>
                C := Character'Val
@@ -1034,7 +1042,7 @@ package body Vhdl.Scanner is
             when 'a' .. 'z' | '0' .. '9' =>
                null;
             when '_' =>
-               if Source (Pos + 1) = '_' then
+               if Source (P + 1) = '_' then
                   Error_Msg_Scan ("two underscores can't be consecutive");
                end if;
             when ' ' | ')' | '.' | ';' | ':' =>
@@ -1072,14 +1080,14 @@ package body Vhdl.Scanner is
          end if;
 
          --  Next character.
-         Pos := Pos + 1;
+         P := P + 1;
       end loop;
 
-      if Source (Pos - 1) = '_' then
+      if Source (P - 1) = '_' then
          if Allow_PSL then
             --  Some PSL reserved words finish with '_'.  This case is handled
             --  later by Scan_Underscore and Scan_Exclam_Mark.
-            Pos := Pos - 1;
+            P := P - 1;
             Len := Len - 1;
             C := '_';
          else
@@ -1088,6 +1096,9 @@ package body Vhdl.Scanner is
          end if;
       end if;
 
+      --  Update position in the scan context.
+      Pos := P;
+
       -- LRM93 13.2
       -- At least one separator is required between an identifier or an
       -- abstract literal and an adjacent identifier or abstract literal.
-- 
cgit v1.2.3