diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-11-05 19:09:16 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-11-05 19:09:16 +0100 |
| commit | ac6ce0e78b3a89e7fa83d0b0c80bfcd7ec0ef49b (patch) | |
| tree | 9b3e004a428fd0820c4f1cab80693dc2a6ecf4cd /src/synth/netlists-utils.ads | |
| parent | 50534920b4f1e9846c6d46dce9ae650d790a9f8e (diff) | |
| download | ghdl-ac6ce0e78b3a89e7fa83d0b0c80bfcd7ec0ef49b.tar.gz ghdl-ac6ce0e78b3a89e7fa83d0b0c80bfcd7ec0ef49b.tar.bz2 ghdl-ac6ce0e78b3a89e7fa83d0b0c80bfcd7ec0ef49b.zip | |
synth: do more constant propagation (on build2
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index e8565c823..67a06cecd 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -45,6 +45,12 @@ package Netlists.Utils is function Is_Const_Module (Id : Module_Id) return Boolean; function Is_Const_Net (N : Net) return Boolean; + -- Assuming than N is a const net, return the value (for small values). + function Get_Net_Uns64 (N : Net) return Uns64; + + function Get_Net_Int64 (N : Net) return Int64; + pragma Inline (Get_Net_Int64); + -- Return True iff O has at least one sink (ie is connected to at least one -- input). function Is_Connected (O : Net) return Boolean; |