diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-19 21:19:51 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-20 04:13:12 +0200 |
| commit | c76c3172dd65971161ca926536b07d7134a8c500 (patch) | |
| tree | ea0c06ea154565cdbde2f8e2f511cd32c5b4fcb5 /src/synth/netlists-builders.adb | |
| parent | fcd68928a4366c35748f488f949d5eada82998dd (diff) | |
| download | ghdl-c76c3172dd65971161ca926536b07d7134a8c500.tar.gz ghdl-c76c3172dd65971161ca926536b07d7134a8c500.tar.bz2 ghdl-c76c3172dd65971161ca926536b07d7134a8c500.zip | |
synth: set location on assume/assert gates.
Diffstat (limited to 'src/synth/netlists-builders.adb')
| -rw-r--r-- | src/synth/netlists-builders.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb index a35159e77..608b72acf 100644 --- a/src/synth/netlists-builders.adb +++ b/src/synth/netlists-builders.adb @@ -1008,20 +1008,22 @@ package body Netlists.Builders is return Build_Extract (Ctxt, I, Off, 1); end Build_Extract_Bit; - procedure Build_Assert (Ctxt : Context_Acc; Cond : Net) + function Build_Assert (Ctxt : Context_Acc; Cond : Net) return Instance is Inst : Instance; begin Inst := New_Internal_Instance (Ctxt, Ctxt.M_Assert); Connect (Get_Input (Inst, 0), Cond); + return Inst; end Build_Assert; - procedure Build_Assume (Ctxt : Context_Acc; Cond : Net) + function Build_Assume (Ctxt : Context_Acc; Cond : Net) return Instance is Inst : Instance; begin Inst := New_Internal_Instance (Ctxt, Ctxt.M_Assume); Connect (Get_Input (Inst, 0), Cond); + return Inst; end Build_Assume; end Netlists.Builders; |