diff options
Diffstat (limited to 'src/vhdl/flists.adb')
-rw-r--r-- | src/vhdl/flists.adb | 161 |
1 files changed, 0 insertions, 161 deletions
diff --git a/src/vhdl/flists.adb b/src/vhdl/flists.adb deleted file mode 100644 index 4c8067542..000000000 --- a/src/vhdl/flists.adb +++ /dev/null @@ -1,161 +0,0 @@ --- Fixed-length lists. --- Copyright (C) 2017 Tristan Gingold --- --- GHDL is free software; you can redistribute it and/or modify it under --- the terms of the GNU General Public License as published by the Free --- Software Foundation; either version 2, or (at your option) any later --- version. --- --- GHDL is distributed in the hope that it will be useful, but WITHOUT ANY --- WARRANTY; without even the implied warranty of MERCHANTABILITY or --- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --- for more details. --- --- You should have received a copy of the GNU General Public License --- along with GHDL; see the file COPYING. If not, write to the Free --- Software Foundation, 59 Temple Place - Suite 330, Boston, MA --- 02111-1307, USA. - -with Tables; - -package body Flists is - -- Index of elements. - type El_Index_Type is new Int32; - - -- Describe an flist. - type Entry_Type is record - -- Index of the first element (in the element table). - Els : El_Index_Type; - - -- Length of the list. - Len : Nat32; - end record; - - -- Flists descriptors. - package Flistt is new Tables - (Table_Component_Type => Entry_Type, - Table_Index_Type => Flist_Type, - Table_Low_Bound => 4, - Table_Initial => 32); - - -- Table of all elements. - package Els is new Tables - (Table_Component_Type => Node_Type, - Table_Index_Type => El_Index_Type, - Table_Low_Bound => 0, - Table_Initial => 128); - - type Flist_Array is array (Natural range <>) of Flist_Type; - - -- Linked list of free flist. For length less than the last index, the - -- index corresponds to the length. All free lists whose length is equal - -- or greater than the last index are grouped to the last index. - Free_Flists : Flist_Array (0 .. 16) := (others => Null_Flist); - - -- Get the chain for a free flist for large length. It is stored at the - -- first element of the list. - function Free_Next (Flist : Flist_Type) return Flist_Type is - begin - return Flist_Type (Els.Table (Flistt.Table (Flist).Els)); - end Free_Next; - - function Create_Flist (Len : Natural) return Flist_Type - is - Res : Flist_Type; - Prev : Flist_Type; - Next : Flist_Type; - begin - if Len >= Free_Flists'Last then - -- Large length. - Res := Free_Flists (Free_Flists'Last); - Prev := Null_Flist; - while Res /= Null_Flist and then Length (Res) /= Len loop - Prev := Res; - Res := Free_Next (Res); - end loop; - if Res /= Null_Flist then - Next := Free_Next (Res); - if Prev = Null_Flist then - Free_Flists (Free_Flists'Last) := Next; - else - Els.Table (Flistt.Table (Prev).Els) := Node_Type (Next); - end if; - end if; - else - -- Small length. The Len field contains the next free list. - Res := Free_Flists (Len); - if Res /= Null_Flist then - Free_Flists (Len) := Flist_Type (Flistt.Table (Res).Len); - Flistt.Table (Res).Len := Nat32 (Len); - elsif Len = 0 then - -- Quick case for len = 0. - Res := Flistt.Allocate (1); - Flistt.Table (Res) := (Els => 0, Len => 0); - return Res; - end if; - end if; - - if Res = Null_Flist then - Res := Flistt.Allocate (1); - Flistt.Table (Res) := (Els => Els.Allocate (Len), - Len => Nat32 (Len)); - end if; - - -- Clear the list. - declare - Idx : constant El_Index_Type := Flistt.Table (Res).Els; - begin - Els.Table (Idx .. Idx + El_Index_Type (Len) - 1) := - (others => Null_Node); - end; - - return Res; - end Create_Flist; - - procedure Destroy_Flist (Flist : in out Flist_Type) - is - Len : constant Natural := Length (Flist); - Prev : Flist_Type; - begin - -- Prepend to the array of free flists. - if Len >= Free_Flists'Last then - Prev := Free_Flists (Free_Flists'Last); - Free_Flists (Free_Flists'Last) := Flist; - - Els.Table (Flistt.Table (Flist).Els) := Node_Type (Prev); - else - Prev := Free_Flists (Len); - Free_Flists (Len) := Flist; - - Flistt.Table (Flist).Len := Nat32 (Prev); - end if; - - Flist := Null_Flist; - end Destroy_Flist; - - function Flast (Flist : Flist_Type) return Integer is - begin - return Integer (Flistt.Table (Flist).Len - 1); - end Flast; - - function Length (Flist : Flist_Type) return Natural is - begin - return Natural (Flistt.Table (Flist).Len); - end Length; - - function Get_Nth_Element (Flist : Flist_Type; N : Natural) return Node_Type - is - E : Entry_Type renames Flistt.Table (Flist); - begin - pragma Assert (N < Natural (E.Len)); - return Els.Table (E.Els + El_Index_Type (N)); - end Get_Nth_Element; - - procedure Set_Nth_Element (Flist : Flist_Type; N : Natural; V : Node_Type) - is - E : Entry_Type renames Flistt.Table (Flist); - begin - pragma Assert (N < Natural (E.Len)); - Els.Table (E.Els + El_Index_Type (N)) := V; - end Set_Nth_Element; -end Flists; |