diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/synth-insts.adb | 2 | ||||
| -rw-r--r-- | src/synth/synth-stmts.adb | 17 |
2 files changed, 19 insertions, 0 deletions
diff --git a/src/synth/synth-insts.adb b/src/synth/synth-insts.adb index 4a1485ef3..2044233ad 100644 --- a/src/synth/synth-insts.adb +++ b/src/synth/synth-insts.adb @@ -725,6 +725,8 @@ package body Synth.Insts is Set_Prev_Block_Configuration (Item, Get_Generate_Block_Configuration (Sub_Blk)); Set_Generate_Block_Configuration (Sub_Blk, Item); + when Iir_Kind_Block_Statement => + Set_Block_Block_Configuration (Sub_Blk, Item); when others => Vhdl.Errors.Error_Kind ("apply_block_configuration(blk)", Sub_Blk); diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index d4eecead1..9c84e5de6 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -1997,6 +1997,21 @@ package body Synth.Stmts is Set_Location (Inst, Get_Location (Stmt)); end Synth_Concurrent_Assertion_Statement; + procedure Synth_Block_Statement (Syn_Inst : Synth_Instance_Acc; Blk : Node) + is + begin + -- No support for guard or header. + if Get_Block_Header (Blk) /= Null_Node + or else Get_Guard_Decl (Blk) /= Null_Node + then + raise Internal_Error; + end if; + + Synth_Declarations (Syn_Inst, Get_Declaration_Chain (Blk)); + Synth_Concurrent_Statements + (Syn_Inst, Get_Concurrent_Statement_Chain (Blk)); + end Synth_Block_Statement; + function Synth_PSL_Expression (Syn_Inst : Synth_Instance_Acc; Expr : PSL.Types.PSL_Node) return Net is @@ -2388,6 +2403,8 @@ package body Synth.Stmts is Synth_Design_Instantiation_Statement (Syn_Inst, Stmt); end if; Pop_And_Merge_Phi (Build_Context, Stmt); + when Iir_Kind_Block_Statement => + Synth_Block_Statement (Syn_Inst, Stmt); when Iir_Kind_Psl_Default_Clock => null; when Iir_Kind_Psl_Restrict_Directive => |