From f195ad27e1810b1071d9fc72a1686d32597cf882 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 8 Feb 2021 19:29:36 +0100 Subject: netlists-folds: add comments --- src/synth/netlists-folds.ads | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') diff --git a/src/synth/netlists-folds.ads b/src/synth/netlists-folds.ads index fed8f72cb..5eb04a21f 100644 --- a/src/synth/netlists-folds.ads +++ b/src/synth/netlists-folds.ads @@ -21,10 +21,14 @@ with Netlists.Builders; use Netlists.Builders; package Netlists.Folds is -- Build a const from VAL. Result is either a Const_UB32 or a Const_Bit. + -- VAL is zero extended, so any width is allowed. + -- But VAL must fit in the width. function Build2_Const_Uns (Ctxt : Context_Acc; Val : Uns64; W : Width) return Net; -- Build a const from VAL. Result is either a Const_SB32 or a Const_Bit. + -- VAL is sign extended, so any width is allowed, but it must fit in the + -- width. function Build2_Const_Int (Ctxt : Context_Acc; Val : Int64; W : Width) return Net; -- cgit v1.2.3