diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-01-30 21:09:19 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-01-31 20:22:08 +0100 |
commit | bc10b035f5998d1cc9ec2aa0122ee1c24099ca05 (patch) | |
tree | 56e0e2fc8733caa1fff39a3cce9fd205b307f575 /src/synth/synth-expr.ads | |
parent | 3a412a309bcea39e5c8ecd094711bc70452a1e73 (diff) | |
download | ghdl-bc10b035f5998d1cc9ec2aa0122ee1c24099ca05.tar.gz ghdl-bc10b035f5998d1cc9ec2aa0122ee1c24099ca05.tar.bz2 ghdl-bc10b035f5998d1cc9ec2aa0122ee1c24099ca05.zip |
Add netlist generation infrastructure.
Diffstat (limited to 'src/synth/synth-expr.ads')
-rw-r--r-- | src/synth/synth-expr.ads | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads new file mode 100644 index 000000000..3180b3afd --- /dev/null +++ b/src/synth/synth-expr.ads @@ -0,0 +1,42 @@ +-- Expressions synthesis. +-- Copyright (C) 2017 Tristan Gingold +-- +-- This file is part of GHDL. +-- +-- This program 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 of the License, or +-- (at your option) any later version. +-- +-- This program 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 this program; if not, write to the Free Software +-- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, +-- MA 02110-1301, USA. + +with Types; use Types; +with Iir_Values; use Iir_Values; +with Synth.Values; use Synth.Values; +with Iirs; use Iirs; + +package Synth.Expr is + function Is_Const (Val : Value_Acc) return Boolean; + function Get_Width (Val : Value_Acc) return Uns32; + + procedure To_Logic (Lit : Iir_Value_Literal_Acc; + Val : out Uns32; + Xz : out Uns32); + + function Bit_Extract (Val : Value_Acc; Off : Uns32) return Value_Acc; + + function Synth_Expression_With_Type + (Syn_Inst : Synth_Instance_Acc; Expr : Iir; Expr_Type : Iir) + return Value_Acc; + + function Synth_Expression (Syn_Inst : Synth_Instance_Acc; Expr : Iir) + return Value_Acc; +end Synth.Expr; |