diff options
Diffstat (limited to 'src/synth/netlists-folds.ads')
| -rw-r--r-- | src/synth/netlists-folds.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/netlists-folds.ads b/src/synth/netlists-folds.ads index 6c63f49bc..3ee69f41c 100644 --- a/src/synth/netlists-folds.ads +++ b/src/synth/netlists-folds.ads @@ -71,6 +71,12 @@ package Netlists.Folds is function Build2_Extract (Ctxt : Context_Acc; I : Net; Off, W : Width) return Net; + -- Likewise, but if I is an output of a mux2, build the extract gates + -- on the input of the mux2 (recursively). + -- The purpose is to keep the control flow of the mux2 tree. + function Build2_Extract_Push + (Ctxt : Context_Acc; I : Net; Off, W : Width) return Net; + -- Return A -> B == !A || B function Build2_Imp (Ctxt : Context_Acc; A, B : Net; Loc : Location_Type) return Net; |